Abstract
Existing formalisms for default reasoning capture some aspects of the nonmonotonicity of human commonsense reasoning. However, Perlis has shown that one of these formalisms, circumscription, is subject to certain counterintuitive limitations. Kraus and Perus suggested a partial solution, but significant problems remain. In this paper, we observe that the unfortunate limitations of circumscription are even broader than Perlis originally pointed out. Moreover, these problems are not confined to circumscription; they appear to be endemic in current nonmonotonic reasoning formalisms. We develop a much more general solution than that of Kraus and Perlis, involving restricting the scope of nonmonotonic reasoning, and show that it remedies these problems in a variety of formalisms.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990 |
| Publisher | AAAI press |
| Pages | 600-607 |
| Number of pages | 8 |
| ISBN (Electronic) | 026251057X, 9780262510578 |
| State | Published - 1990 |
| Externally published | Yes |
| Event | 8th National Conference on Artificial Intelligence, AAAI 1990 - Boston, United States Duration: 29 Jul 1990 → 3 Aug 1990 |
Publication series
| Name | Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990 |
|---|
Conference
| Conference | 8th National Conference on Artificial Intelligence, AAAI 1990 |
|---|---|
| Country/Territory | United States |
| City | Boston |
| Period | 29/07/90 → 3/08/90 |
Bibliographical note
Publisher Copyright:Copyright © 1990, AAAI (www.aaai.org). All rights reserved.
Funding
Supported in part by ARO research contract no. DAAL03-88-K0087.
| Funders | Funder number |
|---|---|
| Army Research Office | DAAL03-88-K0087 |