AGM 25 years: Twenty-five years of research in belief change

E Fermé, SO Hansson - Journal of philosophical logic, 2011 - Springer
Abstract The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David
Makinson (AGM),“On the Logic of Theory Change: Partial Meet Contraction and Revision …

Belief revision

P Peppas - Foundations of Artificial Intelligence, 2008 - Elsevier
Publisher Summary The study of the process of belief revision, which gave rise to an exciting
research area with the same name, can be traced back to the early 1980s. The framework …

[图书][B] Handbook of knowledge representation

F Van Harmelen, V Lifschitz, B Porter - 2008 - books.google.com
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Infinitary belief revision

D Zhang, N Foo - Journal of Philosophical Logic, 2001 - Springer
This paper extends the AGM theory of belief revision to accommodate infinitary belief
change. We generalize both axiomatization and modeling of the AGM theory. We show that …

[PDF][PDF] Negotiation as mutual belief revision

D Zhang, N Foo, T Meyer, R Kwok - AAAI, 2004 - cdn.aaai.org
This paper presents a logical framework for negotiation based on belief revision theory. We
consider that a negotiation process is a course or multiple courses of mutual belief revision …

A framework for managing uncertain inputs: An axiomization of rewarding

J Ma, W Liu - International Journal of Approximate Reasoning, 2011 - Elsevier
The success postulate in belief revision ensures that new evidence (input) is always trusted.
However, admitting uncertain input has been questioned by many researchers. Darwiche …

[PDF][PDF] Representation theorems for multiple belief changes

D Zhang, S Chen, W Zhu, Z Chen - IJCAI (1), 1997 - Citeseer
This paper aims to develop further and systemize the theory of multiple belief change based
on the previous work on the package contraction, developed by [Fuhrmann and Hansson …

Properties of iterated multiple belief revision

D Zhang - Logic Programming and Nonmonotonic Reasoning: 7th …, 2004 - Springer
In this paper we investigate the properties of iterated multiple belief revision. We examine
several typical assumptions for iterated revision operations with an ontology where an agent …

Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability

K Sauerwald - KI-Künstliche Intelligenz, 2024 - Springer
This paper summarises several contributions to the theory of belief change by the authors'
dissertation thesis. First, a relational characterization of belief revision for Tarskian logics is …

Semantic characterizations of AGM revision for tarskian logics

FM Falakh, S Rudolph, K Sauerwald - International Joint Conference on …, 2022 - Springer
Given the increasingly dynamic nature of knowledge in the era of Web-based information
exchange, techniques to revise recorded knowledge–such as knowledge graphs or …