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