Verifying heterogeneous multi-agent programs

Doan, Thu Trang and Yuan, Yao and Alechina, Natasha and Logan, Brian (2014) Verifying heterogeneous multi-agent programs. In: 13th International Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2014, 5-9 May 2014, Paris, France.

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (312kB) | Preview


We present a new approach to verifying heterogeneous multi-agent programs — multi-agent systems in which the agents are implemented in different (BDI-based) agent programming languages. Our approach is based on meta-APL, a BDI-based agent programming language that allows both an agent’s plans and its deliberation strategy to be encoded as part of the agent program. The agent programs comprising a heterogeneous multi-agent program are first translated into meta-APL, and the resulting system is then verified using the Maude term rewriting system. We prove correctness of translations of Jason and 3APL programs and deliberation strategies into meta-APL. Preliminary experimental results indicate that our approach can significantly out-perform previous approaches to verification of heterogeneous multi-agent programs.

Item Type: Conference or Workshop Item (Paper)
Additional Information: ISBN 9781450327381
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User: Alechina, Natasha
Date Deposited: 18 Sep 2015 14:01
Last Modified: 18 Oct 2017 19:03

Actions (Archive Staff Only)

Edit View Edit View