logical AI What a program knows about the world in general the facts of the specific situation in which it must act, and its goals are all represented by sentences of some mathematical logical language.
[55] Logical AI Unlike Newell and Simon, John McCarthy felt that machines did not need to simulate human thought, but should instead try find the essence of abstract reasoning and problem solving, ...
"The Stanford Formal Reasoning Group concentrates on Logical AI. This is an approach to the development of symbolic AI. It was first proposed by McCarthy in his 1959 paper, Programs with Common sense.
 See also: AI, Artificial intelligence, Inference, Knowledge, Branch
  
|
RSS
