Abstract
The AGM theory is the dominating paradigm in the field of belief change but makes some non-elementary assumptions which disallow its application to certain logics. In this paper, we recast the theory by dropping most such assumptions; we determine necessary and sufficient conditions for a logic to support operators which are compatible with our generalized version of the theory and show that our approach is applicable to a broader class of logics than the one considered by AGM. Moreover, we present a new representation theorem for operators satisfying the AGM postulates and investigate why the AGM postulates are incompatible with the foundational model. Finally, we propose a weakening of the recovery postulate which has several intuitively appealing properties.
Original language | English |
---|---|
Title of host publication | Proceedings of the 2006 conference on STAIRS 2006 |
Subtitle of host publication | Proceedings of the Third Starting AI Researchers' Symposium |
Editors | Loris Penserini, Pavlos Peppas, Anna Perini |
Publisher | IOS Press BV |
Pages | 132-143 |
Number of pages | 12 |
ISBN (Print) | 9781586036454, 1586036459 |
Publication status | Published - 23 May 2006 |
Externally published | Yes |
Event | 3rd European Starting AI Researchers Symposium - Trento, Italy Duration: 23 May 2006 → 23 May 2006 Conference number: 3 |
Publication series
Name | Frontiers in Artificial Intelligence and Applications |
---|---|
Volume | 142 |
ISSN (Print) | 0922-6389 |
ISSN (Electronic) | 1879-8314 |
Conference
Conference | 3rd European Starting AI Researchers Symposium |
---|---|
Abbreviated title | STAIRS 2006 |
Country/Territory | Italy |
City | Trento |
Period | 23/05/06 → 23/05/06 |