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.
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/inria-00556148
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 1, 2013 - 2:33:32 AM
Last modification on : Thursday, October 17, 2019 - 8:57:01 AM
Long-term archiving on : Monday, December 2, 2013 - 8:55:07 AM

File

JELIA2008.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00556148, version 1

Citation

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

Share

Metrics

Record views

156

Files downloads

900