creators_name: McCarthy, John
type: journalp
datestamp: 1998-02-27
lastmod: 2011-03-11 08:53:53
metadata_visibility: show
title: Applications of Circumscription to Formalizing Common Sense Knowledge
ispublished: pub
subjects: comp-sci-art-intel
full_text_status: public
abstract: 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.
date: 1986
date_type: published
publication: Artificial Intelligence
volume: 28
pagerange: 89-116
refereed: FALSE
citation:   McCarthy, John  (1986) Applications of Circumscription to Formalizing Common Sense Knowledge.  [Journal (Paginated)]     
document_url: http://cogprints.org/415/2/applications.ps