CONCEPTS OF LOGICAL AI

<#167#> <#12#>John McCarthy<#12#>
Computer Science Department
Stanford University
Stanford, CA 94305
<#13#>jmc@cs.stanford.edu<#13#>
<#14#>http://www-formal.stanford.edu/jmc/<#14#><#167#>

<#15#> JanFebMarAprMayJun JulAugSepOctNovDec ,\ :;SPMlt; 10 0\ <#15#>

Abstract:

Logical AI involves representing knowledge of an agent's world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course of action is appropriate to achieve the goals. We characterize briefly a large number of concepts that have arisen in research in logical AI. Reaching human-level AI requires programs that deal with the <#17#>common sense informatic situation<#17#>. Human-level logical AI requires extensions to the way logic is used in formalizing branches of mathematics and physical science. It also seems to require extensions to the logics themselves, both in the formalism for expressing knowledge and the reasoning used to reach conclusions.