Switch to: References

Add citations

You must login to add citations.
  1. Filtered Belief Revision: Syntax and Semantics.Giacomo Bonanno - 2022 - Journal of Logic, Language and Information 31 (4):645-675.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Introduction to Sten Lindström's “A semantic approach to nonmonotonic reasoning: Inference operations and choice”.Hans Rott - 2022 - Theoria 88 (3):491-493.
    Among the most important of Sten Lindström’s achievements in philosophy and logic is that he was the first researcher to realise that the theory of rational choice can be brought to bear in the domain of logic and reasoning. The new conception was that a sentence α is a consequence of a set of sentences Γ just in case α is true in all selected ("best", "most plausible") possible worlds in which all sentences in Γ are true (rather than in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295-331.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • AGM Belief Revision in Dynamic Games.Giacomo Bonanno - 2011 - In K. Apt (ed.), Proceeding of the 13th Conference on Theoretical Aspects of Rationality and Knowledge. ACM.
    Within the context of extensive-form (or dynamic) games, we use choice frames to represent the initial beliefs of a player as well as her disposition to change those beliefs when she learns that an information set of hers has been reached. As shown in [5], in order for the revision operation to be consistent with the AGM postulates [1], the player’s choice frame must be rationalizable in terms of a total pre-order on the set of histories. We consider four properties (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Strength of Desires: A Logical Approach.Didier Dubois, Emiliano Lorini & Henri Prade - 2017 - Minds and Machines 27 (1):199-231.
    The aim of this paper is to propose a formal approach to reasoning about desires, understood as logical propositions which we would be pleased to make true, also acknowledging the fact that desire is a matter of degree. It is first shown that, at the static level, desires should satisfy certain principles that differ from those to which beliefs obey. In this sense, from a static perspective, the logic of desires is different from the logic of beliefs. While the accumulation (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Belief Change in Branching Time: AGM-consistency and Iterated Revision. [REVIEW]Giacomo Bonanno - 2012 - Journal of Philosophical Logic 41 (1):201-236.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Odd Choices: On the Rationality of Some Alleged Anomalies of Decision and Inference.Hans Rott - 2011 - Topoi 30 (1):59-69.
    This paper presents a number of apparent anomalies in rational choice scenarios, and their translation into the logic of everyday reasoning. Three classes of examples that have been discussed in the context of probabilistic choice since the 1960s (by Debreu, Tversky and others) are analyzed in a non-probabilistic setting. It is shown how they can at the same time be regarded as logical problems that concern the drawing of defeasible inferences from a given information base. I argue that initial appearances (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Kripke-Lewis semantics for belief update and belief revision.Giacomo Bonanno - 2025 - Artificial Intelligence 339 (C):104259.
    Download  
     
    Export citation  
     
    Bookmark