行动语言

在计算机科学中，行动（action）语言是用来规定状态变迁系统的语言，通常用于建立世上的各种行动的效果的形式模型^[1]。行动语言经常用于人工智能和机器人领域，在这里它们描述行动如何影响系统的时变状态，并可用于自动规划（英语：Automated planning and scheduling）。

行动语言可归入两大类：行动描述语言（英语：Action description language）和行动查询语言。前者的例子包括STRIPS（英语：Stanford Research Institute Problem Solver）、 PDDL（英语：Planning Domain Definition Language）、行动语言A、语言B和语言C。还有行动查询语言P、Q和R。存在一些不同的算法来转换行动语言，特别是将行动语言C转换成回答集程序^[2][3]。因为现代回答集求解器利用了布尔SAT算法来快速的查明可满足性（英语：satisfiability），这意味着行动语言也可以受用它。