Author:Booth, R; Meyer, TDate:Aug 2011In this paper the authors present a brief overview of belief change, a research area concerned with the question of how a rational agent ought to change its mind in the face of new, possibly conflicting, information. The authors limit themselves ...Read more
Author:Booth, R; Chopra, S; Meyer, T; Ghose, ADate:Nov 2010Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a new epistemic input. While most such possible world semantics ...Read more
Author:Booth, R; Meyer, TDate:Aug 2010In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one in which several agents pool their beliefs together to form a ...Read more
Author:Booth, R; Meyer, T; Sombattheera, CDate:May 2012Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering ...Read more
Author:Booth, R; Meyer, TDate:Feb 2011Most approaches to iterated belief revision are accompanied by some motivation for the use of the proposed revision operator (or family of operators), and typically encode enough information in the epistemic state of an agent for uniquely ...Read more
Author:Booth, R; Meyer, T; Varzinczak, IDate:Sep 2012We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) ...Read more