Artificial Intelligence, Logic and Formalizing Common Sense (John McCarthy)

ARTIFICIAL INTELLIGENCE, LOGIC AND FORMALIZING COMMON SENSE Next: Introduction ARTIFICIAL INTELLIGENCE, LOGIC AND FORMALIZING COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305 [email protected] 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 ... John McCarthy Mon Jun 26 17:50:09 PDT 2000