行動語言

在電腦科學中，行動（action）語言是用來規定狀態變遷系統的語言，通常用於建立世上的各種行動的效果的形式模型。行動語言經常用於人工智能和機械人領域，在這裏它們描述行動如何影響系統的時變狀態，並可用於自動規劃。

行動語言可歸入兩大類：行動描述語言和行動查詢語言。前者的例子包括STRIPS、 PDDL、行動語言A、語言B和語言C。還有行動查詢語言P、Q和R。存在一些不同的演算法來轉換行動語言，特別是將行動語言C轉換成回答集程式。因為現代回答集求解器利用了布林SAT演算法來快速的查明可滿足性，這意味着行動語言也可以受用它。