Abstract
We analyze the relationship between choice provability (derivability in at least one extension) of nonmonotonic logics, and the abstract properties of nonmonotonic inference relations proposed in the literature. We show that choice provability in default, autoepistemic and even cumulative default logic does not satisfy most of these properties. This is not accidental, but lies at the heart of choice provability, as far as formula-manipulating logics are concerned: Any such logic respecting some natural conditions has a noncumulative choice provability relation. In contrast to this result, we show that choice provability in the logic L1 recently introduced by Brewka is cumulative. This is possible because L1 manipulates defaults and not formulas.
| Original language | English |
|---|---|
| Title of host publication | Advances in Artificial Intelligence - 3rd Congress of the Italian Association for Artificial Intelligence, AI*IA 1993, Proceedings |
| Editors | Pietro Torasso |
| Publisher | Springer Verlag |
| Pages | 35-40 |
| Number of pages | 6 |
| ISBN (Print) | 9783540572923 |
| Publication status | Published - 1 Jan 1993 |
| Externally published | Yes |
| Event | 3rd Congress of the Italian Association for Artificial Intelligence - Torino, Italy Duration: 26 Oct 1993 → 28 Oct 1993 Conference number: 3 https://www.springer.com/gp/book/9783540572923 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 728 LNAI |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 3rd Congress of the Italian Association for Artificial Intelligence |
|---|---|
| Abbreviated title | AI*IA 1993 |
| Country/Territory | Italy |
| City | Torino |
| Period | 26/10/93 → 28/10/93 |
| Internet address |