In this paper we propose an approach to multi-source belief revision where the trust or credibility assigned to informant agents can be revised. In our proposal, the credibility of each informant represented as a strict partial order among informant agents, will be maintained in a repository called credibility base. Upon arrival of new information concerning the credibility of its peers, an agent will be capable of revising this strict partial order, changing the trust assigned to its peers accordingly. Our goal (...) is to formalize a set of change operators over the credibility base: expansion, contraction, prioritized, and non-prioritized revision. These operators will provide the capability of dynamically modifying the credibility of informants considering the reliability of the information. This dynamics will reflect a new perception of trust assigned to the informant, or extend the set of informants by admitting the addition of new informant agents. (shrink)

We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.

In this article we present a new class of multiple contraction functionswhich are a generalization of the epistemic entrenchment-based contractions (Grdenfors & Makinson, 1988) to the case of contractions by (possibly nonsingleton) sets of sentences and provide an axiomatic characterization for that class of functions. Moreover, we show that the class of epistemic entrenchment-based multiple contractions coincides with the class of system of spheres-based multiple contractions introduced in Fermé & Reis (2012).

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 Functions" was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twentyfive years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in (...) the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)

The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original (...) framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)

Modern belief revision theory is based to a large extent on partial meet contraction that was introduced in the seminal article by Carlos Alchourrón, Peter Gärdenfors, and David Makinson that appeared in 1985. In the same year, Alchourrón and Makinson published a significantly different approach to the same problem, called safe contraction. Since then, safe contraction has received much less attention than partial meet contraction. The present paper summarizes the current state of knowledge on safe contraction, provides some new results (...) and offers a list of unsolved problems that are in need of investigation. (shrink)

This thesis investigates a sort of non-prioritized multiple revision, the operation of making up one's mind, and its generalization, the operation of choice revision. Making up one's mind about a sentence is a belief change that takes the agent to a belief state in which either the sentence or its negation is believed. In choice revision, the input information is represented by a set of sentences, and the agent should make a choice on which sentences to be accepted. Apart from (...) being practically important, these operations are technically interesting since the standard approach of intersecting a set of optimal outcomes is not workable. Paper I provides a construction based on descriptor revision in which the operation of making up one's mind can be modelled in a ``select-direct'' way, which is different from the traditional ``select-and-intersect'' methodology employed in the AGM model. The article shows that this construction is axiomatically characterized with a set of plausible postulates, and investigates the additional postulates that correlate with properties of the construction. Paper II investigates a new modelling for sentential belief revision operations, which is based on a set of relations on sentences named believability relations. It demonstrates that two special kinds of such relations, i.e. H-believability relations and basic believability relations, are faithful alternative models of two typical sentential revision generated from descriptor revision. It also shows that traditional AGM revision operations can be reconstructed from a strengthened variant of the basic believability relation and there exists a close connection between this strengthened believability relation and the standard epistemic entrenchment relation. Paper III studies the constructions of choice revision based on descriptor revision and multiple believability relations, which extends the domain of believability relations from sentences to sets of sentences. It is shown that each of two variants of choice revision based on descriptor revision is axiomatically characterized with a set of plausible postulates, assuming that the object language is finite. Furthermore, without assuming a finite language, it is shown that choice revision constructed from multiple believability relations is axiomatically characterized with the same sets of postulates proposed for choice revision derived from descriptor revision, whenever these relations satisfy certain rationality conditions. Paper IV explores choice revision on belief bases. A generalized version of expansion operation called partial expansion is introduced for developing models of this kind of choice revision. Based on the partial expansion as well as two multiple contraction operations from the literature, two kinds of choice revision operators on belief bases are constructed. This paper proposes several postulates for such two operators and shows that they can be axiomatically characterized by such postulates. Furthermore, it investigates two kinds of making up one's mind operators generated from these two choice revision operators and presents the axiomatic characterizations of them. (shrink)