ARTIFICIAL INTELLIGENCE, LOGIC AND FORMALIZING COMMON SENSE

Next: Introduction

ARTIFICIAL INTELLIGENCE, LOGIC<br>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<br>Formalized Nonmonotonic Reasoning<br>Some Formalizations and their Problems<br>Ability, Practical Reason and Free Will<br>Three Approaches to Knowledge and Belief<br>Reifying Context<br>Remarks

Epistemological Adequacy often Requires Approximate<br>Partial Theories<br>Meta-epistemology<br>Rich and poor entities

Acknowledgements<br>References<br>About this document ...

John McCarthy

Mon Jun 26 17:50:09 PDT 2000