DMCA
Generalizing the AGM Postulates: Preliminary Results and Applications (2004)
Cached
Download Links
- [www.pims.math.ca]
- [www.ics.forth.gr]
- [www.ics.forth.gr]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004 |
| Citations: | 34 - 12 self |
BibTeX
@INPROCEEDINGS{Flouris04generalizingthe,
author = {Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou},
title = {Generalizing the AGM Postulates: Preliminary Results and Applications},
booktitle = {In Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004},
year = {2004},
pages = {171--179}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The AGM approach, introduced in (Alchourron, Gärdenfors, and Makinson 1985), is the dominating paradigm in the area but it makes some non-elementary assumptions about the logic at hand which disallow its direct application in some classes of logics. In this paper, we drop all such assumptions and determine the necessary and sufficient conditions for a logic to support AGMcompliant operators. Our approach is directly applicable to a much broader class of logics. We apply our results to establish connections between the problem of updating in Description Logics (DLs) and the AGM postulates. Finally, we investigate why belief base operators cannot satisfy the AGM postulates in standard logics.
