Multivalued Action Languages with Constraints in CLP(FD)

Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. 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 lift 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.

• Type: Conference
• Year: 2007
• Where: ICLP
• Authors: Agostino Dovier, Andrea Formisano, Enrico Pontelli
• Keywords: Action Description Languages, Action Language, ICLP 2007, Programming Languages, Static Causal Laws