Similar Search Results

Belief change in branching time: AGM-consistency and iterated revision

Bonanno, Giacomo - Economics Department, University of California-Davis - 2010

We study belief change branching-time structures. First, we identify a property of branching-time frames that is equivalent 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...

Persistent link: https://www.econbiz.de/10008620361

Temporal interaction of information and belief

Bonanno, Giacomo - Economics Department, University of California-Davis - 2005

The temporal updating of an agent’s beliefs in response to a flow of information is modeled in a simple modal logic … that, for every date t , contains a normal belief operator B_t and a non-normal information operator I_t which is analogous …

Persistent link: https://www.econbiz.de/10008620408

Temporal Belief Revision Rationalized by Plausibility Orderings

Bonanno, Giacomo - Economics Department, University of California-Davis - 2007

Within the class of structures introduced in [G. Bonanno, Axiomatic characterization of the AGM theory of belief revision in a temporal logic, Artificial Intelligence, 171 (2007), 144-160] we consider the subclass satisfying the property that, for every state-instant pair (omega,t), there is an...

Persistent link: https://www.econbiz.de/10008620457

Axiomatization of the AGM theory of belief revision in a temporal logic

Bonanno, Giacomo - Economics Department, University of California-Davis - 2006

It is natural to think of belief revision as the interaction of belief and information over time. Thus branching …, besides the ""next-time"" temporal operator, contains a belief operator and an information operator. The first logic is shown …

Persistent link: https://www.econbiz.de/10008620515

Belief change in branching time: AGM-consistency and iterated revision

Bonanno, Giacomo - 2010

We study belief change in the branching-time structures introduced in [4]. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary...

Persistent link: https://www.econbiz.de/10010282096

Filtered belief revision and generalized choice structures

Bonanno, Giacomo - 2020

generalized notion of) choice structure in terms of belief revision by adding: (1) the possibility that an item of ''information …'' might be discarded as not credible (thus dropping the AGM success axiom) and (2) the possibility that an item of information …, while not accepted as fully credible, may still be ''taken seriously'' (we call such items of information ''allowable''). We …

Persistent link: https://www.econbiz.de/10012655885

A Kripke-Stalnaker-Lewis semantics for AGM belief revision

Bonanno, Giacomo - 2023

We provide a new characterization of AGM belief revision in terms of a Kripke-Stalnaker-Lewis semantics. We consider pointed frames consisting of a set of states, a distinguished state interpreted as the actual state, a Kripke belief relation and a Stalnaker-Lewis selection function. Adding a...

Persistent link: https://www.econbiz.de/10014474493

A Kripke-Lewis semantics for belief update and belief revision

Bonanno, Giacomo - 2023

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...

Persistent link: https://www.econbiz.de/10014474494

Rational beliefs in extensive games

Bonanno, Giacomo - In: Theory and decision : an international journal for … 33 (1992) 2, pp. 153-176

Persistent link: https://www.econbiz.de/10001132676

Filtered belief revision and generalized choice structures

Bonanno, Giacomo - 2020

generalized notion of) choice structure in terms of belief revision by adding: (1) the possibility that an item of "information …" might be discarded as not credible (thus dropping theAGMsuccess axiom) and (2) the possibility that an item of information …, while not accepted as fully credible, may still be "taken seriously" (we call such items of information "allowable"). We …

Persistent link: https://www.econbiz.de/10012169380