×
Yang，Kai（杨凯）；田聪；张楠；段振华；杜洪伟

用于规划的时序逻辑编程方法。 （英语） Zbl 1419.68101号

J.库姆。最佳方案。 38，编号2，402-420（2019）。
摘要：本文提出了一种利用搜索控制知识（SCK）通过时序逻辑编程实现人工智能规划的方法。首先，将规划领域描述语言描述的规划问题建模为建模、仿真和验证语言（MSVL）中的程序\（m\）。其次，SCK也是用MSVL程序\（m'\）指定的。第三，使用基本操作“和“在MSVL中，一个新的MSVL程序”\（m\）和\获得（m'\）”。第四，利用MSVL的编译器MC，实现了程序“\（m\）”的可执行二进制代码和\获得（m'\）”。最后，通过执行可执行代码可以获得规划结果。2014年国际规划竞赛选定的基准规划领域的实验结果表明，我们的方法在实践中更加有效。此外，使用工具包MSV对获得的计划进行验证，从而可以确认计划是否可靠。

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68N17号 逻辑编程
68立方英尺 知识表示

关键词：

规划；时序逻辑；MSVL公司；PDDL公司；搜索控制知识

软件：

商店2
PDF格式BibTeX公司 XML格式引用
\textit{K.Yang}等人，J.Comb。最佳方案。38，编号2402-420（2019；兹bl 1419.68101）
全文： 内政部

参考文献：

[1] Bacchus F，Kabanza F（1995）使用时序逻辑控制前向链接规划器中的搜索。摘自：第三届欧洲规划研讨会会议记录。IOS出版社，第141-153页
[2] Bacchus F，Kabanza F（2000）使用时序逻辑表达规划的搜索控制知识。Artif Intell艺术情报116（1）：123-191·Zbl 0939.68827号 ·doi:10.1016/S0004-3702（99）00071-5
[3] Barták R，Dovier A，Zhou NF（2015），关于表格逻辑编程中的规划问题建模。摘自：第17届声明式编程原理与实践国际研讨会论文集。ACM，第31-42页·Zbl 1379.68287号
[4] Chrpa L，Barták R（2016）通过基于过渡的域控制知识指导规划引擎。摘自：第十五届知识表示和推理原则国际会议论文集。AAAI，第545-548页
[5] Cimatti A、Giunchiglia E、Giunciglia F、Traverso P（1997）《通过模型检查进行规划：AR的决策程序》。In：欧洲规划会议。施普林格，第130-142页
[6] Duan Z（1996）一种用于时序逻辑编程的扩展区间时序逻辑和框架技术。泰恩河畔纽卡斯尔大学博士论文
[7] 段Z（2005）时序逻辑和时序逻辑编程。渥太华科学出版社
[8] 段Z，田C（2008）采用投影时序逻辑的统一模型检查方法。摘自：第十届正式工程方法国际会议论文集。施普林格，第167-186页
[9] 段Z，田C（2014）无限模型命题投影时序逻辑的实用决策程序。《计算机科学》554:169-190·Zbl 1358.68188号 ·doi:10.1016/j.tcs.2014.02.011
[10] Duan Z，Koutny M，Holt C（1994）时间逻辑编程中的投影。摘自：Pfenning F（ed）第五届逻辑编程和自动推理国际会议论文集。柏林斯普林格，LNCS，第822卷，第333-344页
[11] Fern A、Yoon SW、Givan R（2004）从随机行走中学习特定领域的控制知识。收录：第14届国际自动规划和调度会议记录。AAAI，第191-199页
[12] Fox M，Long D（2003）PDDL2。1：对pddl的扩展，用于表示时间规划域。Artif Intell Res杂志20:61-124·Zbl 1036.68093号 ·doi:10.1613/jair.1129
[13] Gabrel V（2006）加强了日常卫星任务规划的0-1线性公式。J Comb Optim杂志11（3）：341-346·Zbl 1255.90138号 ·doi:10.1007/s10878-006-7912-4
[14] Ghallab M、Nau D、Traverso P（2004）《自动化规划：理论与实践》。阿姆斯特丹爱思唯尔·兹比尔1074.68613
[15] Giunchiglia F，Traverso P（1999）《作为模型检查的规划》。参加：欧洲规划会议。施普林格，第1-20页
[16] Helmert M，Röger G，Karpas E（2011）《快速向下的石头汤：构建规划师投资组合的基准》。摘自：第三次规划和学习研讨会（PAL 2011），第28-35页
[17] Hörne T，van der Poll JA（2008）《规划作为模型检查：ProB与NuSMV的性能》。摘自：南非计算机科学家和信息技术学家协会2008年关于发展中国家IT研究的年度研究会议记录：乘着技术的浪潮。ACM，第114-123页
[18] Huang YC，Selman B，Kautz H，et al.（1999）《规划中的控制知识：利益与权衡》。摘自：第16届全国人工智能会议论文集。AAAI，第511-517页
[19] Kabanza F，Thiébaux S，et al（2005）《规划临时扩展目标时的搜索控制》。收录：第15届国际自动规划和调度会议记录。AAAI，第130-139页
[20] Kvarnström J，Doherty P（2000）Talplanner：一种基于时序逻辑的前向链接规划器。数学与艺术智能安30（1-4）：119-169·Zbl 1002.68158号 ·doi:10.1023/A:1016619613658
[21] Li Y，Dong JS，Sun J，Liu Y，Sun J（2014）自动化规划的模型检查方法。形式方法系统设计44（2）：176-202·Zbl 1291.68263号 ·doi:10.1007/s10703-013-0197-1
[22] Mayer MC，Limongelli C，Orlandini A，Poggioni V（2007）线性时间逻辑作为规划语言的可执行语义。J Log Lang Inf 16（1）：63-89·Zbl 1159.68562号 ·doi:10.1007/s10849-006-9022-1
[23] Mishra G、Mazumdar S、Pal A（2018）疏散路线规划问题的改进算法。J Comb Optim杂志36（1）：280-306·Zbl 1402.90154号 ·doi:10.1007/s10878-016-0082-0
[24] Nau DS、Au TC、Ilghami O、Kuter U、Murdock JW、Wu D、Yaman F（2003）Shop2:HTN规划系统。Artif Intell Res杂志（JAIR）20:379-404·Zbl 1058.68106号 ·doi:10.1613/jair.1141
[25] Pasula H，Zettlemoyer LS，Kaelbling LP（2004）学习概率关系规划规则。收录：第14届国际自动规划和调度会议记录。AAAI，第73-82页
[26] Santos RF、Andrioni A、Drummond AC、Xavier EC（2017）《图中的多色路径：波分复用网络路由的NP-hardness、算法和应用》。梳子优化杂志33（2）：742-778·Zbl 1390.90552号 ·doi:10.1007/s10878-016-0003-2
[27] Shangin RE，Pardalos P（2016）《具有连通性要求的网络设计问题启发式》。J Comb Optim杂志31（4）：1461-1478·Zbl 1347.90084号 ·doi:10.1007/s10878-015-9834-5
[28] Valenzano RA、Nakhost H、Müller M、Schaeffer J、Sturtevant NR（2012）Arvandherd：投资组合的平行规划。摘自：第20届欧洲人工智能会议论文集。IOS出版社，第786-791页
[29] Wang M，Tian C，Duan Z（2017）作为动态程序执行的完全定期时间属性验证。摘自：《第39届软件工程国际会议论文集》，IEEE，第226-228页
[30] Yang K，Duan Z，Tian C，Zhang N（2018）msvl编译器及其应用。计算机科学理论749:2-16·Zbl 1407.68096号 ·doi:10.1016/j.tcs.2017.07.032
[31] Yoon S、Fern A、Givan R（2008），《前向搜索规划的学习控制知识》。J Mach学习研究9:683-718·Zbl 1225.68246号
[32] Zhang N，Duan Z，Tian C（2014）使用函数调用扩展msvl。摘自：第16届正式工程方法国际会议论文集。施普林格，第446-458页
[33] Zhang N，Yang M，Gu B，Duan Z，Tian C（2016）验证pptl公理系统中的安全关键任务调度系统。J Comb Optim杂志31（2）：577-603·Zbl 1333.90055号 ·doi:10.1007/s10878-014-9776-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。