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.
verification of heterogeneous multi-agent programs.
Original language | English |
---|---|
Title of host publication | The 13th International Conference on Autonomous Agents and Multiagent Systems |
Subtitle of host publication | AAMAS 2014 |
Publisher | International Foundation for Autonomous Agents and Multiagent Systems, 2014 |
Pages | 149-156 |
Number of pages | 8 |
ISBN (Electronic) | 978-1-4503-2738-1 |
Publication status | Published - 2014 |
Externally published | Yes |
Event | International Conference on Autonomous Agents & Multiagent Systems - Paris, France Duration: 5 May 2014 → 9 May 2014 |
Conference
Conference | International Conference on Autonomous Agents & Multiagent Systems |
---|---|
Abbreviated title | AAMAS '14 |
Country/Territory | France |
City | Paris |
Period | 5/05/14 → 9/05/14 |
Keywords
- Agent programming languages
- Agent programs
- Verification