胡广;蒂姆·米勒;尼尔·利波维茨基 带视角的规划——使用功能STRIPS分解认知规划。 （英语） Zbl 1502.68271号 J.阿蒂夫。智力。研究（JAIR） 75, 489-539 (2022). 摘要：在本文中，我们提出了一种新的认知规划方法，称为有观点的规划（PWP），它比现有的最先进的知识规划工具更具表现力，计算效率更高。认知规划——用知识和信念进行规划——在许多多智能体和人机交互领域中是必不可少的。大多数最先进的认知规划师通过编译成命题经典规划来解决认知规划问题（例如，生成所有可能的知识原子或将认知公式编译成范式）；或者显式地编码基于Kripke的语义。然而，随着问题规模的增长，这些方法在计算上变得不可行。本文通过将认知公式的推理委托给外部求解器来分解认知规划。我们通过使用功能STRIPS，它比标准STRIPS更具表现力，并支持在动作模型中使用外部的黑盒函数。基于最近的工作，该工作演示了代理“看到”的内容和它知道的内容之间的关系，我们使用外部函数定义了每个代理的透视图，并围绕此构建了认知逻辑的求解器。建模者可以定制代理的透视功能，允许在不更改规划器的情况下定义新的认知逻辑。我们对著名的认知规划基准进行了评估，以比较现有的最先进的规划师，并对证明PWP方法表达能力的新场景进行了评估。结果表明，我们的PWP规划器比我们对比的最新规划器的规模要大得多，并且可以更简洁地表达问题。 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68T27型 人工智能中的逻辑 68立方英尺 知识表示 68T42型 Agent技术与人工智能 关键词：基于模型的推理;认知规划;多智能体系统 PDF格式BibTeX公司 XML格式引用 \textit{G.Hu}等人，J.Artif。智力。研究（JAIR）75，489--539（2022；Zbl 1502.68271） 全文： DOI程序 arXiv公司 参考文献： [1] AAAI出版社/麻省理工学院出版社。 [2] 施普林格科技与商业媒体。 [3] 附录7.1代码示例7.1 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。