Multiagent Planning by Plan Set Intersection and Plan Verification

Jan Jakubův, Jan Tožička, Antonín Komenda

2015

Abstract

Multiagent planning is a coordination technique used for deliberative acting of a team of agents. One of vital planning techniques uses declarative description of agents’ plans based on Finite State Machines and their later coordination by intersection of such machines with successive verification of the resulting joint plans. In this work, we firstly propose to use projections of agents’ actions directly for multiagent planning based on iterative building of a coordinated multiagent plan. Secondly, we describe integration of the static analysis provided by process calculi type systems for approximate verification of exchanged local plans. Finally, we compare our approach with current state-of-the-art planner on an extensive benchmark set.

Paper Citation

in Harvard Style

Jakubův J., Tožička J. and Komenda A. (2015). Multiagent Planning by Plan Set Intersection and Plan Verification . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 173-182. DOI: 10.5220/0005222101730182

in Bibtex Style

@conference{icaart15,
author={Jan Jakubův and Jan Tožička and Antonín Komenda},
title={Multiagent Planning by Plan Set Intersection and Plan Verification},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2015},
pages={173-182},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005222101730182},
isbn={978-989-758-074-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Multiagent Planning by Plan Set Intersection and Plan Verification
SN - 978-989-758-074-1
AU - Jakubův J.
AU - Tožička J.
AU - Komenda A.
PY - 2015
SP - 173
EP - 182
DO - 10.5220/0005222101730182