动作语言

在计算机科学中，动作语言是用于指定状态转换系统的语言，通常用于创建动作对世界的影响的形式模型。动作语言通常在人工智能和机器人技术领域中使用，它们描述动作随时间的变化如何影响系统状态，并且可以用于自动化计划。

动作语言分为两类：

动作描述语言和动作查询语言。前者的示例包括STRIPS，PDDL，语言A（STRIPS的概括； Pednault的ADL的命题部分），语言B（A的扩展，添加了间接效果，区分了静态和动态定律）和语言C（添加了间接效果）。同样，并且不假定每种流利都自动为“惯性”）。还有动作查询语言P、Q和R。存在几种不同的算法，用于转换动作语言（尤其是动作语言C）以回答集合程序。由于现代的答案集求解器利用布尔SAT算法可以非常迅速地确定可满足性，因此这意味着动作语言也可以享受布尔SAT求解领域的进步。

所有动作语言都补充了状态转换系统的定义，其中包含一组F的流利，一组V的流利的值以及一个将S × F映射到V的函数，其中S是状态转换系统的状态集。