We explore the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning domains in presence of multiple interacting agents. We develop a novel constraint-based action language, $\mathcal{B}^{\sf MAP}$, that enables the declarative description of large classes of multi-agent and multi-valued domains. $\mathcal{B}^{\sf MAP}$ supports several complex features, including combined effects, concurrency constraint, interacting actions, and delayed effects.
Representing Multi-agent Planning in CLP
FORMISANO, Andrea;
2009
Abstract
We explore the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning domains in presence of multiple interacting agents. We develop a novel constraint-based action language, $\mathcal{B}^{\sf MAP}$, that enables the declarative description of large classes of multi-agent and multi-valued domains. $\mathcal{B}^{\sf MAP}$ supports several complex features, including combined effects, concurrency constraint, interacting actions, and delayed effects.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
