Verifying Heterogeneous Multi-Agent Programs

Trang Doan; Yuan Yao; Natasha Alechina; Brian Logan

Verifying Heterogeneous Multi-Agent Programs

Trang Doan, Yuan Yao, Natasha Alechina, Brian Logan

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

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 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	France
City	Paris
Period	5/05/14 → 9/05/14

Keywords

Agent programming languages
Agent programs
Verification

Access to Document

http://www.ifaamas.org/Proceedings/aamas2014/

Fingerprint Dive into the research topics of 'Verifying Heterogeneous Multi-Agent Programs'. Together they form a unique fingerprint.

Cite this

Verifying Heterogeneous Multi-Agent Programs. / Doan, Trang; Yao, Yuan; Alechina, Natasha; Logan, Brian.

The 13th International Conference on Autonomous Agents and Multiagent Systems : AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems, 2014, 2014. p. 149-156.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

@inproceedings{269f4c124d2742778c2c427c8cd422b1,

title = "Verifying Heterogeneous Multi-Agent Programs",

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{\textquoteright}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.",

keywords = "Agent programming languages, Agent programs, Verification",

author = "Trang Doan and Yuan Yao and Natasha Alechina and Brian Logan",

year = "2014",

language = "English",

pages = "149--156",

booktitle = "The 13th International Conference on Autonomous Agents and Multiagent Systems",

publisher = "International Foundation for Autonomous Agents and Multiagent Systems, 2014",

address = "United States",

note = "International Conference on Autonomous Agents & Multiagent Systems, AAMAS '14 ; Conference date: 05-05-2014 Through 09-05-2014",

}

TY - GEN

T1 - Verifying Heterogeneous Multi-Agent Programs

AU - Doan, Trang

AU - Yao, Yuan

AU - Alechina, Natasha

AU - Logan, Brian

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Agent programming languages

KW - Agent programs

KW - Verification

UR - http://www.ifaamas.org/Proceedings/aamas2014/

M3 - Conference proceeding

SP - 149

EP - 156

BT - The 13th International Conference on Autonomous Agents and Multiagent Systems

PB - International Foundation for Autonomous Agents and Multiagent Systems, 2014

T2 - International Conference on Autonomous Agents & Multiagent Systems

Y2 - 5 May 2014 through 9 May 2014

ER -