Verifying heterogeneous multi-agent programs

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

Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

13 Citations (Scopus)

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.

Original languageEnglish
Title of host publication13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages149-156
Number of pages8
ISBN (Electronic)9781634391313
Publication statusPublished - 2014
Event13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014 - Paris, France
Duration: 5 May 20149 May 2014

Publication series

Name13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014
Volume1

Conference

Conference13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014
Country/TerritoryFrance
CityParis
Period5/05/149/05/14

Keywords

  • Agent programming languages
  • Agent programs
  • Verification

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Verifying heterogeneous multi-agent programs'. Together they form a unique fingerprint.

Cite this