Skip to main content

Research Repository

See what's under the surface

Advanced Search

Verifying heterogeneous multi-agent programs

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

Authors

Thu Trang Doan

Yao Yuan yvy@cs.nott.ac.uk

Natasha Alechina nza@cs.nott.ac.uk

Brian Logan bsl@cs.nott.ac.uk



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.

Publication Date Jan 1, 2014
Peer Reviewed Peer Reviewed
APA6 Citation Doan, T. T., Yuan, Y., Alechina, N., & Logan, B. (2014). Verifying heterogeneous multi-agent programs
Publisher URL http://dl.acm.org/citation.cfm?id=2615758
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf
Additional Information ISBN 9781450327381

Files

eprints-doan14.pdf (313 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations

;