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 …

In artificial intelligence, a key question concerns how an agent may rationally revise its
beliefs in light of new information. The standard (AGM) approach to belief revision assumes …

In this article we explore multiple change operators, ie, operators in which the epistemic
input is a set of sentences instead of a single sentence. We propose two types of change …

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 …

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 …

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 …

This book provides a critical examination of how the choice of what to believe is represented
in the standard model of belief change. In particular the use of possible worlds and infinite …

In his seminal paper in 1988, Grove provided possible-world semantics for the axiomatic
approach to belief revision proposed by Alchourron, Gardenfors, and Makinson. Grove's …

Multiple contraction (simultaneous contraction by several sentences) and iterated
contraction are investigated in the framework of specified meet contraction (smc) that is …