Bibliographic Details
| Title: |
An Investigation of Multi-Agent Planning in CLP. |
| Authors: |
Dovier, Agostino1, Formisano, Andrea2, Pontelli, Enrico3 |
| Source: |
Fundamenta Informaticae. 2011, Vol. 105 Issue 1-2, p79-103. 25p. |
| Subjects: |
Multiagent systems, Logic programming languages, Constraint satisfaction, Intelligent agents, Programming languages, MAP (Computer program language) |
| Abstract: |
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper develops a novel constraint-based action language, ℬMAP, that enables the declarative description of large classes of multi-agent and multi-valued domains. ℬMAP supports several complex features, including combined effects of concurrent and interacting actions, concurrency control, and delayed effects. The paper presents a mapping of ℬMAP theories to CLP and it demonstrates the effectiveness of an implementation in SICStus Prolog on several benchmark problems. The effort is an evolution of previous research on using CLP for single-agent domains, demonstrating the flexibility of CLP technology to handle the more complex issues of multi-agency and concurrency. [ABSTRACT FROM AUTHOR] |
|
Copyright of Fundamenta Informaticae is the property of Polskie Towarzystwo Matematyczne and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
