×
李彦军;王燕京

基于计划的专业知识：统一方法。 （英语） Zbl 1519.68255号

Artif公司。智力。 296，文章ID 103487，30 p.（2021）.
总结：最近，基于不同框架中不同类型的认知规划，文献中提出并研究了各种专有技术的逻辑概念。本文提出了一个统一的逻辑框架，以纳入现有的和一些新的专有技术概念。我们使用统一的认知规划概念来定义专有技术操作符的语义，并使用编程语言指定的不同类型计划的参数。令人惊讶的是，通过一个高度统一的完备性证明，我们证明了本文讨论的所有十个直观的计划概念都会导致完全相同的专有技术逻辑，这被证明是可判定的。我们还表明，在有限模型上，基于知识计划的专有技术逻辑需要一个扩展，该扩展具有捕获计划组成性的公理。
在认知规划的背景下，我们的公理化结果揭示了认知规划理念背后的核心原则，与特定的计划概念无关。此外，由于认知规划可以用我们的目标语言中的专有技术形式来表示，我们可以大大概括规划问题，这些问题可以通过模型检查我们语言中的各种公式来正式解决。

引用于5文件

MSC公司：

68T27型 人工智能中的逻辑
03B42号 知识和信念的逻辑（包括信念变化）
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

认知规划;专有技术;认知逻辑;一致性规划;应急计划;基于知识的项目
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}和\textit{Y.Wang}，Artif。智力。296，文章ID 103487，30 p.（2021；Zbl 1519.68255）
全文： 内政部

参考文献：

[1] Ågotnes，托马斯；Alechina，Natasha，具有个体、分布式和公共知识的联盟逻辑，J.Log。计算。，29, 1041-1069 (2019) ·Zbl 1444.03021号
[2] 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。；库普夫曼，奥尔纳，交替时间时序逻辑，J.ACM，49，672-713（2002）·Zbl 1326.68181号
[3] Birkegaard Andersen，米克尔；托马斯·博兰德（Thomas Bolander）；Jensen，Martin Holm，条件认知规划，（人工智能中的逻辑（2012），Springer），94-106·Zbl 1361.68214号
[4] 安徒生，米克尔·比克加德（Mikkel Birkegaard）；托马斯·博兰德（Thomas Bolander）；Jensen，Martin Holm，《不要为意料之外的事情做计划：基于合理性模型的计划》，Log。分析。，58 (2015) ·Zbl 1362.68263号
[5] Aucher，Guillaume，DEL-sequents for regression and eptiemic planning，J.Appl。非类别。日志。，22, 4, 337-367 (2012) ·Zbl 1398.03068号
[6] 纪尧姆拍卖行；托马斯·博兰德（Thomas Bolander），《认知规划中的不确定性》（IJCAI’13（2013）会议录），27-33
[7] Jos Baeten，《过程代数简史》，Theor。计算。科学。，335, 2-3, 131-146 (2005) ·Zbl 1080.68072号
[8] Belle，Vaishak，《概率规划的概率规划》（AAAI’18（2018）研讨会论文集），654-657
[9] 帕特里克·布莱克本；马尔滕·德·里杰克（Maarten de Rijke）；维内马，伊德，模态逻辑（2002），剑桥大学出版社·Zbl 0988.03006号
[10] 托马斯·博兰德（Thomas Bolander）；Andersen、Mikkel Birkegaard，《单智能体和多智能体系统的认识规划》，J.Appl。非类别。日志。，21, 1, 9-34 (2011) ·Zbl 1242.68285号
[11] 托马斯·博兰德（Thomas Bolander）；Jensen，Martin Holm；Schwarzentruber，François，《复杂性导致认知规划》，（《IJCAI’15（2015）会议录》），2791-2797
[12] Cimatti，A。；皮斯托雷，M。；Roveri，M。；Traverso，P.，《通过符号模型检查的弱、强和强循环规划》，Artif。智力。，147、1-2、35-84（2003年7月）·Zbl 1082.68800号
[13] 罗纳德·费金；Joseph Y.Halpern。；摩西，约拉姆；Vardi，Moshe Y.，基于知识的程序，Distrib.Comput。，一九九九年四月十日至二十五日（一九九七年）·Zbl 1448.68406号
[14] 范洁；王燕京；van Ditmarsch，Hans，《权变与知道是否》，Rev.Symb。日志。，8, 01, 75-107 (2015) ·Zbl 1375.03023号
[15] Fantl、Jeremy、Knowing-how和know-that、Philos。罗盘，3，3，451-470（2008）
[16] 劳尔·费尔瓦里（Raul Fervari）；安德烈亚斯·赫齐格（Andreas Herzig）；李彦军；王燕京，《战略知道如何》（2017年《国际商会学报》），1031-1038
[17] 劳尔·费尔瓦里（Raul Fervari）；费尔南多·R·贝拉兹奎兹·奎萨达（Velázquez-Quesada）。；王燕京，《知道如何逻辑的双向模拟》（Rev.Symb.Log.（2021）），出版社
[18] 赫克托尔·盖夫纳；Bonet，Blai，《自动化规划模型和方法简明介绍》（2013），摩根和克莱普尔出版社·Zbl 1270.68012号
[19] 马利克·加拉布；Nau，达纳；Traverso，Paolo，《自动化规划：理论与实践》（2004），Elsevier·Zbl 1074.68613号
[20] 安德烈亚斯·赫齐（Andreas Herzig），《知识与行动的逻辑：批判性分析与挑战》（Logics of knowledge and action：critical analysis and challenges），《汽车》（Auton）。代理多代理系统。，29, 5, 719-753 (2015)
[21] Jensen，Martin Holm，《认识论和道法规划》（2014），丹麦技术大学博士论文
[22] 杰罗姆·朗；Zanuttini，Bruno，《以知识为基础的计划作为计划——计划验证的复杂性》（ECAI’12（2012）），504-509·Zbl 1327.68277号
[23] 杰罗姆·朗；Zanuttini，Bruno，《以知识为基础的项目作为计划：计划存在的简洁性和复杂性》（扩展摘要），（TARK’13（2013））·Zbl 1327.68277号
[24] 杰罗姆·朗；布鲁诺·扎努蒂尼（Bruno Zanuttini），概率知识型项目（IJCAI’15（2015）会议录），1594-1600
[25] Lau，Tszyuen；王，燕京，知道你的能力，菲洛斯。论坛，3-4415-424（2016）
[26] Levsque，Hector J.，在感知的情况下，计划是什么？，（第十三届全国人工智能大会论文集。第十三届全国人工智能大会论文集，AAI（1996））
[27] Levesque，Hector J.，《循环规划》（IJCAI’05（2005）会议记录），509-515
[28] 李彦军，停止意味着实现：一个较弱的知道如何的逻辑，Stud.Log。，9, 4, 34-54 (2016)
[29] 李彦军；Barteld Kooi；王燕京，关于一致概率计划推理的动态认知框架，Artif。智力。，268, 54-84 (2019) ·Zbl 1478.68355号
[30] 李彦军；王燕京，《在保持的同时实现：一种知道如何使用中间约束的逻辑》（2017年《国际洛杉矶会议论文集》），154-167·Zbl 1485.03040号
[31] 李彦军；Wang，Yanjing，《通过多步骤计划了解多智能体：基于动态认知规划的方法》（LORI VII（2019）会议记录），126-139·Zbl 07160606号
[32] 李彦军；于、权；王燕京，《免费的更多：过渡系统整合规划的动态认知框架》，J.Log。计算。，27, 8, 2383-2410 (2017) ·Zbl 1402.68168号
[33] Löwe，Benedikt；埃里克·帕奎特（Eric Pacuit）；威策尔、安德烈亚斯（Andreas Witzel），《DEL规划和一些可处理的案例》（LORI III（2011），斯普林格出版社），179-192年·Zbl 1298.03054号
[34] 约翰·麦卡锡，个体概念和命题的一阶理论，马赫。智力。，9, 129-147 (1979)
[35] Robert C.Moore，《知识与行动的形式理论》（1984），技术报告，DTIC文件
[36] 克里斯蒂安·缪斯（Christian Muise）；瓦夏克·贝勒（Belle，Vaishak）；保罗·费利；谢拉·麦克拉伊思；蒂姆·米勒（Tim Miller）；阿德里安·皮尔斯（Adrian R.Pearce）。；Sonenberg，Liz，《多智能体认知状态的规划：经典规划方法》（AAAI’15（2015）会议记录）
[37] 巴维尔·瑙莫夫；Tao，Jia，《我们一起知道如何实现：知识的认知逻辑》（扩展摘要），（《TARK’17会议录》，第251卷（2017）），441-453·兹比尔1483.03011
[38] 帕维尔·瑙莫夫；Tao，Jia，二阶专有技术战略，（AAMAS会议记录’18（2018）），390-398
[39] 巴维尔·瑙莫夫；陶，贾，我们一起知道如何实现：一种知识的认知逻辑，Artif。智力。，262, 279-300 (2018) ·Zbl 1454.03025号
[40] 巴维尔·瑙莫夫；陶，贾，不确定性下的Knowing-how，Artif。智力。，276, 41-56 (2019) ·Zbl 1478.03027号
[41] 尼尔森、汉内·里斯；尼尔森，弗莱明，《语义与应用：开胃菜》（2007），施普林格出版社·Zbl 1126.68052号
[42] 佩雷·帕尔多；Mehrnoosh Sadrzadeh，《沟通与变革逻辑的有力规划》（Declarative Agent Languages and Technologies X（2013），Springer），第37-56页
[43] Marc，Pauly，游戏中联盟力量的模态逻辑，J.Log。计算。，12, 1, 149-166 (2002) ·Zbl 1003.91006号
[44] 戴维·史密斯（David E.Smith）。；丹尼尔·维尔德（Daniel S.Weld），《一致性图形计划》（Conformant graphplan）（1998年AAAI会议录），889-896
[45] 杰森·斯坦利（Jason Stanley），《专有技术》（2011），牛津大学出版社
[46] 杰森·斯坦利（Jason Stanley）；威廉姆森，蒂莫西，《知道如何》，J.菲洛斯。，98, 411-444 (2001)
[47] 范德霍克，威比；Michael Wooldridge，《合作、知识与时间：交替时间时间认知逻辑及其应用》，Stud.Log。，125-157 (2003) ·Zbl 1034.03013号
[48] 王勋，《知道如何使用可跳过的计划的逻辑》（《LORI-VI学报》（2019）），413-424·Zbl 07160626号
[49] 王燕京，《知道如何的逻辑》（《LORI-V学报》（2015）），第392-405页·Zbl 1471.03038号
[50] Wang，Yanjing，用超模型表示程序的不完全信息，（ICLA’15会议录，第8923卷（2015））·Zbl 1304.03048号
[51] 王燕京，《目标导向的知识逻辑》，Synthese，195，4419-4439（2018）·Zbl 1452.03054号
[52] 王燕京，《超越知道：新一代认知逻辑》（Jaakko Hintikka on Knowledge and Game Theory Semantics（2018），Springer:Springer-Cham），499-533·Zbl 1437.03079号
[53] 王燕京；Aucher，Guillaume，DEL的另一种公理化及其应用，（《IJCAI论文集》13（2013）），1147-1154
[54] 王燕京；曹勤祥，《论公示逻辑的公理化》，综合，190，1S，103-134（2013）·Zbl 1310.03029号
[55] 王燕京；范杰，条件知道什么，（模态逻辑进展，第10卷（2014）），569-587·Zbl 1385.03011号
[56] 王燕京；李彦军，《并不是所有漫游者都迷失了：导航中的动态认知推理》，（模态逻辑进展，第9卷（2012）），559-580·Zbl 1291.03026号
[57] 吴佩佩；Li，Yanjun，过渡系统多智能体一致规划逻辑，IEEE Access，8193621-193631（2020）
[58] 徐超；王燕京；托马斯·斯图德（Thomas Studer），《知道为什么的逻辑》（A logic of knowing why），《综合》（Synthese），1981259-1285（2021）·Zbl 1506.03068号
[59] 于、权；李彦军；王燕京，《符合规划的动态认知框架》（TARK’15会议录，第215卷（2015）），249-259
[60] 于、权；Wen，Ximing；刘永梅，通过行为推理进行多智能体认知解释性诊断，（IJCAI’13（2013）论文集），1183-1190
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。