Circumscription - A Form of Non-Monotonic Reasoning

McCarthy, John (1980) Circumscription - A Form of Non-Monotonic Reasoning. [Preprint]

Full text available as:

[img] Postscript


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.

Item Type:Preprint
Subjects:Computer Science > Artificial Intelligence
ID Code:410
Deposited By: McCarthy, John
Deposited On:05 Feb 1998
Last Modified:11 Mar 2011 08:53


Repository Staff Only: item control page