Consistency Preservation and Crazy Formulas in BMS

Authors:
Guillaume Aucher
Affiliations:
University of Otago (NZ) - Université Paul Sabatier (F), IRIT, Toulouse cedex 9 (F), 31062
Venue:
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Year:
2008

Citing 2
Cited 0

Modal logic

Modal logic
A combined system for update logic and belief revision

PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We provide conditions under which seriality is preserved during an update in the BMS framework. We consider not only whether the entire updated model is serial but also whether its generated submodels are serial. We also introduce the notion of crazy formulas which are formulas such that after being publicly announced at least one of the agents' beliefs become inconsistent.