Composing Models.

Jan van Eijck,Floor Sietsma,Yanjing Wang
DOI: https://doi.org/10.3166/jancl.21.397-425
2011-01-01
Abstract:We propose and study a new composition operation on (epistemic) multi-agent models with different vocabularies of propositional letters. This operation allows us to compose large models by small components representing agents' partial observational information. Our investigation provides ways to decompose (locally generated) epistemic models such that the truth of certain formulas are preserved. By using the composition operation we also propose and study action model composition and action model updates on models with arbitrary vocabularies. Keywords: dynamic epistemic logicmulti-agent modelsmodel compositionagent observational poweraction model updateepistemic model checkinginterpreted systemsreduction techniques
What problem does this paper attempt to address?