行动语言

计算机科学中,行动(action)语言是用来规定状态变迁系统的语言,通常用于建立世上的各种行动的效果的形式模型[1]。行动语言经常用于人工智能机器人领域,在这里它们描述行动如何影响系统的时变状态,并可用于自动规划英语Automated planning and scheduling

行动语言可归入两大类:行动描述语言和行动查询语言。前者的例子包括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.