Multivalued action languages with constraints in CLP(FD)
Action description languages, such as and ℬ (Gelfond and Lifschitz, Electronic Transactions on Artificial Intelligence , 1998, vol. 2, pp. 193—210), are expressive instruments introduced for formalizing planning domains and planning problem instances. The paper starts by proposing a methodology to e...
Saved in:
| Published in: | Theory and practice of logic programming Vol. 10; no. 2; pp. 167 - 235 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
01.03.2010
|
| ISSN: | 1471-0684, 1475-3081 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Action description languages, such as
and ℬ (Gelfond and Lifschitz,
Electronic Transactions on Artificial Intelligence
, 1998, vol. 2, pp. 193—210), are expressive instruments introduced for formalizing planning domains and planning problem instances. The paper starts by proposing a methodology to encode an action language (with conditional effects and static causal laws), a slight variation of ℬ, using
Constraint Logic Programming over Finite Domains
. The approach is then generalized to raise the use of constraints to the level of the action language itself. A prototype implementation has been developed, and the preliminary results are presented and discussed. |
|---|---|
| Bibliography: | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-2 content type line 23 |
| ISSN: | 1471-0684 1475-3081 |
| DOI: | 10.1017/S1471068410000013 |