Belief Revision

The present paper wants to promote epistemic pluralism as an alternative view of non-classical logics. For this purpose, a bilateralist logic of acceptance and rejection is developed in order to make an important di erence between several concepts of epistemology, including information and justi cation. Moreover, the notion of disagreement corresponds to a set of epistemic oppositions between agents. The result is a non-standard theory of opposition for many-valued logics, rendering total and partial disagreement in terms of epistemic negation and (...) semi-negations. (shrink)

How should the information that a proposition p is a mystery impact your credence in p? To answer this question, we first provide a taxonomy of mysteries; then, we develop a test to distinguish two types of mysteries. When faced with mysteries of the first type, rational epistemic agents should lower their credence in p upon learning that p is a mystery. The same information should not impact agents’ credence in p, when they face mysteries of the second type. Our (...) account of mystery complements existing explications of abduction. We illustrate its significance by examining the mystery of consciousness. (shrink)

I explore how rational belief and rational credence relate to evidence. I begin by looking at three cases where rational belief and credence seem to respond differently to evidence: cases of naked statistical evidence, lotteries, and hedged assertions. I consider an explanation for these cases, namely, that one ought not form beliefs on the basis of statistical evidence alone, and raise worries for this view. Then, I suggest another view that explains how belief and credence relate to evidence. My view (...) focuses on the possibilities that the evidence makes salient. I argue that this makes better sense of the difference between rational credence and rational belief than other accounts. (shrink)

We often hear such casual accusations: you just believe that because you are a liberal, a Christian, an American, a woman… When such charges are made they are meant to sting—not just emotionally, but epistemically. But should they? It can be disturbing to learn that one's beliefs reflect the influence of such irrelevant factors. The pervasiveness of such influence has led some to worry that we are not justified in many of our beliefs. That same pervasiveness has led others to (...) doubt whether there is any worry here at all. I argue that evidence of irrelevant belief influence is sometimes, but not always, undermining. My proposal picks out ordinary, non-skeptical cases in which we get evidence of error. It says that, in those cases, evidence of irrelevant influence is epistemically significant. It shows how respecting evidence of error is compatible with the epistemic lives we see ourselves living. We are fallible creatures, yes, but we are also capable and intelligent ones. We can recognize and correct for our own error so as to improve our imperfect, yet nevertheless robust, epistemic lives. (shrink)

After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. Recent work has pushed this thesis further, offering various strong principles that ultimately result in a (...) wholesale reduction of iterated to one-shot revision. The present paper offers grounds to hold that these principles should be significantly weakened and that the reductionist thesis should ultimately be rejected. Furthermore, the considerations provided suggest a close connection between the logic of iterated belief change and the logic of evidential relevance. (shrink)

The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to a (...) wide variety of epistemic norms. After comparing the different norms of justification involved in these logical systems, two hexagons expressing Aristotelian relations of opposition will be gathered in order to clarify how (a fragment of) pragmatic formulas can be interpreted in a fuzzy-based question-answer semantics. (shrink)

The AGM success postulates for belief expansions and revisions have been widely criticized. This has resulted in the development of a number of non-prioritized belief change theories that violate these postulates. It is shown that we must also discard the monotony postulate for belief expansions if we abandon the success postulates. Non-prioritized belief change theories should instead fulfill a weaker postulate, which we call Conditional Monotony.

We tackle two open questions from Leitgeb and Pettigrew (2010b) regarding what the belief update framework described in that paper mandates as correct responses to two problems. One of them concerns credences in overlapping propositions and is known in the literature as the “simultaneous update problem”. The other is the well known “Judy Benjamin” problem concerning conditional credences. We argue that our results concerning the problems point to deficiencies of the framework. More generally, we observe that the method of minimizing (...) inverse relative entropy seems to work better than (or at least equally well as) its competitors in many situations. (shrink)

People often act in ways that appear incompatible with their sincere assertions. But how might we explain such cases? On the shifting view, subjects’ degrees of belief may be highly sensitive to changes in context. This paper articulates and refines this view, after defending it against recent criticisms. It details two mechanisms by which degrees of beliefs may shift.

When an attitude changes from A₁ to A₂, what happens to A₁? Most theories assume, at least implicitly, that the new attitude replaces the former one. The authors argue that a new attitude can override, but not replace, the old one, resulting in dual attitudes. Dual attitudes are defined as different evaluations of the same attitude object: an automatic, implicit attitude and an explicit attitude. The attitude that people endorse depends on whether they have the cognitive capacity to retrieve the (...) explicit attitude and whether this overrides their implicit attitude. A number of literatures consistent with these hypotheses are reviewed, and the implications of the dual-attitude model for attitude theory and measurement are discussed. For example, by including only explicit measures, previous studies may have exaggerated the ease with which people change their attitudes. Even if an explicit attitude changes, an implicit attitude can remain the same. (shrink)

When an agent can not recognize, immediately, the implausible part of new information received, she will usually first expand her belief state by the new information, and then she may encounter some belief conflicts, and find the implausible information based on her criteria to consolidate her belief state. This process indicates a new kind of non-prioritized multiple revision, called metabolic revision. I give some axiomatic postulates for metabolic revision and propose two functional constructions for it, namely kernel metabolic revision and (...) partial meet metabolic revision, with respect to which the representation theorems are proved. I also compare metabolic revision with some related works in the literature, including semi-revision, merging with integrity constraints, evaluation, and evaluative multiple revision. (shrink)

A general theory of coherence is proposed, in which systemic and relational coherence are shown to be interdefinable. When this theory is applied to sets of sentences, it turns out that logical closure obscures the distinctions that are needed for a meaningful analysis of coherence. It is concluded that references to “all beliefs” in coherentist phrases such as “all beliefs support each other” have to be modified so that merely derived beliefs are excluded. Therefore, in order to avoid absurd conclusions, (...) coherentists have to accept a weak version of epistemic priority, that sorts out merely derived beliefs. Furthermore, it is shown that in belief revision theory, coherence cannot be adequately represented by logical closure, but has to be represented separately. (shrink)

The process of rationally revising beliefs in the light of new information is a topic of great importance and long-standing interest in artificial intelligence. Moreover, significant progress has been made in understanding the philosophical, logical, and computational foundations of belief revision. However, very little research has been reported with respect to the revision of other mental states, most notably propositional attitudes such as desires and intentions. In this paper, we present a first attempt to formulate a general framework for understanding (...) the revision of mental states. We develop an abstract belief-desire-intention model of agents, and introduce a notion of rationality for this model. We then present a series of formal postulates characterizing the processes of adding beliefs, desires, and intentions, updating costs and values, and removing beliefs, desires, and intentions. We also investigate the computational complexity of several problems involving the abstract model and comment on algorithms for revision. (shrink)

We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule. Some theorems of this logic are derived concerning the interaction between current beliefs and future beliefs. Information flows and iterated revision are also discussed.

This is a discussion of the problem of extending the basic AGM belief revision theory to iterated belief revision: the problem of formulating rules, not only for revising a basic belief state in response to potential new information, but also for revising one’s revision rules in response to potential new information. The emphasis in the paper is on foundational questions about the nature of and motivation for various constraints, and about the methodology of the evaluation of putative counterexamples to proposed (...) constraints. Some specific constraints that have been proposed are criticized. The paper emphasizes the importance of meta-information—information about one’s sources of information—and argues that little of substance can be said about constraints on iterated belief revision at a level of abstraction that lacks the resources for explicit representation of meta-information. (shrink)

In this commentary on Rotts paper Stability, Strength and Sensitivity: Converting Belief into Knowledge, I discuss two problems of the stability theory of knowledge which are pointed out by Rott. I conclude that these problems offer no reason for rejecting the stability theory, but might be grounds for deviating from the standard AGM account of belief revision which Rott presupposes.

An operator of belief change is reconstructible as another such operator if and only if any outcome that can be obtained with the former can also be obtained with the latter. Two operators are mutually reconstructible if they generate exactly the same set of outcomes. The relations of reconstructibility among fifteen operators of contraction, including the common AGM contraction operators, are completely characterized. Furthermore, the additional such relations are characterized that arise if all belief sets are required to be finite-based (...) or if the language is finite. These results are significant for the choice of a formal model to represent how real-world agents change their beliefs. In particular, if two contraction operators are mutually reconstructible, then that limits the types of considerations that can legitimately be invoked in favour of one over the other. (shrink)

This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial intelligence and theoretical computer science.

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not taken into account. (...) The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

Plausibly, you should believe what your total evidence supports. But cases of misleading higher-order evidence—evidence about what your evidence supports—present a challenge to this thought. In such cases, taking both first-order and higher-order evidence at face value leads to a seemingly irrational incoherence between one’s first-order and higher-order attitudes: you will believe P, but also believe that your evidence doesn’t support P. To avoid sanctioning tension between epistemic levels, some authors have abandoned the thought that both first-order and higher-order evidence (...) have rational bearing. This sacrifice is both costly and unnecessary. We propose a principle, Evidential Calibration, which requires rational agents to accommodate first-order evidence correctly, while allowing rational uncertainty about what to believe. At the same time, it rules out irrational tensions between epistemic levels. We show that while there are serious problems for some views on which we can rationally believe, “P, but my evidence doesn’t support P”, Evidential Calibration avoids these problems. An important upshot of our discussion is a new way to think about the relationship between epistemic levels: why first-order and higher-order attitudes should generally be aligned, and why it is sometimes—though not always—problematic when they diverge. (shrink)

We introduce a new operator, called rational evaluation, in belief change. The operator evaluates new information according to the agent’s core beliefs, and then exports the plausible part of the new information. It belongs to the decision module in belief change. We characterize rational evaluation by axiomatic postulates and propose two functional constructions for it, based on the well-known constructions of kernel sets and remainder sets, respectively. The main results of the paper are two representation theorems with respect to the (...) two functional constructions. We also compare and connect the evaluation operator with some related operators in belief revision, including contraction, set contraction, and prioritized multiple revision. (shrink)

We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which requires that revised beliefs (...) incorporate what has been learnt, and "conservativeness", which requires that beliefs on which the learnt input is "silent" do not change. To illustrate the use of non-Bayesian belief revision in economic theory, we sketch a simple decision-theoretic application. (shrink)

The merging/fusion of belief/data collections in propositional logic form is a topic that has received due attention within the domains of database and AI research. A distinction can be made between two types of scenarios to which the process of merging can be applied. In the first type, the collections represent preferences, such as the voting choices of a group of people, that need to be aggregated so as to give a consistent result that in some way best represents the (...) collective judgement of the group. In the second type, the collections represent factual data that is to be aggregated with an aim of obtaining a result that maximises factual correctness. After introducing a general framework for belief merging via some prominent literature on the topic, this paper then introduces and considers a method for belief merging with the second type of scenario in mind. Its suitability is corroborated by demonstrating how it can be seen as a special case of a merging procedure that combines aggregation of probabilities and maximisation of expected truthlikeness. (shrink)

This paper characterizes several belief-revision rules in a unified framework: Bayesian revision upon learning some event, Jeffrey revision upon learning new probabilities of some events, Adams revision upon learning some new conditional probabilities, and 'dual-Jeffrey' revision upon learning a new conditional probability function. Despite their differences, these revision rules can be characterized in terms of the same two axioms: responsiveness, which requires that revised beliefs incorporate what has been learnt, and conservativeness, which requires that beliefs on which the learnt input (...) is 'silent' do not change. So, the four revision rules apply the same principles, albeit to different learnt inputs. To illustrate that there is room for non-Bayesian belief revision in economic theory, we also sketch a simple decision-theoretic application. (shrink)

The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of the present investigation, (...) a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge. (shrink)

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...) logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)

A review of Wolfgang Spohn, The Laws of Belief.

We present a model for studying communities of epistemically interacting agents who update their belief states by averaging the belief states of other agents in the community. The agents in our model have a rich belief state, involving multiple independent issues which are interrelated in such a way that they form a theory of the world. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, (...) an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. It is shown that, under the assumptions of our model, an agent always has a probability of less than 2% of ending up in an inconsistent belief state. Moreover, this probability can be made arbitrarily small by increasing the number of independent issues the agents have to judge or by increasing the group size. A real-world situation to which this model applies is a group of experts participating in a Delphi-study. (shrink)

We investigate the process of truth-seeking by iterated belief revision with higher-level doxastic information . We elaborate further on the main results in Baltag and Smets (Proceedings of TARK, 2009a , Proceedings of WOLLIC’09 LNAI 5514, 2009b ), applying them to the issue of convergence to truth . We study the conditions under which the belief revision induced by a series of truthful iterated upgrades eventually stabilizes on true beliefs. We give two different conditions ensuring that beliefs converge to “full” (...) (complete) truth , as well as a condition ensuring only that they converge to true (but not necessarily complete) beliefs. (shrink)

Sven-Ove Hansson and Erik Olsson studied in [7] the logical properties of an operation of contraction first proposed by Isaac Levi in [10]. They provided a completeness result for the simplest version of contraction that they call Levicontraction but left open the problem of characterizing axiomatically the more complex operation of value-based contraction or saturatable contraction. In this paper we propose an axiomatization for this operation and prove a completeness result for it. We argue that the resulting operation is better (...) behaved than various rival operations of contraction defined in recent years. (shrink)

This article elaborates on foundational issues in the social sciences and their impact on the contemporary theory of belief revision. Recent work in the foundations of economics has focused on the role external social norms play in choice. Amartya Sen has argued in [Sen93] that the traditional rationalizability approach used in the theory of rational choice has serious problems accommodating the role of social norms. Sen's more recent work [Sen96, Sen97] proposes how one might represent social norms in the theory (...) of choice, and in a very recent article [BS07] Walter Bossert and Kotaro Suzumura develop Sen's proposal, offering an extension of the classical theory of choice that is capable of dealing with social norms. The first part of this article offers an alternative functional characterization of the extended notion of rationality employed by Bossert and Suzumura in [BS07]. This characterization, unlike the one offered in [BS07], represents a norm-sensitive notion of rationality in terms of a pure functional constraint unmediated by a notion of revealed preference (something that is crucial for the application developed in the second part of this article). This functional characterization is formulated for general domains (as is Bossert and Suzumura's characterization) and is therefore empirically more applicable than usual characterizations of rationality. Interestingly, the functional constraint we propose is a variant of a condition first entertained in [AGM85] by Carlos Alchourrón, Peter Gärdenfors and David Makinson in the area of belief change. The second part of this article applies the theory developed in the first part to the realm of belief change. We first point out that social norms can be invoked to concoct counterexamples against some postulates of belief change (like postulate (*7)) that are necessary for belief change to be relational. These examples constitute the epistemological counterpart of Sen's counterexamples against condition α in rational choice (as a matter of fact, Rott has showed in [Rot01] that condition and postulate (*7) are mutually mappable). These examples are variants of examples Rott has recently presented in [Rot04]. One of our main goals in this article consists in applying the theory developed in the first part to develop a theory of norm-inclusive belief change that circumvents the counterexamples. We offer a new axiomatization for belief change and we furnish correspondence results relating constraints of rational choice to postulates of belief change. (shrink)

An observer attempts to infer the unobserved ranking of two ideal objects, A and B, from observed rankings in which these objects are `accompanied' by `noise' components, C and D. In the first ranking, A is accompanied by C and B is accompanied by D, while in the second ranking, A is accompanied by D and B is accompanied by C. In both rankings, noisy-A is ranked above noisy-B. The observer infers that ideal-A is ranked above ideal-B. This commonly used (...) inference rule is formalized for the case in which A,B,C,D are sets. Let X be a finite set and let be a linear ordering on 2X. The following condition is imposed on . For every quadruple (A,B,C,D)∈Y, where Y is some domain in (2X)4, if and , then . The implications and interpretation of this condition for various domains Y are discussed. (shrink)

This book review describes and evaluates Issac Levi's views about belief revision.