Verifying heterogeneous multi-agent programs

Doan, Thu Trang; Yuan, Yao; Alechina, Natasha; Logan, Brian

Abstract

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.

Citation

Doan, T. T., Yuan, Y., Alechina, N., & Logan, B. (2014). Verifying heterogeneous multi-agent programs. In AAMAS '14: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems (149-156). https://doi.org/10.5555/2615731.2615758

• Conference Name: 13th International Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2014
• Conference Location: Paris, France
• Start Date: May 5, 2014
• End Date: May 9, 2014
• Online Publication Date: May 5, 2014
• Publication Date: May 5, 2014
• Deposit Date: Sep 18, 2015
• Publicly Available Date: Sep 21, 2015
• Publisher: Association for Computing Machinery (ACM)
• Peer Reviewed: Peer Reviewed
• Volume: 2014-May
• Pages: 149-156
• Book Title: AAMAS '14: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems
• ISBN: 9781450327381
• DOI: https://doi.org/10.5555/2615731.2615758
• Public URL: https://nottingham-repository.worktribe.com/output/998324
• Publisher URL: https://dl.acm.org/doi/10.5555/2615731.2615758