This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in presence of multiple interacting agents. The paper develops a novel \emph{constraint-based} action language, \BMAP, that enables the declarative description of large classes of multi-agent and multi-valued domains. \BMAP\ supports several complex features, including combined effects, concurrency control, interacting actions, and delayed effects. The paper presents a mapping of \BMAP\ theories to CLP and it demonstrates the effectiveness of an implementation in SICStus Prolog on several benchmark problems.
Multi-agent planning in CLP
FORMISANO, Andrea;
2009
Abstract
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in presence of multiple interacting agents. The paper develops a novel \emph{constraint-based} action language, \BMAP, that enables the declarative description of large classes of multi-agent and multi-valued domains. \BMAP\ supports several complex features, including combined effects, concurrency control, interacting actions, and delayed effects. The paper presents a mapping of \BMAP\ theories to CLP and it demonstrates the effectiveness of an implementation in SICStus Prolog on several benchmark problems.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
