×
安德烈亚斯·赫齐格；劳伦特·佩鲁塞尔；肖占浩

在分层任务网络上。 （英语） Zbl 1483.68353号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 551-557 (2016).
概要：在基于分层任务网络（HTN）的规划中，计划是通过将高级操作（“复合任务”）细化为低级操作来生成的，直到获得可以发送给执行的基本操作。虽然基本动作是由其前提和效果定义的，但高级动作是由零个、一个或多个方法定义的：一组（高级或基本）动作将其与约束一起分解。我们根据程序包含的动态逻辑给出了HTN的语义。我们提出了一些假设，以确保动作细化的合理性和完整性。我们还表明，混合规划可以在相同的动态逻辑框架中进行分析。
关于整个系列，请参见[Zbl 1350.68015号].

引用于1文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68T27型 人工智能中的逻辑

软件：

ConGolog公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Herzig}等人，莱克特。注释计算。科学。10021、551--557（2016；Zbl 1483.68353）
全文： 内政部 链接

参考文献：

[1] Baral，C.，Son，T.C.：扩展ConGolog以允许部分排序。收录于：Jennings，N.R.，Lespérance，Y.（编辑）ATAL 1999。LNCS（LNAI），第1757卷，第188-204页。斯普林格，海德堡（2000）。doi:10.1007/10719619_14·Zbl 0970.68634号 ·doi:10.1007/10719619_14
[2] del Cerro，L.F.，Penttonen，M.：语法逻辑。《逻辑与分析》31（121-122）、123–134（1988）·Zbl 0728.03025号
[3] De Silva，L.、Sardina，S.、Padgham，L.：BDI系统中的首要原则规划。收录于：《第八届自主代理和多代理系统国际会议记录》，第2卷，第1105–1112页。国际自治代理和多代理系统基金会（2009年）
[4] Demri，S.：语法逻辑和相关模态逻辑规则的复杂性。J.日志。计算。11(6), 933–960 (2001). http://dx.doi.org/10.1093/logcom/11.6.933 ·Zbl 1002.03018号 ·doi:10.1093/logcom/11.6.933
[5] Erol，K.、Hendler，J.、Nau，D.S.：HTN规划：复杂性和表达性。摘自：《第十二届全国人工智能会议论文集》，第94卷，第1123-1128页（1994年）
[6] Gabaldon，A.：在情境演算中编程分层任务网络。附：第五届人工智能规划与调度系统国际会议论文集在线规划与调度研讨会（2002年）·Zbl 1341.68200号
[7] Goldman，R.P.：HTN方法的语义。收录于：Gerevini，A.、Howe，A.E.、Cesta，A.、Refanidis，I.（编辑）《第19届国际自动规划与调度会议论文集》（ICAPS）。AAAI（2009年）
[8] Harel，D.，Kozen，D.，Tiuryn，J.：动态逻辑。麻省理工学院出版社，剑桥（2000）·兹伯利0976.68108
[9] Herzig，A.，Lorini，E.，Perrussel，L.，Xiao，Z.：BDI架构的BDI逻辑：旧问题，新观点。Künstliche Intelligenz（即将亮相）·doi:10.1007/s13218-016-0457-5
[10] Herzig，A.，Perrussel，L.，Xiao，Z.，Zhang，D.：意图的细化。收录人：Michael，L.，Kakas，A.C.（编辑）JELIA 2016。LNCS（LNAI），第10021卷，第xx-yy页。斯普林格，海德堡（2016）·Zbl 1483.68354号 ·文件编号：10.1007/978-3-319-48758-8_39
[11] Kambhampati，S.、Cutkosky，M.R.、Tenenbaum，J.M.、Lee，S.H.：综合通用规划师和专业推理师：混合规划架构的案例研究。IEEE传输。系统。人类网络。23(6), 1503–1518 (1993) ·doi:10.1109/21.257750
[12] Kambhampati，S.，Mali，A.，Srivastava，B.：部分分层域的混合规划。摘自：第17届全国人工智能会议和第12届人工智能创新应用会议（AAAI/IAAI）会议记录，第882-888页（1998年）
[13] Nau，D.，Ghallab，M.，Traverso，P.：自动化规划：理论与实践。Morgan Kaufmann Publishers Inc.，旧金山（2004）·Zbl 1074.68613号
[14] Sardina，S.，de Silva，L.，Padgham，L.：BDI代理编程语言中的层次规划：一种形式化方法。载：《第五届自主智能体和多智能体系统国际会议论文集》，第1001–1008页。ACM（2006）·数字对象标识代码：10.1145/1160633.1160813
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。