Around I960, McCarthy [McC59] first proposed the use of logical formulas as a basis for a knowledge representation language of this type. This is how he explains the advantages of such a representation:
Around I960, McCarthy [McC59] first proposed the use of logical formulas as a basis for a knowledge representation language of this type. This is how he explains the advantages of such a representation:
Khoảng I960, McCarthy [McC59] đầu tiên đề xuất việc sử dụng các công thức hợp lý như là một cơ sở cho một ngôn ngữ biểu diễn tri thức thuộc loại này. Đây là cách ông giải thích những lợi thế của một đại diện như: