CLP（FD）中的多值动作语言
Multi-valued Action Languages in CLP(FD)
摘要：
行动描述语言，如A和B，是形式化规划域和规划问题实例的表达工具。本文首先提出了一种方法来编码一个动作语言（条件效应和静态因果律），B的一个轻微的变化，使用有限域上的约束逻辑编程。然后将该方法推广到将约束的使用提高到动作语言本身的水平。一个原型实现已经开发，并提出和讨论的初步结果。逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
英文摘要：
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)
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
