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 …

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 …

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 …

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 …

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 …

Prioritized bases, ie, weakly ordered sets of sentences, have been used for specifying an
agent's 'basic'or 'explicit'beliefs, or alternatively for compactly encoding an agent's belief …

As partial justification of their framework for iterated belief revision Darwiche and Pearl
convincingly argued against Boutilier's natural revision and provided a prototypical revision …

Standard accounts of iterated belief revision assume a static world, about which an agent
receives a sequence of observations. More recent items are assumed to have priority over …

We present a model for iterating the Katsuno and Mendelzon Update (KM-Update) process,
which is inspired by models developed for iterated belief revision in the AGM framework. Our …

Knowledge Representation and Reasoning is a central, longstanding, and active area of
Artificial Intelligence. Over the years it has evolved significantly; more recently it has been …