Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Reads0
Chats0
TLDR
Two extensions of a modal logic that, besides the next-time temporal operator, contains a belief operator and an information operator are proposed that provide an axiomatic characterization of the first six postulates of the AGM theory of belief revision.About:
This article is published in Artificial Intelligence.The article was published on 2007-02-01 and is currently open access. It has received 59 citations till now. The article focuses on the topics: Belief revision & Multimodal logic.read more
Citations
More filters
Book
Logical Dynamics of Information and Interaction
TL;DR: A new view of logic as a theory of information-driven agency and intelligent interaction between many agents is developed, unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory.
Journal ArticleDOI
AGM 25 Years : Twenty-Five Years of Research in Belief Change
Eduardo Fermé,Sven Ove Hansson +1 more
TL;DR: 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.
Twenty-Five Years of Research in Belief Change
Eduardo Fermé,Sven Ove Hansson +1 more
TL;DR: Alchourron as discussed by the authors summarized the first twenty-five years of the development of the logic of theory change and its application in belief states and databases, including extended representations of the belief states, iterated change operators not included in the original framework, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the AGM model.
Book ChapterDOI
In praise of strategies
TL;DR: The need for explicit logics that define agents' strategies, as the drivers of interaction in games, is highlighted, as well as recent results, and new open problems are raised.
References
More filters
Lecture Notes in Artificial Intelligence
P. Brezillon,P. Bouquet +1 more
TL;DR: The topics in LNAI include automated reasoning, automated programming, algorithms, knowledge representation, agent-based systems, intelligent systems, expert systems, machine learning, natural-language processing, machine vision, robotics, search systems, knowledge discovery, data mining, and related programming languages.
Journal ArticleDOI
On the logic of theory change: Partial meet contraction and revision functions
TL;DR: In this article, the authors extend earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising it to introduce a new proposition.
Book
Modal Logic: An Introduction
TL;DR: This chapter discusses standard models for modal logics, classical systems of modal logic, and Determination and decidability for classical systems.