ARTIFICIAL INTELLIGENCE, LOGIC AND FORMALIZING COMMON SENSE

John McCarthy
Computer Science Department
Stanford University
Stanford, CA 94305
jmc@cs.stanford.edu
http://www-formal.stanford.edu/jmc/

1990

• Introduction
• Formalized Nonmonotonic Reasoning
• Some Formalizations and their Problems
• Ability, Practical Reason and Free Will
• Three Approaches to Knowledge and Belief
• Reifying Context
• Remarks
  • Epistemological Adequacy often Requires Approximate Partial Theories
  • Meta-epistemology
  • Rich and poor entities
• Acknowledgements
• References
• About this document ...