行動語言

在電腦科學中，行動（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），這意味著行動語言也可以受用它。