埃米利亚诺·洛里尼 用信念基础重新思考认知逻辑。 （英语） Zbl 1435.03036号 Artif公司。智力。 282，文章ID 103233，38 p.（2020）. 摘要：基于多智能体信念库的概念，我们为一系列显式和隐式信念逻辑引入了一种新的语义。与认识逻辑的标准语义不同，在认识逻辑中，可能世界和多论/认识替代的概念是原始的，在我们的语义中，它们是非原始的，但是从信念基础的概念计算出来的。我们提供了完整的公理化，并通过有限的模型参数证明了逻辑的可判定性。此外，我们将我们的逻辑多项式嵌入到Fagin&Halpern的一般意识逻辑中，并通过嵌入建立复杂性结果。我们还提出了包含不同形式的认知内省的逻辑变体，用于外显和/或内隐信念，并为其中一些变体提供了复杂性结果。最后，我们通过公共和私有类型的信息行为，对静态框架进行了一些动态扩展，包括公开宣布、信念扩展和遗忘。我们通过会话代理领域的一个具体例子来说明逻辑框架的应用潜力。 引用于7文件 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） 关键词：认知逻辑；心理理论 软件：MCMAS公司 PDF格式BibTeX公司 XML格式引用 \文本{E.Lorini}，Artif。智力。282，文章ID 103233，38 p.（2020；Zbl 1435.03036） 全文： DOI程序 arXiv公司 参考文献： [1] 奥戈特内斯，T。；Alechina，N.，《全面和相对意识：关于无意识知识推理的可判定逻辑》（《第十一届理性和知识理论方面会议论文集》，第十一届合理性和知识理论领域会议论文集，TARK’07（2007），ACM），6-14 [2] 奥戈特内斯，T。；Alechina，N.，《句法知识的动力学》，J.Log。计算。，17, 1, 83-116 (2007) ·Zbl 1118.03008号 [3] 奥戈特内斯，T。；Alechina，N.，《关于无意识知识的推理逻辑》，J.Log。语言信息，197-217年第23、2期（2014年）·Zbl 1311.03032号 [4] 阿尔布雷希特，S.V。；Stone，P.，《模拟其他代理的自治代理：综合调查和开放问题》，Artif。智力。，258, 66-95 (2018) ·Zbl 1433.68460号 [5] Alechina，N。；洛根，B。；Whitsey，M.，《资源受限代理的完整和可判定逻辑》，（第三届自主代理和多代理系统国际联合会议论文集。第三届自治代理和多智能体系统国际联合大会论文集，AAMAS 2004（2004），IEEE计算机学会），606-613 [6] Alechina，N。；Dastani，M。；Logan，B.，《验证资源支持型联盟统一战略的存在》，（《第二十五届国际人工智能联合会议论文集》，第二十五届人工智能国际联合会议论文，2016（2016），AAAI出版社），24-30 [7] 安格鲁因，D。；弗雷泽，M。；皮特，L.，《关于理性但非逻辑全知的代理人的推理》，马赫。学习。，9, 2-3, 147-164 (1992) ·Zbl 0766.68107号 [8] Artömov，S.N.，《辩护的逻辑》，Rev.Symb。日志。，37, 2, 174-203 (2008) [9] Aucher，G。；Schwarzentrouber，F.，《论动态认识逻辑的复杂性》，（第14届理性与知识理论方面会议论文集。第14届理性与知识理论方面会议论文集，TARK 2013（2013）） [10] 巴尔比亚尼，P。；Fernández-Duque，D。；Lorini，E.，《基于资源的智能体的信念动力学逻辑理论》，（2016年自主智能体和多智能体系统国际会议论文集，2016年自主代理和多智能体内系统国际会议文献集，2016（2016），美国科学与管理学会，644-652） [11] Baltag，A。；Smets，S.，《动态交互信念修正的定性理论》（LOFT 7会议录）。LOFT论文集7，《逻辑与游戏中的文本》，第3卷（2008年），阿姆斯特丹大学出版社，13-60 [12] Baltag，A。；莫斯，L。；Solecki，S.，《公开宣布、常识和私人怀疑的逻辑》（Gilboa，Itzhak，《第七届理性和知识理论方面会议论文集》，第七届合理性和知识理论问题会议论文集，TARK’98（1998），Morgan Kaufmann：摩根·考夫曼加利福尼亚州旧金山），43-56 [13] 班纳吉，M。；Dubois，D.，《关于不完全知识推理的简单逻辑》，《国际近似推理》。，55, 639-653 (2014) ·Zbl 1316.68151号 [14] Benferhat，S。；Dubois，D。；普拉德，H。；Williams，M.-A.，《修订优先知识库的实用方法》，Stud.Log。，70, 1, 105-130 (2002) ·Zbl 1004.68165号 [15] Berto，F.，《不可能的世界和想象的逻辑》，Erkentnis，82，1277-1297（2017）·Zbl 1417.03044号 [16] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2001），剑桥大学出版社：剑桥大学出版社·Zbl 0988.03006号 [17] Bolander，T.，《眼见为实：在动态认知逻辑中形式化谎言任务》，（Herzig，A.；Lorini，E.，《欧洲社会智能会议论文集》，《欧洲社交智能会议论文》，ECSI-2014（2014）），87-107 [18] Bolander，T。；Andersen，M.B.，《单智能体和多智能体系统的认识规划》，J.Appl。非类别。日志。，21, 1, 656-680 (2011) ·Zbl 1242.68285号 [19] Bolander，T。；van Ditmarsch，H。；Herzig，A。；Lorini，E。；帕尔多，P。；Schwarzentruber，F.，《对专注代理人的公告》，J.Log。语言信息，25，1，1-35（2015）·Zbl 1352.03021号 [20] Bonnay，D。；埃格雷，P.，《反思中的不精确知识》，J.菲洛斯。日志。，第38页，第2179-227页（2009年）·Zbl 1175.03002号 [21] R.展位。；Meyer，T。；瓦尔津扎克，I。；Wassermann，R.，关于部分满足、内核和基础收缩之间的联系及其在horn逻辑中的应用，J.Artif。智力。研究，42，31-53（2011）·Zbl 1237.03013号 [22] Bosse，T。；备忘录，Z。；Treur，J.，心理理论及其应用的递归BDI-agent模型，应用。Artif公司。智力。，25, 1, 1-44 (2011) [23] Breazeal，C。；格雷，J。；Berlin，M.，《社交智能机器人读心术的具体认知方法》，国际机器人杂志。第20、4、656-680号决议（2009年） [24] Charrier，T。；Herzig，A。；Lorini，E。；Maffre，F。；Schwarzentruber，F.，《从观察和公告构建认知逻辑》，（《第十五届知识表示和推理原则国际会议论文集》，第十五届国际知识表示与推理原则会议论文集，KR 2016（2016），AAAI出版社），268-277 [25] Dennett，D.C.，《意向立场》（1987），麻省理工学院出版社：麻省剑桥麻省理学院出版社 [26] Dennett，D.C.，有意立场的Précis，Behav。脑科学。，11, 495-546 (1988) [27] Duc，H.N.，《关于理性但非逻辑全知的代理人的推理》，J.Log。计算。，7, 5, 633-648 (1997) ·Zbl 0884.03026号 [28] Eberle，R.A.，《相信、知道和推断的逻辑》，《综合》，26，356-382（1974）·Zbl 0285.02026号 [29] 费金，R。；Halpern，J.Y.，《信念、意识和有限推理》，Artif。智力。，34, 1, 39-76 (1987) ·Zbl 0634.03013号 [30] 费金，R。；Halpern，J。；摩西，Y。；Vardi，M.，《关于知识的推理》（1995），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0839.68095号 [31] Fernández-Duque，D。；Nepomuceno-Fernández，A。；Sarrión-Morillo，E。；索勒·托斯卡诺，F。；Velázquez-Quesada，F.R.，《忘记复杂命题》，Log。J.IGPL，23、6、942-965（2015）·Zbl 1405.03039号 [32] 杰布兰迪。；Groeneveld，W.，关于信息变化的推理，J.日志。语言信息，6147-196（1997）·Zbl 0873.03029号 [33] Goldman，A.I.，《模拟思维：思维阅读的哲学、心理学和神经科学》（2006），牛津大学出版社 [34] 格兰特·J。；克劳斯，S。；Perlis，D.，描述多个有界代理的逻辑，Auton。代理多代理系统。，3, 4, 351-387 (2000) [35] Halpern，J.Y。；Moses，Y.，《知识和信仰模态逻辑的完整性和复杂性指南》，Artif。智力。，54, 2, 319-379 (1992) ·兹比尔0762.68029 [36] Halpern，J.Y。；莱戈，L.C.，《关于无意识知识的推理》，《游戏经济》。行为。，67, 2, 503-525 (2009) ·Zbl 1189.03023号 [37] Hansson，S.O.，《信念基础动力学》（1991），乌普萨拉大学：瑞典乌普萨拉大学，博士论文 [38] 汉森，S.O.，《理论收缩和基础收缩的统一》，J.Symb。日志。，58202-625（1993年）·Zbl 0785.03012号 [39] Hansson，S.O.，《内核收缩》，J.Symb。日志。，59, 3, 845-859 (1994) ·Zbl 0810.03017号 [40] Hansson，S.O.，《信念动力学教科书：理论变化和数据库更新》（1999），Kluwer:Kluwer-Dordrecht，荷兰·Zbl 0947.03023号 [41] S.O.Hansson。；Wassermann，R.，局部变化，研究日志。，70, 1, 49-76 (2002) ·Zbl 1004.68163号 [42] 哈伯斯，M。；van den Bosch，K。；Meyer，J.-J.Ch.，《用思维理论建模代理人：理论与模拟理论》，《网络智能》。代理系统。，10, 3, 331-343 (2012) [43] 海菲茨，A。；迈耶，M。；Schipper，B.C.，《交互式无意识》，J.Econ。理论，130，78-94（2006）·Zbl 1141.91598号 [44] Hemaspandra，E.，《普遍性的代价》，圣母院J.Form.Log。，37,2174-203（1996）·Zbl 0865.03032号 [45] 辛提卡，J.，《知识与信仰》（1962），康奈尔大学出版社：康奈尔学院出版社，纽约 [46] Jago，M.，基于规则的代理的认识逻辑，J.Log。语言信息，18，1，131-158（2009）·Zbl 1159.03010号 [47] Jones，A.J.I.，《论自我概念的逻辑》，《南美期刊》。，1, 387-400 (2015) [48] 科尼奇尼，S。；Pino Pérez，R.，《约束下的信息合并：逻辑框架》，J.Log。计算。，12, 5, 773-808 (2002) ·Zbl 1020.68086号 [49] 科诺里奇，K.，《信念的演绎模型》（1986），摩根考夫曼出版社：摩根考夫曼洛斯阿尔托斯出版社·Zbl 0683.68080号 [50] Kooi，B。；Renne，B.，广义箭头更新逻辑，（《第十三届理性与知识理论方面会议论文集》，第十三届合理性与知识理论问题会议论文集，TARK-2011（2011），ACM），205-211 [51] Kooi，B。；Renne，B.，箭头更新逻辑，Rev.Symb。日志。，第4页，第4页，第536-559页（2011年）·Zbl 1252.03034号 [52] Kratzer，A.，《情态的概念范畴》（Eikmeyer，H.-J.；Rieser，H.，《词汇、世界和语境》（1981），德格鲁伊特：德格鲁伊特·柏林/纽约） [53] Lemaignan，S。；Warnier，M。；西斯博特，E.A。；克洛迪奇，A。；Alami，R.，《社交人机交互的人工认知：实现》，Artif。智力。，247, 45-69 (2017) [54] Levesque，H.J.，《内隐和外显信念的逻辑》，（第四届AAAI人工智能会议论文集。第四届人工智能会议文献集，AAAI’84（1984），AAAI-出版社），198-202 [55] Lomuscio，A。；Qu，H。；Raimondi，F.，MCMAS:一个用于验证多代理系统的开源模型检查器，国际J.Softw。技术工具。传输。，19, 1-22 (2015) [56] Lorini，E.，《赞扬信念基础：在没有可能世界的情况下进行认知逻辑》，（《第三十二届AAAI人工智能会议论文集》，《第三十届AAAI-人工智能会议文献集》，AAAI-18（2018），AAAI出版社），1915-1922年 [57] Lorini，E。；Romero，F.，《利用信念基础的认知逻辑的决策程序》，（第18届自主代理和多代理系统国际会议论文集。第18届自治代理和多智能体系统国际会议文献集，2019年（2019年），IFAAMAS），944-952 [58] Lutz，C.，《公告逻辑的复杂性和简洁性》，（第五届自主代理和多代理系统国际联合会议论文集（2006），ACM），137-143 [59] Makinson，D.，《如何放弃：对理论变革逻辑的一些形式方面的调查》，Synthese，62347-363（1985） [60] 梅金森，D。；van der Torre，L.，输入/输出逻辑，J.Philos。日志。，29, 383-408 (2000) ·Zbl 0964.03002号 [61] 迈耶，J.-J.C。；van der Hoek，W.，《人工智能和理论计算机科学的认识逻辑》（1995），剑桥大学出版社：剑桥大学出版社牛津·Zbl 0868.03001号 [62] 米利兹，G。；Warnier，M。；克洛迪奇，A。；Alami，R.，《赋予交互式机器人以透视和信念管理推理能力的框架》，（IEEE第23届机器人与人类交互通信国际研讨会论文集（2014），IEEE出版社），1103-1109 [63] 莫迪卡，S。；Rustichini，A.，意识和分区信息结构，理论决策。，37, 107-124 (1994) ·Zbl 0822.92028号 [64] 摩尔，R.C。；Hendrix，G.G.，信念的计算模型和信念句子的语义，（Peters，S.；Saarinen，E.，《过程、信念和问题》，《综合语言库》，第16卷（2011年），剑桥大学出版社），107-127 [65] 麻格尔顿，S。；de Raedt，L.，《归纳逻辑编程：理论和方法》，J.Log。程序。，19-20, 629-679 (1994) ·Zbl 0816.68043号 [66] Nebel，B.，基于句法的信念修正方法，（Gärdenfors，P.，信念修正（1992），剑桥大学出版社：剑桥大学出版社，52-88·Zbl 0801.68151号 [67] Peters，C.，《虚拟环境中会话启动的代理心理模型理论基础》（AISB 2005年虚拟社会代理研讨会论文集（2005）），163-170 [68] Plaza，J.A.，《公共通信逻辑》（Emrich，M.；Pfeifer，M.）；Hadzikadic，M.，Ras，Z.，《第四届智能系统方法学国际研讨会论文集》（1989），201-216 [69] 皮纳塔斯，D.V。；Wang，N。；南卡罗来纳州马塞拉，你在想我在想什么吗？《对简化心理理论的评估》（《第13届智能虚拟代理国际会议论文集》，第13届国际智能虚拟代理会议论文集，IVA 2013）。第13届智能虚拟代理国际会议论文集。第十三届智能虚拟代理国际会议论文集，IVA 2013，LNCS，第8108卷（2013），Springer），44-57 [70] Rott，A.，“仅仅因为”：认真对待信仰基础，（《1998年逻辑学术讨论会：1998年ASL欧洲夏季会议记录》，《98年逻辑学术研讨会：1998年欧洲ASL夏季会议记录，逻辑讲义》，第13卷（1998年），符号逻辑协会），387-408·Zbl 0942.03025号 [71] Scasselli，B.，人形机器人的思维理论，Auton。机器人，12，13-24（2002）·Zbl 1012.68641号 [72] Shoham，Y.，《意图逻辑理论与数据库视角》，J.Philos。日志。，38, 6, 633-648 (2009) ·Zbl 1211.03030号 [73] Stalnaker，R.，《共同点》，语言学家。菲洛斯。，25, 5-6, 701-721 (2002) [74] van Benthem，J.，《信念修正的动态逻辑》，J.Appl。非类别。日志。，17, 2, 129-155 (2007) ·Zbl 1186.03033号 [75] van Benthem，J.，跟踪信息，（Bimbó，K.，J.Michael Dunn on information Based Logics。J.Michael Dunn on information Based Logics，Outstanding Contributions to Logic（2016），施普林格），363-389·Zbl 1439.03042号 [76] van Benthem，J。；Velázquez-Quesada，F.R.，《意识的动力学》，《综合》，177，5-27（2010）·Zbl 1215.03030号 [77] van Benthem，J。；van Eijck，J。；Kooi，B.，《沟通与变革的逻辑》，Inf.Comput。，204, 11, 1620-1662 (2006) ·2012年3月11日 [78] van Benthem，J。；Fernández-Duque，D。；Pacuit，E.，《证据逻辑：邻域结构的新视角》，（第九届模态逻辑进展会议论文集。第九届模型逻辑进展会议文献集，AiML 9（2012），大学出版物），97-118·Zbl 1291.03027号 [79] 范德霍克，W。；伊利耶夫·P。；Wooldridge，M.，《揭示与隐藏的逻辑》，（《自治代理与多代理系统国际会议论文集》，《自治代理和多代理系统问题国际会议论文录》，AAMAS 2012（2012），IFAAMAS），1115-1122 [80] van Ditmarsch，H.等人。；French，T.，《知识和意识变化的语义学》，J.Log。语言信息，23，2，169-195（2014）·Zbl 1305.68163号 [81] van Ditmarsch，H。；Kooi，B.，《本体和认知变化的语义结果》（2006），CoRR·Zbl 1261.03081号 [82] van Ditmarsch，H。；法语，T。；Velázquez-Quesada，F.R.，《知识和意识的行动模型》，（《自治代理和多代理系统国际会议论文集》，《自治代理与多代理系统问题国际会议论文录》，2012年（2012），IFAAMAS），1091-1098 [83] van Ditmarsch，H.P。；范德霍克，W。；Kooi，B.，《动态认识逻辑》（2007），Kluwer学术出版社·Zbl 1156.03320号 [84] van Ditmarsch，Hans P。；范德霍克，威比；Kooi，Barteld P.，带赋值的动态认知逻辑，（第四届自治代理和多代理系统国际联合会议论文集，第四届自主代理和多智能体系统国际联合大会论文集，AAMAS 2005（2005）），141-148 [85] van Ditmarsch，H.等人。；Herzig，A。；朗·J。；马奎斯，P.，《反思性遗忘》，《综合》，169,2,405-423（2009）·Zbl 1180.03018号 [86] Velázquez-Quesada，F.R.，《邻里模型中的显性和隐性知识》，（第四届逻辑、理性和互动国际研讨会论文集。第四届关于逻辑、理性与互动国际研讨会文献集，LORI 2013。第四届逻辑、理性与互动国际研讨会论文集。第四届逻辑、合理性和互动国际研讨会论文集，LORI 2013，LNCS，第8196卷（2013），Springer），239-252·Zbl 1407.03025号 [87] Wansing，H.，推理知识和信仰的一般可能世界框架，Stud.Log。，49, 523-539 (1990) ·Zbl 0744.03028号 [88] Wassermann，R.，《资源有限信念修正》，Erkentnis，50，2-3，429-446（1999）·Zbl 0962.03011号 [89] Williamson，T.，《不精确知识，思维》，101217-242（1992） [90] 温菲尔德，A.F.T.，《人工心理理论实验：从安全到讲故事》，Front。机器人。AI，5，75（2018） [91] 杨国忠。；Bellingham，J。；杜邦，体育。；菲舍尔，P。；弗洛里迪，L。；完全，R。；雅各布斯坦，N。；库马尔，V。；麦克纳特，M。；梅里菲尔德，R。；B.J.纳尔逊。；斯卡塞利，B。；Taddeo，M。；泰勒，R。；维洛索，M。；Wang，Z.L。；Wood，R.，《科学机器人的重大挑战》，科学。机器人。，3, 14 (2018) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。