This paper presents the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence and a reference sentence. The key idea is that the input sentence is accepted as far as (and just a little further than) the reference sentence is ‘cotenable’ with it. Bounded revision satisfies the AGM axioms as well as the Same Beliefs Condition (SBC) saying that the set of beliefs accepted after the revision does not depend (...) on the reference sentence (although the posterior belief state does depend on it). Bounded revision satisfies the Darwiche–Pearl (DP) axioms for iterated belief change. If the reference sentence is fixed to be a tautology or a contradiction, two well-known one-dimensional revision operations result. Bounded revision thus naturally fills the space between conservative revision (also known as natural revision) and moderate revision (also known as lexicographic revision). I compare this approach to the two-dimensional model of ‘revision by comparison’ investigated by Fermé and Rott (Artif Intell 157:5–47, 2004 ) that satisfies neither the SBC nor the DP axioms. I conclude that two-dimensional revision operations add substantially to the expressive power of qualitative approaches that do not make use of numbers as measures of degrees of belief. (shrink)

This paper addresses the question whether the past couple of decades of formal research in belief revision offers evidence of a new psychologism in logic. In the first part I examine five potential arguments in favour of this thesis and find them all wanting. In the second part of the paper I argue that belief revision research has climbed up a hierarchy of models for the change of doxastic states that appear to be clearly normative at the bottom, but are (...) more amenable to an empirical-descriptive interpretation on higher levels. I conclude that this observation might offer a foothold for the thesis that there is a new psychologism in logic. (shrink)

The paper provides a formal representation of goal systems. The focus is on three properties: consistency, conflict, and coherence. An aim is to attain conceptual clarity of these properties. It is argued that consistency is adequately regarded as a property relative to the decision situation or, more specifically, the set of alternatives that the agent faces. Moreover, as a condition of rationality, consistency is stronger than some writers have claimed. Conflict is adequately regarded as a relation over subsets of a (...) given goal system and should likewise be regarded as relative to the set of alternatives that the agent faces. Coherence is given a probabilistic interpretation, based on a support relation over subsets of goal systems. (shrink)

Deliberation about what to do in any context requires reasoning about what will or would happen in various alternative situations, including situations that the agent knows will never in fact be realized. In contexts that involve two or more agents who have to take account of each others' deliberation, the counterfactual reasoning may become quite complex. When I deliberate, I have to consider not only what the causal effects would be of alternative choices that I might make, but also what (...) other agents might believe about the potential effects of my choices, and how their alternative possible actions might affect my beliefs. Counterfactual possibilities are implicit in the models that game theorists and decision theorists have developed – in the alternative branches in the trees that model extensive form games and the different cells of the matrices of strategic form representations – but much of the reasoning about those possibilities remains in the informal commentary on and motivation for the models developed. Puzzlement is sometimes expressed by game theorists about the relevance of what happens in a game ‘off the equilibrium path’: of what would happen if what is both true and known by the players to be true were instead false. (shrink)

The impact of our desires and preferences upon our ordinary, everyday beliefs is well-documented [Gilovich, T. . How we know what isn’t so: The fallibility of human reason in everyday life. New York: The Free Press.]. The influence of such motivational factors on delusions, which are instances of pathological misbelief, has tended however to be neglected by certain prevailing models of delusion formation and maintenance. This paper explores a distinction between two general classes of theoretical explanation for delusions; the motivational (...) and the deficit. Motivational approaches view delusions as extreme instances of self-deception; as defensive attempts to relieve pain and distress. Deficit approaches, in contrast, view delusions as the consequence of defects in the normal functioning of belief mechanisms, underpinned by neuroanatomical or neurophysiological abnormalities. It is argued that although there are good reasons to be sceptical of motivational theories , recent experiments confirm that motives are important causal forces where delusions are concerned. It is therefore concluded that the most comprehensive account of delusions will involve a theoretical unification of both motivational and deficit approaches. (shrink)

Emotions signal flaws in the person’s anticipation systems, or in other words, in aspects of models of how the world works. As these models are essentially shared in society, emotional challenges e...

In many logics dealing with information one needs to make statements not only about cognitive states, but also about transitions between them. In this paper we analyze a dynamic modal logic that has been designed with this purpose in mind. On top of an abstract information ordering on states it has instructions to move forward or backward along this ordering, to states where a certain assertion holds or fails, while it also allows combinations of such instructions by means of operations (...) from relation algebra. In addition, the logic has devices for expressing whether in a given state a certain instruction can be carried out, and whether that state can be arrived at by carrying out a certain instruction. (shrink)

There are two prominent viewpoints regarding the nature of rationality and how it should be evaluated in situations of interest: the traditional axiomatic approach and the newer ecological rationality. An obstacle to comparing and evaluating these seemingly opposite approaches is that they employ different language and formalisms, ask different questions, and are at different stages of development. I adapt a formal framework known as SCOP to address this problem by providing a comprehensive common framework in which both approaches may be (...) defined and compared. The main result is that the axiomatic and ecological approaches are in far greater agreement on fundamental issues than has been appreciated; this is supported by a pair of theorems to the effect that they will make accordant rationality judgements when forced to evaluate the same situation. I conclude that ecological rationality has some subtle advantages, but that we should move past the issues currently dominating the discussion of rationality. (shrink)

In this rather technical paper we establish a useful combination of belief revision and verisimilitude according to which better theories provide better predictions, and revising with more verisimilar data results in theories that are closer to the truth. Moreover, this paper presents two alternative definitions of refined verisimilitude, which are more perspicuous than the algebraic version used in previous publications.

In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985 ). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989 ), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994 ) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this (...) paper we present the possible worlds semantics for partial meet multiple contractions. (shrink)

In this paper we investigate three approaches to iterated contraction, namely: the Moderate (or Priority) contraction, the Natural (or Conservative) contraction, and the Lexicographic contraction. We characterise these three contraction functions using certain, arguably plausible, properties of an iterated contraction function. While we provide the characterisation of the first two contraction operations using rationality postulates of the standard variety for iterated contraction, we found doing the same for the Lexicographic contraction more challenging. We provide its characterisation using a variation of (...) Epistemic ranking function instead. (shrink)

Probabilistic belief contraction has been a much neglected topic in the field of probabilistic reasoning. This is due to the difficulty in establishing a reasonable reversal of the effect of Bayesian conditionalization on a probabilistic distribution. We show that indifferent contraction, a solution proposed by Ramer to this problem through a judicious use of the principle of maximum entropy, is a probabilistic version of a full meet contraction. We then propose variations of indifferent contraction, using both the Shannon entropy measure (...) as well as the Hartley entropy measure, with an aim to avoid excessive loss of beliefs that full meet contraction entails. (shrink)

This paper explores the connective ‘because’, based on the idea that ‘CbecauseA’ implies the acceptance/truth of the antecedentAas well as of the consequentC, and additionally that the antecedent makes a difference for the consequent. To capture this idea of difference-making a ‘relevantized’ version of the Ramsey Test for conditionals is employed that takes the antecedent to be relevant to the consequent in the following sense: a conditional is true/accepted in a state$$\sigma $$σjust in case (i) the consequent is true/accepted when$$\sigma (...) $$σis revised by the antecedentand(ii) the consequent fails to be true/accepted when$$\sigma $$σis revised by the antecedent’s negation. To extend this to a semantics for ‘because’, we add that (iii) the antecedent and (iv) the consequent are accepted/true in the state$$\sigma $$σ. We get metaphysical or doxastic interpretations of these clauses, depending on what we mean by a model and a state. We introduce several semantics known from suppositional conditionals, which we reinterpret for difference-making conditionals and ‘because’. We present a minimal logic for ‘because’ sentences and show how it can be extended in ways that parallel the hierarchy of extensions of the logic of suppositional conditionals. We establish correspondence results between axioms for ‘because’ and properties of states, and prove that the specified logics are sound with respect to the semantics. (shrink)

Standard conditionals $\varphi > \psi$, by which I roughly mean variably strict conditionals à la Stalnaker and Lewis, are trivially true for impossible antecedents. This article investigates three modifications in a doxastic setting. For the neutral conditional, all impossible-antecedent conditionals are false, for the doxastic conditional they are only true if the consequent is absolutely necessary, and for the metaphysical conditional only if the consequent is ‘model-implied’ by the antecedent. I motivate these conditionals logically, and also doxastically by properties of (...) conditional belief and belief revision. For this I show that the Lewisian hierarchy of conditional logics can be reproduced within ranking semantics, provided we slightly stretch the notion of a ranking function. Given this, acceptance of a conditional can be interpreted as a conditional belief. The epistemic and the neutral conditional deviate from Lewis’ weakest system $V$, in that ID or even CN are dropped, and new axioms appear. The logic of the metaphysical conditional is completely axiomatised by $V$ to which we add the known Kripke axioms T5 for the outer modality. Related completeness results for variations of the ranking semantics are obtained as corollaries. (shrink)

We investigate an approach for drawing logical inference from inconsistent premisses. The main idea in this approach is that the inconsistencies in the premisses should be interpreted as uncertainty of the information. We propose a mechanism, based on Kinght’s [14] study of inconsistency, for revising an inconsistent set of premisses to a minimally uncertain, probabilistically consistent one. We will then generalise the probabilistic entailment relation introduced in [15] for propositional languages to the first order case to draw logical inference from (...) a probabilistic set of premisses. We will show how this combination can allow us to limit the effect of uncertainty introduced by inconsistent premisses to only the reasoning on the part of the premise set that is relevant to the inconsistency. (shrink)

This paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of communication and information update by the participants. After locating our proposal and introducing the relevant tools from abstract argumentation, we proceed to build a three-tiered logical approach. At the first level, we use the language of propositional logic to encode states of a (...) multi-agent debate. This language allows to specify which arguments any agent is aware of, as well as their subjective justification status. We then extend our language and semantics to that of epistemic logic, in order to model individuals’ beliefs about the state of the debate, which includes uncertainty about the information available to others. As a third step, we introduce a framework of dynamic epistemic logic and its semantics, which is essentially based on so-called event models with factual change. We provide completeness results for a number of systems and show how existing formalisms for argumentation dynamics and unquantified uncertainty can be reduced to their semantics. The resulting framework allows reasoning about subtle epistemic and argumentative updates—such as the effects of different levels of trust in a source—and more in general about the epistemic dimensions of strategic communication. (shrink)

The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADM c (Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle. The results obtained are proven to be equivalent to a standard majority operator (...) for bases with partial support. (shrink)

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human epistemic (...) states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

In this paper we will analyse the issue of defeasibility in the law, taking into account research carried out in philosophy, artificial intelligence and legal theory. We will adopt a very general idea of legal defeasibility, in which we will include all different ways in which certain legal conclusions may need to be abandoned, though no mistake was made in deriving them. We will argue that defeasibility in the law involves three different aspects, which we will call inference‐based defeasibility, process‐based (...) defeasibility, and theory‐based defeasibility. Only the integration of these three perspectives allows us to provide a satisfactory account of the role of defeasibility in legal reasoning. (shrink)

It is now more than ten years since the EU FET project ALFEBIITE finished, during which its researchers made original and distinctive contributions to (inter alia) formal models of trust, model-checking, and action logics. ALFEBIITE was also a highly inter-disciplinary project, with partners from computer science, philosophy, cognitive science and law. In this paper, we reflect on the interaction between computer scientists and information and IT lawyers on the idea of the ‘open agent society’. This inspired a programme of research (...) whose investigation into conceptual challenges has carried it from the logical specification of agent societies and dynamic norm-governed systems to self-organising electronic institutions, while developing several technologies for agent-based modelling and complex event recognition. The outcomes of this inter-disciplinary collaboration have also influenced current research into using the open agent society as a platform for socio-technical systems, and other collective adaptive systems. We present a number of research challenges, including the ideas of computational justice and polycentric governance, and explore a number of ethical, legal and social implications. We contend that, in order to address these issues and challenges, the continued inter-disciplinary collaboration between computer science and IT lawyers is critical. (shrink)

The principle of belief persistence, or conservativity principle, states that ’\Nhen changing beliefs in response to new evidence, you should continue to believe as many of the old beliefs as possible' (Harman, 1986, p. 46). In particular, this means that if an individual gets new information, she has to accommodate it in her new belief set (the set of propositions she believes), and, if the new information is not inconsistent with the old belief set, then (1) the individual has to (...) maintain all the beliefs she previously had and (2) the change should be minimal in the sense that every proposition in the new belief set must be deducible from the union of the old belief set and the new information (see, e.g., Gardenfors, 1988; Stalnaker, 1984). We focus on this minimal notion of belief persistence and characterize it both semantically and syntactically. A ’possible world' semantic formalization of the principle easily comes to mind. The set of all the propositions that the individual believes corresponds to the set of states of the world that she considers possible and is a subset of the set of states that are not ruled out by the individual's information (or knowledge). It is required that, if the individual considers a state possible and her new information does not exclude this state, then she continue to consider it possible. Furthermore, if the individual regards a particular state as impossible, then she should continue to regard it as impossible unless her new information excludes all the states that she previously regarded as possible. This is closely related to the.. (shrink)

In Constructing the World, Chalmers observes that our knowledge exceeds the core evidence provided by our senses and introspection. Thus, on the basis of core evidence, one also can know (S) that water covers the majority of the Earth. This knowledge, Chalmers suggests, requires a great deal of apriori knowledge. Chalmers argues that even if one suspends belief in one’s core evidence, one can nevertheless reason from a description of this evidence to an ordinary claim such as S. Chalmers concludes (...) that the ordinary claim must be apriori entailed by a description of the core evidence. However, I propose that careful thinking about belief suspension reveals that empirical information can contaminate the reasoning from the core evidence to the ordinary claim S, even if belief in the core evidence is suspended. One result is that empiricists and externalists may freely appeal to thought experiments without having to concede that there are substantive apriori truths. (shrink)

In this paper I critically examine the notion of explanation used in Artificial Intelligence in general, and in the theory of belief revision in particular. I focus on two of the best known accounts in the literature: Pagnucco’s abductive expansion functions and Gärdenfors’ counterfactual analysis. I argue that both accounts are at odds with the way in which this notion has historically been understood in philosophy. They are also at odds with the explanatory strategies used in actual scientific practice. At (...) the end of the paper I outline the desiderata for an epistemologically motivated, scientifically informed belief revision model for explanation. (shrink)

ABSTRACT Although much effort has been expended by researchers in trying to maintain a consistent belief base in formalizing commonsense reasoning, there is some evidence that the nature of commonsense reasoning itself brings inconsistencies with it. I will outline a number of sources of such inconsistencies, and discuss why they appear unavoidable. I will also suggest that, far from being a roadblock to effective commonsense, (detected) inconsistencies are often a reasoner's best guide to what to do next.

In a recent article, Zhang and Foo generalized the AGM postulates for contraction to include infinite epistemic input. The new type of belief change is called set contraction. Zhang and Foo also introduced a constructive model for set contraction, called nicely ordered partition, as a generalization of epistemic entrenchment. It was shown however that the functions induced from nicely ordered partitions do not quite match the postulates for set contraction. The mismatch was fixed with the introduction of an extra condition (...) called the limit postulate. The limit postulate establishes a connection between contraction by infinite epistemic input and contraction by finite epistemic input (reducing the former to the latter) and it is appealing both on mathematical and on conceptual grounds. It is debatable however whether the limit postulate can be adopted as a general feature of rationality in set contraction. Instead we propose that the limit postulate is viewed as a condition characterizing an important special case of set contraction functions. With this reading in mind, in this article we introduce an alternative generalization of epistemic entrenchment, based on the notion of comparative possibility. We prove that the functions induced from comparative possibility preorders precisely match those satisfying the postulates for set contraction (without the limit postulate). The relationship between comparative possibility and epistemic entrenchment is also investigated. Finally, we formulate necessary and sufficient conditions under which the functions induced from comparative possibility preorders coincide with the special class of contraction functions characterized by the limit postulate. (shrink)

The main stream of legal theory tends to incorporate unwritten principles into the law. Weighing of principles plays a great role in legal argumentation, inter alia in statutory interpretation. A weighing and balancing of principles and other prima facie reasons is a jump. The inference is not conclusive.To deal with defeasibility and weighing, a jurist needs both the belief-revision logic and the nonmonotonic logic. The systems of nonmonotonic logic included in the present volume provide logical tools enabling one to speak (...) precisely about various kinds of rules about rules, dealing with such things as applicability of rules, what is assumed by rules, priority between rules and the burden of proof. Nonmonotonic logic is an example of an extension of the domain of logic. But the more far-reaching the extension is, the greater problems it meets. It seems impossible to make logical reconstruction of the totality of legal argumentation. (shrink)

In this paper we look at two classic methods of deriving consequences from inconsistent premises: Rescher-Manor and Schotch-Jennings. The overall goal of the project is to confine the method of drawing consequences from inconsistent sets to those that do not require reference to any information outside of very general facts about the set of premises. Methods in belief revision often require imposing assumptions on premises, e.g., which are the important premises, how the premises relate in non-logical ways. Such assumptions enable (...) one to select a reasonable collection of formulas from all the formulas of the language. Basic versions of the classic methods only use logical relations between the premises. We compare and criticize each of the classic views with an eye to combining the views to get the most out of inconsistent premises. We do this in a way that will respect the theoretical grounding of each view while meeting our other restrictions. (shrink)

Alchourrón, Gärdenfors and Makinson have developed and investigated a set of rationality postulates which appear to capture much of what is required of any rational system of theory revision. This set of postulates describes a class of revision functions, however it does not provide a constructive way of defining such a function. There are two principal constructions of revision functions, namely an epistemic entrenchment and a system of spheres. We refer to their approach as the AGM paradigm. We provide a (...) new constructive modeling for a revision function based on a nice preorder on models, and furthermore we give explicit conditions under which a nice preorder on models, an epistemic entrenchment, and a system of spheres yield the same revision function. Moreover, we provide an identity which captures the relationship between revision functions and update operators (as defined by Katsuno and Mendelzon). (shrink)

We propose a model for belief which is free of presuppositions. Current models for belief suffer from two difficulties. One is the well known problem of logical omniscience which tends to follow from most models. But a more important one is the fact that most models do not even attempt to answer the question what it means for someone to believe something, and just what it is that is believed. We provide a flexible model which allows us to give meaning (...) to beliefs in general contexts, including the context of animal belief , and of human belief which is expressed in language. (shrink)

Both the Beth definability theorem and Craig's lemma (interpolation theorem from now on) deal with the issue of the entanglement of one language L1 with another language L2, that is to say, information transfer—or the lack of such transfer—between the two languages. The notion of splitting we study below looks into this issue. We briefly relate our own results in this area as well as the results of other researchers like Kourousias and Makinson, and Peppas, Chopra and Foo.Section 3 does (...) contain one apparently new theorem. (shrink)

The properties of belief revision operators are known to have an informal semantics which relates them to the axioms of conditional logic. The purpose of this paper is to make this connection precise via the model theory of conditional logic. A semantics for conditional logic is presented, which is expressed in terms of algebraic models constructed ultimately out of revision operators. In addition, it is shown that each algebraic model determines both a revision operator and a logic, that are related (...) by virtue of the stable Ramsey test. (shrink)

We introduce two new belief revision axioms: partial monotonicity and consequence correctness. We show that partial monotonicity is consistent with but independent of the full set of axioms for a Gärdenfors belief revision sytem. In contrast to the Gärdenfors inconsistency results for certain monotonicity principles, we use partial monotonicity to inform a consistent formalization of the Ramsey test within a belief revision system extended by a conditional operator. We take this to be a technical dissolution of the well-known Gärdenfors dilemma.In (...) addition, we present the consequential correctness axiom as a new measure of minimal revision in terms of the deductive core of a proposition whose support we wish to excise. We survey several syntactic and semantic belief revision systems and evaluate them according to both the Gärdenfors axioms and our new axioms. Furthermore, our algebraic characterization of semantic revision systems provides a useful technical device for analysis and comparison, which we illustrate with several new proofs. (shrink)

Dynamic epistemic logic, broadly conceived, is the study of logics of information change. This is the first paper in a two-part series introducing this research area. In this paper, I introduce the basic logical systems for reasoning about the knowledge and beliefs of a group of agents.

The notion of epistemic coherence is interpreted as involving not only consistency but also stability. The problem how to consolidate a belief system, i.e., revise it so that it becomes coherent, is studied axiomatically as well as in terms of set-theoretical constructions. Representation theorems are given for subtractive consolidation (where coherence is obtained by deleting beliefs) and additive consolidation (where coherence is obtained by adding beliefs).

How does your information change when you learn that something might be the case, where the modal “might” is epistemic? On the orthodox view, a proposition is added to your information base; on the view defended here, no propositions are added to your information base but some are removed from it. I argue that Stephen Yablo’s recent attempt to define this removal operation as a kind of propositional subtraction fails, offer a definition of my own in terms of the part–whole (...) relations between the truthmakers of the propositions one accepts, and argue that a deontic analogue of this account solves a problem about permission posed long ago by David Lewis. (shrink)

This paper is an attempt to bring together two separated areas of research: classical mathematics and metamathematics on the one side, non-monotonic reasoning on the other. This is done by simulating nonmonotonic logic through antitonic theory extensions. In the first half, the specific extension procedure proposed here is motivated informally, partly in comparison with some well-known non-monotonic formalisms. Operators V and, more generally, U are obtained which have some plausibility when viewed as giving nonmonotonic theory extensions. In the second half, (...) these operators are treated from a mathematical and metamathematical point of view. Here an important role is played by U -closed theories and U -fixed points. The last section contains results on V-closed theories which are specific for V. (shrink)

In 2014, widespread reports in the popular media that a chatbot named Eugene Goostman had passed the Turing test became further grist for those who argue that the diversionary tactics of chatbots like Goostman and others, such as those who participate in the Loebner competition, are enabled by the open-ended dialog of the Turing test. Some claim a new kind of test of machine intelligence is needed, and one community has advanced the Winograd schema competition to address this gap. We (...) argue to the contrary that implicit in the Turing test is the cooperative challenge of using language to build a practical working understanding, necessitating a human interrogator to monitor and direct the conversation. We give examples which show that, because ambiguity in language is ubiquitous, open-ended conversation is not a flaw but rather the core challenge of the Turing test. We outline a statistical notion of practical working understanding that permits a reasonable amount of ambiguity, but nevertheless requires that ambiguity be resolved sufficiently for the agents to make progress. (shrink)

In this paper it is argued that, in order to solve the problem of iterated belief change, both the belief state and its input should be represented as epistemic entrenchment (EE) relations. A belief revision operation is constructed that updates a given EE relation to a new one in light of an evidential EE relation. It is shown that the operation in question satisfies generalized versions of the Gärdenfors revision postulates. The account offered is motivated by Spohn's ordinal conditionalization functions, (...) and can be seen as the Jeffrization of a proposal considered by Rott. (shrink)

This paper is concerned with the construction of a base contraction (revision) operation such that the theory contraction (revision) operation generated by it will be fully AGM-rational. It is shown that the theory contraction operation generated by Fuhrmann's minimal base contraction operation, even under quite strong restrictions, fails to satisfy the "supplementary postulates" of belief contraction. Finally Fuhrmann's construction is appropriately modified so as to yield the desired properties. The new construction may be described as involving a modification of safe (...) (base) contraction so as to make it maxichoice. (shrink)