On Generalizing the AGM Postulates

Authors:
Giorgos Flouris;Dimitris Plexousakis;Grigoris Antoniou
Affiliations:
Institute of Computer Science, FO.R.T.H., P.O. Box 1385, GR 71110, Heraklion, Greece, {fgeo, dp, antoniou}@ics.forth.gr;Institute of Computer Science, FO.R.T.H., P.O. Box 1385, GR 71110, Heraklion, Greece, {fgeo, dp, antoniou}@ics.forth.gr;Institute of Computer Science, FO.R.T.H., P.O. Box 1385, GR 71110, Heraklion, Greece, {fgeo, dp, antoniou}@ics.forth.gr
Venue:
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Year:
2006

Citing 8
Cited 6

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
A knowledge level analysis of belief revision

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Knowledge-level analysis of belief base operations

Artificial Intelligence
A Textbook of Belief Dynamics: Solutions to Exercises

A Textbook of Belief Dynamics: Solutions to Exercises
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Revisions of knowledge systems using epistemic entrenchment

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Inconsistencies, negations and changes in ontologies

AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
On applying the AGM theory to DLs and OWL

ISWC'05 Proceedings of the 4th international conference on The Semantic Web

On applying the AGM theory to DLs and OWL

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Evolving ontology evolution

SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
On the link between partial meet, kernel, and infra contraction and its application to Horn logic

Journal of Artificial Intelligence Research
Revising horn theories

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process

Fundamenta Informaticae
Minimal change: Relevance and recovery revisited

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.