Multi-valued Action Languages in CLP(FD)
Artificial Intelligence
2009-12-16 v1 Logic in Computer Science
Programming Languages
Abstract
Action description languages, such as A and B, 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 B, 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. To appear in Theory and Practice of Logic Programming (TPLP)
Cite
@article{arxiv.0912.2846,
title = {Multi-valued Action Languages in CLP(FD)},
author = {Agostino Dovier and Andrea Formisano and Enrico Pontelli},
journal= {arXiv preprint arXiv:0912.2846},
year = {2009}
}