研究论文

在存在不完整信息的情况下进行规划的通用方法

人工智能,体积227,问题C类

页1-51

https://doi.org/10.1016/j.artint.2015.06.001

出版:2015年10月1日出版历史

摘要

本文提出了一种在信息不完全的情况下进行规划的通用方法。该方法建立在信念状态表示的抽象概念以及相关的一组基本操作之上。这些操作有助于开发一个健全完整的过渡函数，用于在信息不完整的情况下推理行动的效果，以及一组用于规划的抽象算法。本文演示了如何将抽象定义和算法实例化为三种具体表示形式，即极小-DNF、极小-CNF和素数蕴涵，从而产生三种高度竞争的一致规划器：DNF、CNF和PIP。本文将表示的概念与有序二元决策图的表示相联系，这是许多一致规划师使用的一种著名的信念状态表示，以及文献中提出的几种目标编译语言。本文还包括对规划师Dnf、Cnf和PIP的实验评估，并提出了一套新的符合性规划基准，这对最先进的符合性规划师来说是一个挑战。

工具书类

[1]

Alexandre Albore，Miquel Ramírez，Hector Geffner，《不完全信息下规划的有效启发式和信念跟踪》，载于：Fahiem Bacchus，Carmel Domshlak，Stefan Edelkamp，Malte Helmert（编辑），《第21届国际自动规划与排程会议论文集》，ICAPS 2011，德国弗莱堡，2011年6月11日至16日，AAAI出版社，2011年。

[2]

Carlos E.Alchourrón，Peter Gärdefors，David Makinson，《论理论变革的逻辑：部分满足收缩和修正函数》，J.Symb。日志。50(2) (1985) 510-530.

[3]

C.Baral，V.Kreinovich，R.Trejo，《不完全性存在下规划和近似规划的计算复杂性》，Artif。智力。122 (2000) 241-267.

数字图书馆

[4]

P.Bertoli，A.Cimatti，M.Roveri，P.Traverso，《通过符号模型检查在部分可观测性下的非确定性领域中的规划》，载《第十七届国际人工智能联合会议论文集》，IJCAI 012001年。

[5]

Blai Bonet，Hector Geffner，《在信念空间中用不完全信息作为启发式搜索的规划》，载于：Steve Chien，Subbarao Kambhampati，Craig A.Knoblock（编辑），《第五届人工智能规划系统国际会议论文集》，科罗拉多州布雷肯里奇，美国，2000年4月14日至17日，AAAI，2000年，第52-61页。

[6]

Ronen I.Brafman，Guy Shani，《应急计划的多路径汇编方法》，载于：AAAI，2012年。

[7]

R.E.Bryant，带有序二进制决策图的符号布尔运算，ACM Comput。Surv公司。24（3）（1992年9月）293-318。

数字图书馆

[8]

D.Bryce，S.Kambhampati，D.Smith，《信念空间搜索的规划图启发式》，J.Artif。智力。第26号决议（2006）35-99。

数字图书馆

[9]

A.Cimatti，M.Roveri，《通过符号模型检查的一致性规划》，J.Artif。智力。第13号决议（2000）305-338。

数字图书馆

[10]

A.Cimatti，M.Roveri，P.Bertoli，通过符号模型检查和启发式搜索的一致性规划，Artif。智力。159 (2004) 127-206.

数字图书馆

[11]

Adnan Darwiche，Pierre Marquis，《知识汇编地图》，J.Artif。智力。第17号决议（2002）229-264。

数字图书馆

[12]

J.de Kleer，计算素数蕴涵的改进增量算法，载于：AAAI，1992年，第780-785页。

[13]

R.Goldman，M.Boddy，《表达性规划和明确知识》，载于：AIPS 961996年，第110-117页。

[14]

Patrik Haslum，Peter Jonsson，关于信息不完整的规划复杂性的一些结果，载于：Susanne Biundo，Maria Fox（编辑），《人工智能规划的最新进展》，第五届欧洲规划会议，ECP'99，英国达勒姆，1999年9月8-10日，载于：计算机科学讲义，第1809卷，施普林格，1999年，第308-318页。

[15]

Malte Helmert，《快速下行规划系统》，J.Artif。智力。第26号决议（2006）191-246。

数字图书馆

[16]

Jörg Hoffmann，Ronen I.Brafman，通过启发式向前搜索的一致性规划：一种新方法，Artif。智力。170(6-7) (2006) 507-541.

数字图书馆

[17]

Jörg Hoffmann，Bernhard Nebel，《FF规划系统：通过启发式搜索快速生成计划》，J.Artif。智力。第14号决议（2001）253-302。

数字图书馆

[18]

H.Katsuno，A.Mendelzon，《关于更新知识库和修改知识库之间的差异》，载于：《KR 92学报》，1992年，第387-394页。

[19]

A.Kean，G.Tsiknis，生成素蕴涵/隐含的增量方法，J.Symb。计算。(1990) 185-206.

数字图书馆

[20]

H.K.Nguyen，D.-V.Tran，T.C.Son，E.Pontelli，《关于通过分析域结构改进一致性规划师》，载于：Wolfram Burgard，Dan Roth（编辑），《第二十五届AAAI人工智能会议论文集》，2011年8月7日至11日，美国加利福尼亚州旧金山，AAAI出版社，2011年。

[21]

H.-K.Nguyen，D.-V.Tran，T.C.Son，E.Pontelli，《关于使用经典规划师计算一致性平面图：生成和完成方法》，载于：《第22届自动规划和调度国际会议论文集》，ICAPS 2012，巴西圣保罗阿提巴，6月25日至29日，AAAI出版社，2012年。

[22]

H.Palacios，H.Geffner，《消除不确定性：使用经典规划师解决一致规划问题（有时）》，载于：《第二十届第一届全国人工智能会议论文集》，2006年，第900-905页。

[23]

H.Palacios，H.Geffner，《从整合到经典规划：可能也会完成的高效翻译》，载于：《第17届国际规划与日程安排会议记录》，2007年，第264-271页。

[24]

H.Palacios，H.Geffner，在有界宽度的一致规划问题中消除不确定性，J.Artif。智力。第35号决议（2009）623-675。

数字图书馆

[25]

M.Peot，D.Smith，条件非线性规划，收录于：AI规划系统第一届会议，1992年，第189-197页。

[26]

L.Pryor，G.Collins，《应急计划：基于决策的方法》，J.Artif。智力。第4号决议（1996）287-339。

数字图书馆

[27]

D.E.Smith，D.S.Weld，一致性图表计划，收录于：AAAI，1998年，第889-896页。

[28]

Tran Cao Son，Chitta Baral，形式化传感动作-基于过渡函数的方法，Artif。智力。125（1-2）（2001年1月）19-91。

数字图书馆

[29]

孙Tran Cao Son，Tu Phan Huy，《关于不完全信息下基于近似推理和行动计划理论的完备性》，载《第十届知识表示和推理原则国际会议论文集》，2006年，第481-491页。

[30]

Tran Cao Son、Phan Huy Tu、Michael Gelfond、Ricardo Morales，《带约束域的一致性规划——一种新方法》，载于《第二十届全国人工智能会议论文集》，2005年，第1211-1216页。

[31]

Pierre Tison，广义一致性理论及其在布尔函数最小化中的应用，收录于：IEEE计算机学报，1967年，第446-456页。

[32]

Son Thanh To，《信念状态表征及其在不完全信息、非确定性行为和感知行为规划中的应用》，新墨西哥州立大学计算机科学系博士论文，拉斯克鲁塞斯（美国），2012年。

[33]

S.T.To，E.Pontelli，T.C.Son，一个对信仰状态有明确析取表示的一致规划师，在：Alfonso Gerevini，Adele E.Howe，Amedeo Cesta，Ioannis Refanidis（编辑），第19届自动规划和调度国际会议论文集，ICAPS 2009，希腊塞萨洛尼基，2009年9月19-23日，AAAI，2009，第305-312页。

[34]

S.T.To、T.C.Son、E.Pontelli，《使用CNF进行符合性规划的新方法》，载于：《第20届国际规划与调度会议论文集》，ICAPS，2010年，第169-176页。

[35]

S.T.To、T.C.Son、E.Pontelli，《关于整合规划中素数的使用》，载于：Maria Fox、David Poole（编辑），《第二十四届AAAI人工智能会议论文集》，2010年7月11日至15日，美国佐治亚州亚特兰大，2010年，AAAI出版社。

[36]

S.T.To，T.C.Son，E.Pontelli，《应急计划中的连接表示：主要暗示与最小CNF公式》，载于：Wolfram Burgard，Dan Roth（编辑），《第二十五届AAAI人工智能会议论文集》，2011年AAAI，美国加利福尼亚州旧金山，2011年8月7日至11日，AAAI出版社，2011年，第2033-2038页。

[37]

S.T.To、T.C.Son、E.Pontelli，作为与/或带析取表示的正向搜索的权变规划，载于：ICAPS会议记录，2011年。

[38]

D.-V.Tran，H.-K.Nguyen，E.Pontelli，T.C.Son，《改善一致性规划师的绩效：声明性规划领域规范的静态分析》，载于：Andy Gill，Terrance Swift（编辑），《声明性语言的实践方面会议录》，第11届国际研讨会，2009年1月19日至20日，美国佐治亚州萨凡纳市，PADL 2009，摘自：《计算机科学讲义》，第5418卷，施普林格出版社，2009年，第239-253页。

[39]

P.H.Tu，T.C.Son，M.Gelfond，R.Morales，行为理论的近似及其在一致性规划中的应用，Artif。智力。175（1）（2011年1月）79-119。

数字图书馆

引用人

法德尼斯S林丹宁J(2023)SAT的部分可观测规划人工智能中的逻辑10.1007/978-3-031-43619-2_41(605-620)在线发布日期：2023年9月20日
https://dl.acm.org/doi/10.1007/978-3-031-43619-2_41
法德尼斯S林丹宁J(2022)一致性规划中的广义三值信念状态PRICAI 2022：人工智能趋势10.1007/978-3-031-20862-1_8(104-117)在线发布日期：2022年11月10日
https://dl.acm.org/doi/10.1007/978-3-031-20862-1_8
玛丽亚·S沙尼·G布拉夫曼R(2018)基于Landmark的启发式在线应急计划自治代理和多代理系统2007年10月10日/10458-018-9389-932:5(602-634)在线发布日期：2018年9月1日
https://dl.acm.org/doi/10.1007/s10458-018-9389-9
显示更多引用者

在信息不完整的情况下进行规划的通用方法
1. 计算理论

建议

不完全信息下的通用规划方法：理论与实现
IJCAI’17：第26届国际人工智能联合会议记录

本文提出了一种在信息不完全的情况下进行规划的通用方法。该方法建立在信念状态表示的抽象概念以及相关的一组基本操作之上。这些操作有助于。。。
基于不完全信息的信念空间启发式搜索规划
AIPS'00：第五届人工智能规划系统国际会议记录

将规划表述为启发式搜索，并使用从问题表示中导出的启发式方法，这对于经典规划来说是一种富有成效的方法。在本文中，我们在不完全语境规划中寻求一种类似的思路。。。
理解信息和感知不完整的规划

PKS是巴克斯（Bacchus）和彼得里克（Petrick）最近引入的不完全信息和感知的规划框架【Proc.KR’98，pp.432-443】。PKS将STRIPS推广到具有不完全信息和感知的域，这一事实打开了。。。

评论

信息和贡献者

问询处

发布于

封面图片人工智能

人工智能第227卷C期

2015年10月

246页

国际标准编号：0004-3702

版权所有©Elsevier B.V。

出版商

爱思唯尔科学出版有限公司。

大不列颠联合王国

出版历史

出版：2015年10月1日

限定符

研究文章

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

5
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

反映截至2024年9月20日的下载量

其他指标

查看作者指标

引文

引用人

法德尼斯S林丹宁J(2023)SAT的部分可观测规划人工智能中的逻辑10.1007/978-3-031-43619-2_41(605-620)在线发布日期：2023年9月20日
https://dl.acm.org/doi/10.1007/978-3-031-43619-2_41
法德尼斯S林丹宁J(2022)一致性规划中的广义三值信念状态PRICAI 2022：人工智能趋势10.1007/978-3-031-20862-1_8(104-117)在线发布日期：2022年11月10日
https://dl.acm.org/doi/10.1007/978-3-031-20862-1_8
玛丽亚·S沙尼·G布拉夫曼R(2018)基于Landmark的启发式在线应急计划自治代理和多代理系统2007年10月10日/10458-018-9389-932:5(602-634)在线发布日期：2018年9月1日
https://dl.acm.org/doi/10.1007/s10458-018-9389-9
至S儿子T庞泰利E(2017)在信息不完整的情况下进行规划的通用方法第26届国际人工智能联合会议记录10.5555/3171837.3172017(5075-5079)在线发布日期：2017年8月19日
https://dl.acm.org/doi/10.5555/3171837.3172017
刘德王H齐C赵P王杰(2016)基于层次任务网络的信息不完全、并发和持续时间不确定的应急任务规划基于知识的系统2016年10月10日/j.knosys.2016.08.029112：C(67-79)在线发布日期：2016年11月15日
https://dl.acm.org/doi/10.1016/j.knosys.2016.08.029

视图选项

查看选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子

查看问题目录