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