Consistency preservation and crazy formulas in BMS - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

Consistency preservation and crazy formulas in BMS

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.
Fichier principal
Vignette du fichier
JELIA2008.pdf (256.98 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

inria-00556148 , version 1 (01-09-2013)

Identifiers

  • HAL Id : inria-00556148 , version 1

Cite

Guillaume Aucher. Consistency preservation and crazy formulas in BMS. Logics in artificial intelligence, 11th european conference (JELIA), Sep 2008, Dresden, Germany. ⟨inria-00556148⟩
103 View
313 Download

Share

Gmail Facebook X LinkedIn More