DMCA
Applications Of Circumscription To Formalizing Common Sense Knowledge (1986)
| Venue: | Artificial Intelligence |
| Citations: | 532 - 12 self |
BibTeX
@ARTICLE{McCarthy86applicationsof,
author = {John McCarthy},
title = {Applications Of Circumscription To Formalizing Common Sense Knowledge},
journal = {Artificial Intelligence},
year = {1986},
volume = {59},
pages = {23--26}
}
Share
 |
 |
 |
 |
||
OpenURL
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. 1 INTRODUCTION ANDNEW DEFINITION OF CIRCUMSCRIPTION (McCarthy 1980) introduces the circumscription method of nonmonotonic reasoning and gives motivation, some mathematical properties and some ex1 amples of its application. The present paper is logically self-contained, but motivation may be enhanced by reading t...
Keyphrases
formalizing common sense knowledge circumscription method prioritized circumscription general formalism ex1 amples frame problem symmetric version new circumscription nonmonotonic treatment domain circumscription predicate circumscription common sense knowledge formula circumscription various entity different aspect unique name hypothesis is-a hierarchy introduction andnew definition circumscription mathematical property present paper nonmonotonic reasoning
