Giacomo Bonanno

When we make a prediction we select, among the conceivable future descriptions of the world, those that appear to us to be most plausible. We capture this by means of two binary relations, ≺c and ≺p: if t1 and t2 are points in time, we interpret t1 ≺c t2 as sayingthat t2 is in the conceivable future of t1, while t1 ≺p t2 is interpreted to mean that t2 isin the predicted future of t1. Within a branching‐time framework we propose the following notion of “consistency of prediction”. Suppose that at t1 some future moment t2 is predicted to occur, then (a) every moment t on the unique path from t1 to t2 should also be predicted at t1 and (b) the prediction of t2 should continue to hold at every such t. A sound and complete axiomatization is provided.

We provide a new characterization of both belief update and belief revision in terms of a Kripke-Lewis semantics. We consider frames consisting of a set of states, a Kripke belief relation and a Lewis selection function. Adding a valuation to a frame yields a model. Given a model and a state, we identify the initial belief set K with the set of formulas that are believed at that state and we identify either the updated belief set or the revised belief set, prompted by the input represented by formula A, as the set of formulas that are the consequent of conditionals that (1) are believed at that state and (2) have A as antecedent. We show that this class of models characterizes both the Katsuno-Mendelzon (KM) belief update functions and the AGM belief revision functions, in the following sense: (1) each model gives rise to a partial belief function that can be completed into a full KM/AGM update/revision function, and (2) for every KM/AGM update/revision function there is a model whose associated belief function coincides with it. The difference between update and revision can be reduced to two semantic properties that appear in a stronger form in revision relative to update, thus confirming the finding by Peppas et al. (1996) that, "for a fixed theory K, revising K is much the same as updating K". It is argued that the proposed semantic characterization brings into question the common interpretation of belief revision and update as change in beliefs in response to new information.

The paradigm for modelling decision-making under uncertainty has undoubtedly been the theory of Expected Utility, which was first developed by von Neumann and Morgenstern (1944) and later extended by Savage (1954) to the case of subjective uncertainty. The inadequacy of the theory of Subjective Expected Utility (SEU) as a descriptive theory was soon pointed out in experiments, most famously by Allais (1953) and Ellsberg (1961). The observed departures from SEU noticed by Allais and Ellsberg became known as “paradoxes”. The Ellsberg paradox gave rise, several years later, to a new literature on decision-making under ambiguity. The theoretical side of this literature was pioneered by Schmeidler (1989). This literature views the departures from SEU in situations similar to those discussed by Ellsberg as rational responses to ambiguity. The rationality is “recovered” by relaxing Savage's Sure-Thing principle and adding an ambiguity-aversion postulate. Thus the ambiguity-aversion literature takes a normative point of view and does consider Ellsberg-type choices as behavioural “anomalies”

The contributions to the Special Issue on Multiple Belief Change, Iterated Belief Change and Preference Aggregation are divided into three parts. Four contributions are grouped under the heading "multiple belief change" (Part I, with authors M. Falappa, E. Fermé, G. Kern-Isberner, P. Peppas, M. Reis, and G. Simari), five contributions under the heading "iterated belief change" (Part II, with authors G. Bonanno, S.O. Hansson, A. Nayak, M. Orgun, R. Ramachandran, H. Rott, and E. Weydert). These papers do not only pick up the particular questions raised, but also extend and modify the framework of Alchourrón, Gärdenfors and Makinson. Part III deals with preference aggregation and consists of one contribution (by F. Herzberg and D. Eckert).

In an earlier paper [Rational choice and AGM belief revision, _Artificial Intelligence_, 2009] a correspondence was established between the set-theoretic structures of revealed-preference theory (developed in economics) and the syntactic belief revision functions of the AGM theory (developed in philosophy and computer science). In this paper we extend the re-interpretation of those structures in terms of one-shot belief revision by relating them to the trichotomous attitude towards information studied in Garapa (Rev Symb Logic, 1–21, 2020) where information may be either (1) fully accepted or (2) rejected or (3) taken seriously but not fully accepted. We begin by introducing the syntactic notion of _filtered belief revision_ and providing a characterization of it in terms of a mixture of both AGM revision and contraction. We then establish a correspondence between the proposed notion of filtered belief revision and the above-mentioned set-theoretic structures, interpreted as semantic _partial_ belief revision structures. We also provide an interpretation of the trichotomous attitude towards information in terms of the degree of implausibility of the information.

There is an ongoing debate in the philosophical literature whether the conditionals that are central to deliberation are subjunctive or indicative conditionals and, if the latter, what semantics of the indicative conditional is compatible with the role that conditionals play in deliberation. We propose a possible-world semantics where conditionals of the form “if I take action _a_ the outcome will be _x_” are interpreted as material conditionals. The proposed framework is illustrated with familiar examples and both qualitative and probabilistic beliefs are considered. Issues such as common-cause cases and ‘Egan-style’ cases are discussed.

We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four interaction properties between certainty and plausibility and study how these properties translate into properties of belief. We then prove that all the logics considered are minimal logics for the highlighted theorems. We also consider a number of possible interpretations of plausibility, identify the corresponding logics and show that some notions considered in the literature are special cases of our framework.

This is a two-volume set that provides an introduction to non-cooperative Game Theory. Volume 1 covers the basic concepts, while Volume 2 is devoted to advanced topics. The book is richly illustrated with approximately 400 figures. It is suitable for both self-study and as the basis for an undergraduate course in game theory as well as a first-year graduate-level class. It is written to be accessible to anybody with high-school level knowledge of mathematics. At the end of each chapter there is a collection of exercises accompanied by detailed answers. The book contains approximately 180 exercises.

This text provides an introduction to the topic of rational decision making as well as a brief overview of the most common biases in judgment and decision making. "Decision Making" is relatively short (300 pages) and richly illustrated with approximately 100 figures. It is suitable for both self-study and as the basis for an upper-division undergraduate course in judgment and decision making. The book is written to be accessible to anybody with minimum knowledge of mathematics (high-school level algebra and some elementary notions of set theory and probability, which are reviewed in the book). At the end of each chapter there is a collection of exercises that are grouped according to that chapter’s sections. Complete and detailed answers for each exercise are given in the last section of each chapter. The book contains a total of 121 fully solved exercises.

The notion of Nash equilibrium in static oligopoly games is based on the assumption that each firm knows its entire demand curve (and, therefore, its entire profit function). It is much more likely, however, that firms only have some idea of the outcome of small price variations within some relatively small interval of prices. This is because firms can only learn their demand functions through price experiments and if they are risk-averse and/or have a low discount factor, they will be unwilling to engage in extensive price experiments involving large variations in price. We can therefore expect firms to experiment through small price variations and stop when they reach a price such that no small deviation..

Since Lewis’s (1969) and Aumann’s (1976) pioneering contributions, the concepts of common knowledge and common belief have been discussed extensively in the literature, both syntactically and semantically1. At the individual level the difference between knowledge and belief is usually identified with the presence or absence of the Truth Axiom ( iA → A), which is interpreted as ”if individual i believes that A, then A is true”. In such a case the individual is often said to know that A (thus it is possible for an individual to believe a false proposition but she cannot know a false proposition). Going to the interpersonal level, the literature then distinguishes between common knowledge and common belief on the basis of whether or not the Truth Axiom is postulated at the individual level. However, while at the individual level the Truth Axiom captures merely a relationship between the individuals’ beliefs and the external world, at the interpersonal level it has very strong implications. For example, the following is a consequence of the Truth Axiom: i jA → iA, that is, if individual i believes that individual j believes that A, then individual i herself believes that A. Thus, in contrast to other axioms, the Truth Axiom does not merely reflect individual agents’ “logic of belief”. (The reason why the Truth Axiom is much stronger in an interpersonal context than appears at first glance is that it amounts to assuming that agreement of any individual’s belief with the truth is common knowledge). Given its logical force, it is not surprising to find that it has strong implications for the logic of common knowledge. In particular, if each individual’s beliefs satisfy the strongest logic of knowledge (namely S5 or KT5), the associated common knowledge operator satisfies this logic too. Such is not the case for belief: bereft of the Truth Axiom, even the strongest logic for individual belief (KD45) is insufficient to ensure the satisfaction of the “Negative Introspection” axiom for common belief: ¬ ∗A → ∗¬ ∗A (where ∗ denotes the common belief operator)..

Making a prediction is essentially expressing a belief about the future. It is therefore natural to interpret later predictions as revisions of earlier ones and to investigate the notion of belief revision in this context. We study, both semantically and syntactically, the following principle of minimum revision of prediction: “as long as there are no surprises, that is, as long as what actually occurs had been predicted to occur, then everything which was predicted in the past, if still possible, should continue to be predicted, and no new predictions should be added.”

Counterexamples to two results by Stalnaker (Theory and Decision, 1994) are given and a corrected version of one of the two results is proved. Stalnaker's proposed results are: (1) if at the true state of an epistemic model of a perfect information game there is common belief in the rationality of every player and common belief that no player has false beliefs (he calls this joint condition ‘strong rationalizability’), then the true (or actual) strategy profile is path equivalent to a Nash equilibrium; (2) in a normal-form game a strategy profile is strongly rationalizable if and only if it belongs to C8, the set of profiles that survive the iterative deletion of inferior profiles.

An information completion of an extensive game is obtained by extending the information partition of every player from the set of her decision nodes to the set of all nodes. The extended partition satisfies Memory of Past Knowledge (MPK) if at any node a player remembers what she knew at earlier nodes. It is shown that MPK can be satisfied in a game if and only if the game is von Neumann (vN) and satisfies memory at decision nodes (the restriction of MPK to a player's own decision nodes). A game is vN if any two decision nodes that belong to the same information set of a player have the same number of predecessors. By providing an axiom for MPK we also obtain a syntactic characterization of the said class of vN games.

This paper suggests a way of formalizing the amount of information that can be conveyed to each player along every possible play of an extensive game. The information given to each player i when the play of the game reaches node x is expressed as a subset of the set of terminal nodes. Two definitions are put forward, one expressing the minimum amount of information and the other the maximum amount of information that can be conveyed without violating the constraint represented by the information sets. Our definitions provide intuitive characterizations of such notions as perfect recall, perfect information and simultanetty.

Two questions are examined within a model of vertical differentiation. The first is whether cost-reducing innovations are more likely to be observed in regimes of more intense or less intense competition. Following Delbono and Denicolo (1990) and Bester and Petrakis (1993) we compare two identical industries that differ only in the regime of competition: Bertrand versus Cournot. Since Cournot competition leads to lower output and higher prices, it can be thought of as a regime of less intense competition. We find that the increase in profits associated with any given cost reduction is higher in the case of Cournot competition than in the case of Bertrand competition. Thus there are cost-reducing innovations that would be pursued under Cournot competition but not under Bertrand competition.

We study belief change in the branching-time structures introduced in Bonanno (Artif Intell 171:144–160, 2007 ). First, we identify a property of branching-time frames that is equivalent (when the set of states is finite) to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision function that satisfies the AGM postulates. Second, we provide a set of modal axioms that characterize the class of AGM-consistent frames within the modal logic introduced in Bonanno (Artif Intell 171:144–160, 2007 ). Third, we introduce a generalization of AGM belief revision functions that allows a clear statement of principles of iterated belief revision and discuss iterated revision both semantically and syntactically.

In her book Rationality and coordination (Cambridge University Press, 1994) Cristina Bicchieri brings together (and adds to) her own contributions to game theory and the philosophy of economics published in various journals in the period 1987-1992. The book, however, is not a collection of separate articles but rather a homogeneous unit organized around some central themes in the foundations of non-cooperative game theory. Bicchieri’s exposition is admirably clear and well organized. Somebody with a good knowledge of game theory would probably benefit mainly from reading the second part of Chapter 3 (from Section 3.6 onward) and Chapter 4. On the other hand, those who have had little exposure to game theory, would certainly benefit from reading the entire book. I shall begin with an overview of the content of the book and then offer some critical comments on what I consider to be the most important part of it