行动语言 在计算机科学中行动action语言是用来规定状态变迁系统的语言通常用于建立世上的各种行动的效果的形式模型行动语言经常用于人工智能和机器人领域在这里它们描述行动如何影响系统的时变状态并可用于自动规划英语Automated planning and scheduling 行动语言可归入两大类行动描述语言英语Action description language和行动查询语言前者的例子包括STRIPS英语Stanford Research Institute Problem Solver PDDL英语Planning Domain Definition Language行动语言A语言B和语言C还有行动查询语言PQ和R存在一些不同的算法来转换行动语言特别是将行动语言C转换成回答集程序因为现代回答集求解器利用了布尔SAT算法来快速的查明可满足性英语satisfiability这意味着行动语言也可以受用它