An MDE Approach for Modelling and Reasoning about Multi-agent Systems
Journal article, Peer reviewed
MetadataShow full item record
Original versionRabbi, F., Lamo, Y., & Kristensen, L. M. (2017). An MDE Approach for Modelling and Reasoning About Multi-agent Systems. In Multi-Agent Systems and Agreement Technologies (pp. 49-57). 10.1007/978-3-319-59294-7_5
Epistemic logic plays an important role in artificial intelligence for reasoning about multi-agent systems. Current approaches for modelling multi-agent systems with epistemic logic use Kripke semantics where the knowledge base of an agent is represented as atomic propositions, but intelligent agents need to be equipped with formulas to derive implicit information. In this paper, we propose a metamodelling approach where agents’ state of affairs are separated in different scopes, and the knowledge base of an agent is represented by a propositional logic language restricted to Horn clauses. We propose to use a model driven approach for the diagrammatic representation of multi-agent systems knowledge (and nested knowledge). We use a message passing for updating the state of affairs of agents and use belief revision to update the knowledge base of agents.
Author's accepted manuscript (post-print). This is a post-peer-review, pre-copyedit version of an article published in Multi-Agent Systems and Agreement Technologies pp 49-57. The final authenticated version is available online at: https://doi.org/10.1007/978-3-319-59294-7_5