行动语言

✍ dations ◷ 2025-05-11 02:56:07 #行动语言

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

行动语言可归入两大类:行动描述语言(英语:Action description language)和行动查询语言。前者的例子包括STRIPS(英语:Stanford Research Institute Problem Solver)、 PDDL(英语:Planning Domain Definition Language)、行动语言A、语言B和语言C。还有行动查询语言P、Q和R。存在一些不同的算法来转换行动语言,特别是将行动语言C转换成回答集程序。因为现代回答集求解器利用了布尔SAT算法来快速的查明可满足性(英语:satisfiability),这意味着行动语言也可以受用它。

相关

  • 同步主义二十世纪早期在视觉艺术、剧场、文学中的一种概念,对于事物在不同地点,却在同一时间或同一时段发生,所表现的多重感受体悟。此概念挑战视时间、动作、地点为一体的传统想法。
  • 格雷默斯机场格雷默斯机场(英语:Greymouth Airport;IATA代码:GMN;ICAO代码:NZGM)是一座位于新西兰西岸大区格雷茅斯的一座机场,其主要民航业务为新西兰国内线。
  • 密技偷偷报密技偷偷报是一本由PCuSER研究室著作的电脑杂志,该刊创刊于2001年8月4日,由电脑人出版,内容由PCuSER研究室人员与外界电脑高手投稿,大部分是介绍好用软件以及独家的电脑技术。
  • 克隆 (数学)在泛代数中,克隆(Clone)是由某集合上的有限元运算组成的集合,其满足:
  • 森正明森正明(1961年7月12日-),日本足球运动员,前日本国家足球队成员。从1988年到1989年,他共为日本国家足球队出场8次。
  • 西班牙的玛丽亚·皮拉玛丽亚·皮拉(西班牙语:,1861年6月4日—1879年8月5日),西班牙女王伊莎贝拉二世的次女。玛丽亚·皮拉是伊莎贝拉二世的第三个孩子,排在姐姐伊莎贝尔和哥哥阿方索之后。1868年,伊莎贝
  • 普六茹氏《百家姓》中无此姓普六茹姓为汉字复姓之一,为北魏鲜卑族姓氏(在蒙古语解杨树),一作普陆茹氏或普陋茹氏,后改为茹姓。
  • 预知梦之少女篇梦 (小说)《预知梦之少女篇梦》是日本作家东野圭吾的短篇推理小说集,也是“伽利略系列”的第二本小说。2000年6月于文艺春秋出版,2003年8月发行文春文库版。本作是连续剧版(神探伽利略)的
  • 世界贸易中心 (东京)世界贸易中心(世界貿易センタービル)是一座位于日本东京都的40层摩天大楼。完工于1970年,是日本最早建成的摩天大楼之一,也曾是东京都最高建筑和日本最高建筑。这栋大楼是东京世
  • 云帝夫人云帝夫人(朝鲜语:운제부인),又作云梯夫人、阿娄夫人,朝鲜三国时代新罗第二代君主南解次次雄的王妃。《三国史记》仅录其名号,并没有记载云帝夫人的家世与生平;《三国遗事》则记录“迎日县西有云梯山圣母,祈旱有应”。云帝夫人与阏英夫人(始祖朴赫居世居西干的夫人)在当时民间信仰中同被尊为“神母”、“农业神”。高丽时代,在迎日县(今韩国庆尚北道浦项市南区)之西的云梯山上有圣母坛,专祀被奉为“云梯山圣母”的云帝夫人,并传说在附近的大王岩行祈雨祭十分灵验。