Name
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 Perlis 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. |
Year | Venue | Keywords |
|---|---|---|
1990 | AAAI | unfortunate limitation,nonmonotonic reasoning,general solution,partial solution,certain counterintuitive limitation,human commonsense reasoning,default reasoning,current nonmonotonic reasoning formalisms,preliminary report,significant problem |
Field | DocType | ISBN |
Counterintuitive,Computer science,Commonsense reasoning,Circumscription,Non-monotonic logic,Artificial intelligence,Default reasoning,Rotation formalisms in three dimensions | Conference | 0-262-51057-X |
Citations | PageRank | References |
5 | 0.91 | 14 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| David W. Etherington | 1 | 186 | 28.94 |
| Sarit Kraus | 2 | 6810 | 768.04 |
| Donald Perlis | 3 | 306 | 54.22 |