Verifying heterogeneous multi-agent programs
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 it...
| Main Authors: | , , , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2014
|
| Online Access: | https://eprints.nottingham.ac.uk/30182/ |
| _version_ | 1848793937610801152 |
|---|---|
| author | Doan, Thu Trang Yuan, Yao Alechina, Natasha Logan, Brian |
| author_facet | Doan, Thu Trang Yuan, Yao Alechina, Natasha Logan, Brian |
| author_sort | Doan, Thu Trang |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T19:08:14Z |
| format | Conference or Workshop Item |
| id | nottingham-30182 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:08:14Z |
| publishDate | 2014 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-301822020-05-04T20:16:28Z https://eprints.nottingham.ac.uk/30182/ Verifying heterogeneous multi-agent programs Doan, Thu Trang Yuan, Yao Alechina, Natasha Logan, Brian 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. 2014 Conference or Workshop Item PeerReviewed Doan, Thu Trang, Yuan, Yao, 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. http://dl.acm.org/citation.cfm?id=2615758 |
| spellingShingle | Doan, Thu Trang Yuan, Yao Alechina, Natasha Logan, Brian Verifying heterogeneous multi-agent programs |
| title | Verifying heterogeneous multi-agent programs |
| title_full | Verifying heterogeneous multi-agent programs |
| title_fullStr | Verifying heterogeneous multi-agent programs |
| title_full_unstemmed | Verifying heterogeneous multi-agent programs |
| title_short | Verifying heterogeneous multi-agent programs |
| title_sort | verifying heterogeneous multi-agent programs |
| url | https://eprints.nottingham.ac.uk/30182/ https://eprints.nottingham.ac.uk/30182/ |