dc.contributor.author | Rabbi, Fazle | |
dc.contributor.author | Lamo, Yngve | |
dc.contributor.author | Kristensen, Lars Michael | |
dc.date.accessioned | 2019-04-04T13:53:01Z | |
dc.date.available | 2019-04-04T13:53:01Z | |
dc.date.created | 2017-01-10T23:11:26Z | |
dc.date.issued | 2017 | |
dc.identifier.citation | Rabbi, 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). | nb_NO |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://hdl.handle.net/11250/2593373 | |
dc.description | 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 | nb_NO |
dc.description.abstract | 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. | nb_NO |
dc.language.iso | eng | nb_NO |
dc.publisher | Springer | nb_NO |
dc.subject | model-driven engineering | nb_NO |
dc.subject | epistemic logic | nb_NO |
dc.subject | modal logic | nb_NO |
dc.subject | knowledge base | nb_NO |
dc.title | An MDE Approach for Modelling and Reasoning about Multi-agent Systems | nb_NO |
dc.type | Journal article | nb_NO |
dc.type | Peer reviewed | nb_NO |
dc.description.version | publishedVersion | nb_NO |
dc.subject.nsi | VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420 | nb_NO |
dc.source.pagenumber | 49-57 | nb_NO |
dc.source.volume | 10207 LNAI | nb_NO |
dc.source.journal | Lecture Notes in Computer Science | nb_NO |
dc.identifier.doi | 10.1007/978-3-319-59294-7_5 | |
dc.identifier.cristin | 1424587 | |
cristin.unitcode | 203,2,30,0 | |
cristin.unitname | Institutt for data- og realfag - Bergen | |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |