行動語言

在計算機科學中 ， 行動 （ action ） 語言是用來規定狀態變遷系統的語言 ， 通常用於建立世上的各種行動的效果的形式模型 。 行動語言經常用於人工智能和機器人領域 ， 在這裏它們描述行動如何影響系統的時變狀態 ， 並可用於 。 行動語言可歸入兩大類 ： 和行動查詢語言 。 前者的例子包括 、 、 行動語言A 、 語言B和語言C 。 還有行動查詢語言P 、 Q和R 。 存在一些不同的算法來轉換行動語言 ， 特別是將行動語言C轉換成回答集程序 。 因爲現代回答集求解器利用了布爾SAT算法來快速的查明 ， 這意味着行動語言也可以受用它 。