creators_name: McCarthy, John
type: preprint
datestamp: 1998-02-05
lastmod: 2011-03-11 08:53:53
metadata_visibility: show
title: Circumscription - A Form of Non-Monotonic Reasoning
subjects: comp-sci-art-intel
full_text_status: public
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. 
date: 1980
date_type: published
refereed: FALSE
citation:   McCarthy, John  (1980) Circumscription - A Form of Non-Monotonic Reasoning.  [Preprint]     
document_url: http://cogprints.org/410/2/199801001.ps