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

行動語言可歸入兩大類:行動描述語言英語Action description language和行動查詢語言。前者的例子包括STRIPS英語Stanford Research Institute Problem SolverPDDL英語Planning Domain Definition Language、行動語言A、語言B和語言C。還有行動查詢語言P、Q和R。存在一些不同的演算法來轉換行動語言,特別是將行動語言C轉換成回答集程式[2][3]。因為現代回答集求解器利用了布林SAT演算法來快速的查明可滿足性英語satisfiability,這意味着行動語言也可以受用它。

參照

編輯
  1. ^ Michael Gelfond, Vladimir Lifschitz (1998) "Action Languages頁面存檔備份,存於互聯網檔案館)", Linköping Electronic Articles in Computer and Information Science, vol 3, nr 16.
  2. ^ Vladimir Lifschitz and Hudson Turner, (1998) "Representing Transition Systems by Logic Programs頁面存檔備份,存於互聯網檔案館)".
  3. ^ Gebser, Martin; Grote, Torsten; Schaub, Torsten. Coala: a compiler from action languages to ASP. 2010.