Applications of Circumscription to Formalizing Common Sense Knowledge

McCarthy, John (1986) Applications of Circumscription to Formalizing Common Sense Knowledge. [Journal (Paginated)]

Full text available as:

[img] Postscript


We present a new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy 1980) and some applications to formalizing common sense knowledge. The applications in this paper are mostly based on minimizing the abnormality of different aspects of various entities. Included are nonmonotonic treatments of is-a hierarchies, the unique names hypothesis, and the frame problem. The new circumscription may be called formula circumscription to distinguish it from the previously defined domain circumscription and predicate circumscription. A still more general formalism called prioritized circumscription is briefly explored.

Item Type:Journal (Paginated)
Subjects:Computer Science > Artificial Intelligence
ID Code:415
Deposited By: McCarthy, John
Deposited On:27 Feb 1998
Last Modified:11 Mar 2011 08:53


Repository Staff Only: item control page