動作語言

在計算機科學中，動作語言是用于指定狀態轉換系統的語言，通常用于創建動作對世界的影響的形式模型。動作語言通常在人工智能和機器人技術領域中使用，它們描述動作隨時間的變化如何影響系統狀態，并且可以用于自動化計劃。

動作語言分為兩類：

動作描述語言和動作查詢語言。前者的示例包括STRIPS，PDDL，語言A（STRIPS的概括； PeDNAult的ADL的命題部分），語言B（A的擴展，添加了間接效果，區分了靜態和動態定律）和語言C（添加了間接效果）。同樣，并且不假定每種流利都自動為“慣性”）。還有動作查詢語言P、Q和R。存在幾種不同的算法，用于轉換動作語言（尤其是動作語言C）以回答集合程序。由于現代的答案集求解器利用布爾SAT算法可以非常迅速地確定可滿足性，因此這意味著動作語言也可以享受布爾SAT求解領域的進步。

所有動作語言都補充了狀態轉換系統的定義，其中包含一組F的流利，一組V的流利的值以及一個將S?×?F映射到V的函數，其中S是狀態轉換系統的狀態集。