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
Artificial Intelligence, Logic and Formalizing Common Sense (John McCarthy)
Summary
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…
Artificial Intelligence, Logic and Formalizing Common Sense (John McCarthy)
Report an error
The correction channel is not available yet. You can copy the article reference below for later.
Correction instructions