loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Jan Jakubův ; Jan Tožička and Antonín Komenda

Affiliation: Czech Technical University, Czech Republic

Keyword(s): Multiagent Planning, Action Landmarks, Plan Verification, Process Calculi, Type Systems, Delete Relaxation.

Related Ontology Subjects/Areas/Topics: Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Distributed and Mobile Software Systems ; Distributed Problem Solving ; Enterprise Information Systems ; Formal Methods ; Informatics in Control, Automation and Robotics ; Intelligent Control Systems and Optimization ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Multi-Agent Systems ; Planning and Scheduling ; Simulation and Modeling ; Software Engineering ; Symbolic Systems ; Task Planning and Execution

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.83.176.101

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 1: ICAART; ISBN 978-989-758-074-1; ISSN 2184-433X, SciTePress, pages 173-182. DOI: 10.5220/0005222101730182

@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 1: ICAART},
year={2015},
pages={173-182},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005222101730182},
isbn={978-989-758-074-1},
issn={2184-433X},
}

TY - CONF

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