AI 服務暫時不可用，以下為來源正文，待恢復後補全翻譯。
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