next up previous
Next: INTRODUCTION. THE QUALIFICATION PROBLEM

CIRCUMSCRIPTION-A FORM OF NONMONOTONIC REASONING

John McCarthy
Computer Science Department
Stanford University
Stanford, CA 94305
jmc@cs.stanford.edu
http://www-formal.stanford.edu/jmc/

1986

Abstract:

Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. Circumscription formalizes such conjectural reasoning.





John McCarthy
Tue May 14 00:04:52 PDT 1996