在计算机科学中,行动(action)语言是用来规定状态变迁系统的语言,通常用于创建世上的各种行动的效果的形式模型。行动语言经常用于人工智能和机器人领域,在这里它们描述行动如何影响系统的时变状态,并可用于自动规划(英语: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转换成回答集程序。因为现代回答集求解器利用了布尔SAT算法来快速的查明可满足性(英语:satisfiability),这意味着行动语言也可以受用它。