---
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.'
altloc: []
chapter: ~
commentary: ~
commref: ~
confdates: ~
conference: ~
confloc: ~
contact_email: ~
creators_id: []
creators_name:
  - family: McCarthy
    given: John
    honourific: ''
    lineage: ''
date: 1986
date_type: published
datestamp: 1998-02-27
department: ~
dir: disk0/00/00/04/15
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 415
fileinfo: /style/images/fileicons/application_postscript.png;/415/2/applications.ps
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2011-03-11 08:53:53
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: ~
pagerange: 89-116
pubdom: FALSE
publication: Artificial Intelligence
publisher: ~
refereed: FALSE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 10
series: ~
source: ~
status_changed: 2007-09-12 16:27:31
subjects:
  - comp-sci-art-intel
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: Applications of Circumscription to Formalizing Common Sense Knowledge
type: journalp
userid: 110
volume: 28
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>