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 …
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 …
research area with the same name, can be traced back to the early 1980s. The framework …
[图书][B] Handbook of knowledge representation
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 …
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
Iterated belief revision, revised
Y Jin, M Thielscher - Artificial Intelligence, 2007 - Elsevier
The AGM postulates for belief revision, augmented by the DP postulates for iterated belief
revision, provide widely accepted criteria for the design of operators by which intelligent …
revision, provide widely accepted criteria for the design of operators by which intelligent …
[图书][B] Belief change: introduction and overview
E Fermé, SO Hansson - 2018 - Springer
Belief change (belief revision) is a research area in formal philosophy that makes use of
logic to produce models of how human and artificial agents change their beliefs in response …
logic to produce models of how human and artificial agents change their beliefs in response …
Descriptor revision
SO Hansson - Studia Logica, 2014 - Springer
A descriptor is a set of sentences that are truth-functional combinations of expressions of the
form B p B p, where BB is a metalinguistic belief predicate and pa sentence in the object …
form B p B p, where BB is a metalinguistic belief predicate and pa sentence in the object …
Parallel belief revision: Revising by sets of formulas
J Delgrande, Y Jin - Artificial Intelligence, 2012 - Elsevier
The area of belief revision studies how a rational agent may incorporate new information
about a domain into its belief corpus. An agent is characterised by a belief state K, and …
about a domain into its belief corpus. An agent is characterised by a belief state K, and …
Updating action domain descriptions
Incorporating new information into a knowledge base is an important problem which has
been widely investigated. In this paper, we study this problem in a formal framework for …
been widely investigated. In this paper, we study this problem in a formal framework for …
A panorama of iterated revision
P Peppas - David Makinson on classical methods for non-classical …, 2014 - Springer
Abstract In 1985, David Makinson, together with Carlos Alchourron and Peter Gärdenfors
published an article, the now renowned “AGM paper”, that gave rise to an entire new area of …
published an article, the now renowned “AGM paper”, that gave rise to an entire new area of …
[PDF][PDF] Negotiation as mutual belief revision
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 …
consider that a negotiation process is a course or multiple courses of mutual belief revision …