行动语言

✍ dations ◷ 2025-03-04 22:57:00 #行动语言

在计算机科学中,行动(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),这意味着行动语言也可以受用它。

相关

  • 外类群外群,或称外类群,是一个分支系统学概念,指与所有近缘单系群(两个及以上)关系都较远的类群,这意味着该群在演化过程中从母群分支出去的时间要早于其他群。下面举出一些例子,其外类群
  • 1-二十二醇Behenyl alcohol 1-Docosanol n-Docosanol Docosyl alcohol Emery 33041-二十二醇(Docosanol)是一种饱和一元脂肪醇,是化妆品传统的润肤剂,乳化剂,增稠剂。近年来,美国食品药品监
  • 妇联总会坐标:25°02′25.40″N 121°30′34.53″E / 25.0403889°N 121.5095917°E / 25.0403889; 121.5095917妇联总会是台湾台北市市定古迹,1915年至1920年建立,位于清朝登瀛书院(又
  • 激进女权主义激进女权主义(英语:radical feminism),是女权主义的一个派别。其最基本的观点是:女性所受的压迫是剥削形式中最深刻的,且是其他各种压迫的基础。因此,激进女权主义试图找出使妇女摆
  • 朱士达朱士达(18世纪?-1854年),江苏扬州府宝应县(今江苏省宝应县)人,清朝官员、同进士出身。朱彬子,朱士彦弟。嘉庆二十二年(1817年),登进士,署黟县知县、南凌知县、霍山知县,授怀甯知县。后升任
  • 岩桥由佳岩桥由佳(1月12日-)是日本的女性声优,福冈县出身。Production baobab所属。私立筑紫女学园高中毕业后,在修曼综合学院福冈校就读声优课程。出道作为在NICONICO直播中播放的节目《
  • 麦可贴麦可贴()是世界重要的压敏胶生产商之一,生产基地在美国和比利时,产品包括广告装饰材料,标签印刷产品和工业胶带。标签类产品应用于:标签制品、平板印刷、标签纸;印刷和装饰类产品
  • 定南水定南水,又名九曲水、贝岭水,是中国南方的一条河流,为东江的源流之一。发源于江西省寻乌县三标乡大湖岽村基隆嶂东侧,流经江西省的安远县、定南县和广东省和平县与龙川县,在龙川县
  • 姬延芳姬延芳(1953年-)河南省社旗县人,中国人民武装警察部队少将。姬延芳曾先后在北京涿州飞行大队、武警北京总队任连长、营长、团长、师长等职。曾任空军第六飞行学院地面训练科科长
  • 耶奥里·韦斯特林耶奥里·韦斯特林(瑞典语:Georg Westling,1879年8月24日-1930年11月14日),生于赫尔辛基,芬兰男子帆船运动员。他曾代表芬兰参加1912年夏季奥林匹克运动会帆船比赛,获得一枚铜牌。