苏·埃兹吉·伊拉兹；路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格 自认知均衡逻辑和认知规范。 （英语） Zbl 1432.68453号 Artif公司。智力。 282，文章ID 103249，第23页（2020）. 摘要：认知规范通过可能出现在规则体中的认知模态操作符扩展了析取答案集程序。它们的语义是以世界观为基础的，世界观是答案集的集合，其思想是认知模态操作符对这些答案集进行量化。文献中提出了几个这样的语义。我们在这里提出了一种基于here-and-there逻辑的新语义：我们在其语言中添加了认知模态操作符，并定义了认知here-and-here模型。然后我们依次定义了认知均衡模型和自认知均衡模型。前者是从认知的随处模型中获得的，其方式与皮尔斯的均衡模型从随处模型获得的方式完全相同，即通过最小化真理；它们为平衡逻辑提供了一种认知扩展。后者是通过最大化认知可能性集从前者获得的，它们为Gelfond的认知规范提供了一种新的语义。对于这两种语义，我们都建立了一个强等价的结果：我们通过在认知随处逻辑中的逻辑等价来刻画两个认知程序的强等价性。最后，我们将我们的方法与认知规范的现有语义进行了比较，并通过指出语义建议应该满足的一些形式属性，讨论了哪些形式能够提供更直观的结果。 引用于4文件 MSC公司： 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑（包括信念变化） 68N17号 逻辑编程 关键词：答案集编程；认知规范；认知逻辑程序；随处可见的逻辑；平衡逻辑；模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit{E.I.Su}等人，Artif。智力。282，文章ID 103249，23 p.（2020；Zbl 1432.68453） 全文： 内政部 链接 参考文献： [1] Baral，C。；Gelfond，M.，《逻辑编程和知识表示》，J.Log。程序。，19, 73-148 (1994) ·Zbl 0820.68028号 [2] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新世代。计算。，365-386年3月9日（1991年）·Zbl 0735.68012号 [3] Gelfond，M.，《强烈的自省》，（Dean，T.L.；McKeown，K.R.，《第九届全国人工智能会议论文集》，第1卷。第九届全国人工智能会议记录，第1卷，阿纳海姆，加利福尼亚州，美国，1991年（1991年），AAAI出版社/麻省理工学院出版社，386-391 [4] Gelfond，M.，《不完全信息逻辑编程和推理》，《数学年鉴》。Artif公司。智力。，12, 1-2, 89-116 (1994) ·Zbl 0858.68013号 [5] Gelfond，M.，《认知规范的新语义》，（Delgrand，J.P.；Faber，W.，《逻辑编程和非单调推理——第11届国际会议》。《逻辑编程与非单调推理》——第11次国际会议，LPNMR 2011，加拿大温哥华，2011年5月16日至19日。诉讼程序。逻辑程序设计与非单调推理——第11届国际会议。2011年5月16日至19日，加拿大温哥华，第11届逻辑编程与非单调推理国际会议，LPNMR 2011。《计算机科学讲义》，第6645卷（2011年），施普林格出版社，260-265·Zbl 1327.68249号 [6] Kahl，P.T.，《精炼认知逻辑程序的语义》（2014年5月），德克萨斯理工大学计算机科学系：德克萨斯理工学院，美国德克萨斯州卢布洛克计算机科学系，博士论文 [7] Kahl，P.T。；Leclerc，A.P。；Son，T.C.，一个并行记忆高效的认知逻辑程序求解器：更难、更好、更快（2016），CoRR [8] Chen，J.，涵盖认知规范概念的广义仅知逻辑（GOL），J.Log。计算。，7, 2, 159-174 (1997) ·Zbl 0877.03016号 [9] 王凯。；Zhang，Y.，嵌套认知逻辑程序，（Baral，C.；Greco，G.；Leone，N。；Terracina，G.，《逻辑编程与非单调推理》，第八届国际会议。逻辑编程与非单调推理，第八届国际会议，LPNMR 2005，意大利迪亚曼特，2005年9月5-8日，会议记录。逻辑程序设计与非单调推理，第八届国际会议。逻辑编程和非单调推理，第八届国际会议，LPNMR 2005，迪亚曼特，意大利，2005年9月5-8日，计算机科学论文集，第3662卷（2005），斯普林格），279-290·Zbl 1152.68418号 [10] Truszczynski，M.，《重新审视认知规范》（Balduccini，M.；Son，T。逻辑编程、知识表示和非单调推理——纪念迈克尔·盖尔丰德65岁生日的文章。逻辑编程、知识表示和非单调推理——迈克尔·盖尔芬德65岁生日之际的论文，计算机科学讲稿，第6565卷（2011），施普林格），315-333·Zbl 1326.68280号 [11] Kahl，P。；Watson，R。；巴莱，E。；Gelfond，M。；Zhang，Y.，《认知规范的语言（精炼）》，包括原型求解器J.Log。计算。(2015) ·Zbl 1489.68272号 [12] 沈毅。；Eiter，T.，《评估答案集编程中的认知否定》，Artif。智力。，237, 115-135 (2016) ·Zbl 1358.68278号 [13] 儿子，T.C。；Le，T。；Kahl，P.T。；Leclerc，A.P.，《论认知逻辑程序的计算世界观》，Sierra[53]，第1269-1275页 [14] Kahl，P.T。；Leclerc，A.P.，《具有世界观约束的认识论逻辑程序》，（Pal，A.D.；Tarau，P.；Saeedloei，N。；Fodor，P.，第34届逻辑编程国际会议的技术通信。第34届逻辑程序设计国际会议技术交流，2018年7月14日至17日，英国牛津。第34届逻辑程序设计国际会议技术交流。第34届逻辑程序设计国际会议的技术交流，2018年7月14日至17日，英国牛津，OASICS，第64卷（2018），Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），1:1-1:17，https://doi.org/10.4230/OASIcs.ICLP.2018.1 [15] Pearce，D.，稳定模型和答案集的新逻辑特征，（Dix，J.；Pereira，L.M.；Przymusinski，T。逻辑程序设计的非单调扩展。逻辑编程的非单调扩展，NMELP’96，Bad Honnef，德国，1996年9月5日至6日，论文集。逻辑程序设计的非单调扩展。逻辑程序设计的非单调扩展，NMELP’96，Bad Honnef，德国，1996年9月5日至6日，精选论文，计算机科学讲义，第1216卷（1996），Springer），57-70，https://doi.org/10.1007/BFb0023801 [16] 皮尔斯，D.，《平衡逻辑》，《数学年鉴》。Artif公司。智力。，47, 1-2, 3-41 (2006) ·Zbl 1117.03039号 [17] Heyting，A.，Die formalen Regeln der直觉主义逻辑，Sitz.ber。普劳斯。阿卡德。威斯康辛州。，42, 71, 158-169 (1930) ·JFM 56.0823.01号机组 [18] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等效逻辑程序》，ACM Trans。计算。日志。，2, 4, 526-541 (2001) ·Zbl 1365.68149号 [19] Fariñas del Cerro，L。；赫齐格，A。；Su，E.I.，认识论均衡逻辑，（Yang，Q.；Wooldridge，M.J.，第二十四届国际人工智能联合会议论文集。第二十四届国际人工智能联合会议论文集，2015年7月25日至31日，阿根廷布宜诺斯艾利斯，2015年7月25日至31日，AAAI出版社），2964-2970 [20] 沈毅。；Eiter，T.，《评估答案集编程中的认知否定（扩展摘要）》，载于：Sierra[53]，第5060-5064页 [21] Su，E.I.，通过模态概念扩展平衡逻辑。（《逻辑平衡概念模型扩展》（2015），图卢兹信息研究所：法国图卢兹信息化研究所，博士论文 [22] Zhang，Y。；张毅，《认识论规范与一致性规划》，（第三十届AAAI人工智能会议研讨会，第三十届人工智能AAAI会议研讨会，2017年2月4日至9日，星期六）。第三十一届AAAI人工智能会议研讨会。《第三十届AAAI人工智能会议研讨会》，2017年2月4日至9日，星期六，《AAAI研讨会WS-17》，第WS-17卷（2017），AAAI出版社：美国加利福尼亚州旧金山AAAI新闻社） [23] Cabalar，P。；范迪诺，J。；Fariñas del Cerro，L.，《分裂认知逻辑程序》，收录于：Balduccini等人[52]，第120-133页·Zbl 1522.68103号 [24] 爱洛，L.C。；Massacci，F.，规划安全协议攻击的可执行规范语言，（第13届IEEE计算机安全基础研讨会论文集。第13届EEE计算机安全基础会议论文集，CSFW'00，2000年7月3-5日（2000），IEEE计算机学会：英国剑桥IEEE计算机协会），88-102 [25] 爱洛，L.C。；Massacci，F.，《验证逻辑编程中的安全协议规划》，ACM Trans。计算。日志。，2, 4, 542-580 (2001) ·Zbl 1365.68386号 [26] 爱洛，L.C。；Massacci，F.，《策划对安全协议的攻击：逻辑编程中的案例研究》（Kakas，A.C.；Sadri，F.），《计算逻辑：逻辑编程及其以外》（Computational logic:logic programming and Beyond），罗伯特·A·科瓦尔斯基（Robert A.Kowalski）的论文，第一部分，《计算逻辑学：逻辑编程及以外》（Part I.ComputationalLogic:logic Programmining and Be。科瓦尔斯基，第一部分，计算机科学课堂讲稿，第2407卷（2002年），施普林格出版社，533-560，https://doi.org/10.1007/3-540-45628-7_20 ·Zbl 1012.68517号 [27] Lifschitz，V。；Tang，L.R。；特纳，H.，《逻辑程序中的嵌套表达式》，《数学年鉴》。Artif公司。智力。，25, 3-4, 369-389 (1999) ·Zbl 0940.68075号 [28] Fischer-Servi，G.，《关于直觉主义基础的模态逻辑》，Stud.Log。，36, 4, 141-149 (1976) ·Zbl 0364.02015 [29] Fariñas del Cerro，L。；Raggio，A.R.，直觉模态逻辑的一些结果，Log。分析。，26, 102, 219-224 (1983) ·Zbl 0544.03001号 [30] 辛普森，A.K.，《直觉模态逻辑的证明理论和语义》（1994年11月），爱丁堡大学信息学院，理工学院，博士论文 [31] 比尔曼，G.M。；de Paiva，V.，《关于直觉主义模态逻辑》，Stud.Log。，65, 3, 383-416 (2000) ·Zbl 0963.03033号 [32] Moore，R.C.，自认知逻辑的可能世界语义，（《非单调推理研讨会论文集》，非单调推理会议论文集，美国纽约州新帕尔茨Mohonk山庄Mohonk Mountain House，邮编12561，1984年10月17日至19日（1984），美国人工智能协会（AAAI），344-354 [33] Levesque，H.J.，《我所知道的一切：自认知逻辑研究》，Artif。智力。，42, 2-3, 263-309 (1990) ·兹比尔0724.03019 [34] Cabalar，P。；范迪诺，J。；Fariñas del Cerro，L.公司。；皮尔斯，D。；Valverde，A.，《关于逻辑编程中原子可定义性和良好支持性的特性》，（Oliveira，E.C.；Gama，J.；Vale，Z.A.；Cardoso，H。L.，《人工智能进展——第18届EPIA人工智能会议》。人工智能进展——第18届EPIA人工智能会议，2017年EPIA，葡萄牙波尔图，2017年9月5-8日，会议记录。人工智能进展——第18届EPIA人工智能会议。人工智能进展-第18届EPIA人工智能会议，EPIA 2017，葡萄牙波尔图，2017年9月5-8日，《计算机科学讲义》，第10423卷（2017），施普林格出版社，624-636，https://doi.org/10.1007/978-3-319-65340-2_51 [35] 布莱克本，P。；de Rijke，M。；《模态逻辑》，《剑桥理论计算机科学丛书》（2001），剑桥大学出版社·Zbl 0988.03006号 [36] Cabalar，P。；范迪诺，J。；Fariñas del Cerro，L.，《用自认知平衡逻辑建立世界观》，载于：Balduccini等人[52]，第134-147页·兹比尔1522.68524 [37] 范迪诺，J.，建立的（自动）认知均衡逻辑满足认知分裂，理论与实践。日志。程序。，19, 5-6, 671-687 (2019) ·Zbl 1434.68557号 [38] Su，E.I.，认识论答案集编程，（Calimeri，F.；Leone，N。；Manna，M.，《人工智能中的逻辑——第16届欧洲会议》。人工智能中的逻辑——第16届欧洲会议，2019年JELIA，意大利伦德，2019，5月7日至11日，会议记录。人工智能中的逻辑学——第16届欧洲会议。人工智能中的逻辑——第16届欧洲会议，2019年5月7日至11日，意大利伦德，JELIA 2019，计算机科学会议记录，第11468卷（2019），斯普林格），608-626·Zbl 1525.68179号 [39] Morak，M.，《认识论逻辑程序：不同的世界观》，（Bogaerts，B.；Erdem，E.；Fodor，P.；Formisano，a.；Ianni，G.；Inclezan，D.；Vidal，G.、Villanueva，a.；Vos，M.D.；Yang，F.，《第35届国际逻辑程序设计会议论文集（技术通信）》。第35届逻辑编程国际会议论文集（技术通信），ICLP 2019技术通信，美国新墨西哥州拉斯克鲁斯，2019年9月20日至25日，第306卷（2019）），52-64·Zbl 07453102号 [40] Costantini，S.，《关于认知逻辑程序中的认知否定和世界观》，理论与实践。日志。程序。，19, 5-6, 790-807 (2019) ·Zbl 1434.68071号 [41] Su，E.I.，强等价认知答案集程序（Alviano，M.；Greco，G。；Scarcello，F.，AI*IA 2019——人工智能进展——意大利人工智能协会第十八届国际会议。AI*IA 2019——人工智能进展——意大利人工智能协会第十八届国际会议，意大利伦德，2019年11月19日至22日，会议记录。AI*IA 2019——人工智能进展——意大利人工智能协会第十八届国际会议。AI*IA 2019——人工智能进展——意大利人工智能协会第十八届国际会议，2019年11月19日至22日，意大利伦德，计算机科学会议记录，第11946卷（2019），斯普林格），101-115 [42] 阿瓜多，F。；Cabalar，P。；迪盖兹，M。；佩雷斯，G。；维达尔，C.，《时间均衡逻辑：调查》，J.Appl。非类别。日志。，23, 1-2, 2-24 (2013) ·兹比尔1400.68199 [43] Diéguez，M.，《时态答案集编程》（2015年2月），Corunna大学，计算机科学系，Corunna:Coruna大学，计算机学系，西班牙科伦纳大学，博士论文 [44] 巴尔比亚尼，P。；Diéguez，M.，《时断时续》（Michael，L.；Kakas，A。第15届欧洲会议，《人工智能中的逻辑》。人工智能中的逻辑——第十五届欧洲会议，JELIA 2016，拉纳卡，塞浦路斯，2016年11月9日至11日，会议记录。人工智能中的逻辑——第15届欧洲会议。人工智能中的逻辑——第15届欧洲会议，JELIA 2016，拉纳卡，塞浦路斯，2016年11月9日至11日，计算机科学论文集，第10021卷（2016）），81-96·Zbl 1483.68365号 [45] 阿瓜多，F。；Cabalar，P。；迪盖兹，M。；佩雷斯，G。；维达尔，C.，《带过去算子的时间均衡逻辑》，J.Appl。非类别。日志。，27, 3-4, 161-177 (2017) ·Zbl 1398.03077号 [46] Cabalar，P。；卡明斯基，R。；Schaub，T。；Schuhmann，A.，有限迹上的时态答案集编程，理论与实践。日志。程序。，18, 3-4, 406-420 (2018) ·Zbl 1451.68256号 [47] Bosser，A。；Cabalar，P。；迪盖兹，M。；Schaub，T.，引入线性动态逻辑的时间稳定模型，（Thielscher，M.；Toni，F。；Wolter，F.，《知识表示和推理原则：第16届国际会议论文集》。《知识表示和推理原理：第十六届国际会议论文集》，KR 2018，亚利桑那州坦佩，2018年10月30日-11月2日（2018），AAAI出版社，12-21 [48] Fariñas del Cerro，L。；赫齐格，A。；Su，E.I.，《平衡逻辑与动态逻辑的结合》，（Cabalar，P.；Son，T.C.，《逻辑编程与非单调推理》，第十二届国际会议。《逻辑编程和非单调推理，第十二次国际会议》，LPNMR 2013，西班牙科伦纳，2013年9月15日至19日。诉讼程序。逻辑程序设计与非单调推理，第12届国际会议。逻辑编程和非单调推理，第十二届国际会议，LPNMR 2013，西班牙科伦纳，2013年9月15日至19日。计算机科学论文集，第8148卷（2013），施普林格），304-316·Zbl 1405.68352号 [49] Fariñas del Cerro，L。；赫齐格，A。；Su，E.I.，《在模态逻辑中捕获平衡模型》，J.Appl。日志。，12, 2, 192-207 (2014) ·Zbl 1328.03018号 [50] Su，E.I.，关于自反自认知推理的单调观点，（Balduccini，M。；Janhunen，T.，《逻辑编程与非单调推理——第14届国际会议》。逻辑编程和非单调推理——第14届国际会议，LPNMR 2017，芬兰埃斯波，2017年7月3-6日，会议记录。逻辑程序设计与非单调推理——第14届国际会议。逻辑编程和非单调推理——第14届国际会议，LPNMR 2017，芬兰埃斯波，2017年7月3-6日，计算机科学论文集，第10377卷（2017），Springer），85-100·Zbl 1491.68210号 [51] Su，E.I.，《S4F相关的单调模态逻辑》（Monica，D.D.；Murano，A.；Rubin，S。；Sauro，L.，第18届意大利理论计算机科学会议和第32届意大利计算逻辑会议联合会议记录，与2017年IEEE测量和联网国际研讨会合办。2017年9月26日至28日，第18届意大利理论计算机科学会议和第32届意大利计算逻辑会议的联合会议记录，与2017年IEEE测量和网络国际研讨会合办，2017年IEEEM&N，意大利那不勒斯。第18届意大利理论计算机科学会议和第32届意大利计算逻辑会议的联合会议记录，与2017年IEEE测量和联网国际研讨会同期举行。《第十八届意大利理论计算机科学会议和第三十二届意大利计算逻辑会议联合会议论文集》，与2017年IEEE国际测量与网络研讨会合办，2017年IEEEM&N，意大利那不勒斯，2017年9月26日至28日，CEUR研讨会论文集，第1949卷（2017），346-360，CEUR-WS.org [52] （Balduccini，M.；Lierler，Y。；Woltran，S.，《逻辑编程与非单调推理——第15届国际会议》。逻辑编程和非单调推理——第15届国际会议，LPNMR 2019，费城，宾夕法尼亚州，美国，2019年6月3-7日，会议记录。逻辑程序设计与非单调推理——第15届国际会议。逻辑编程和非单调推理——第十五届国际会议，LPNMR 2019，费城，宾夕法尼亚州，美国，2019年6月3-7日，计算机科学论文集，第11481卷（2019），斯普林格）·Zbl 1410.68009号 [53] （Sierra，C.，《第二十六届国际人工智能联合会议论文集》，第二十六届人工智能国际联合会议论文，2017年8月19日至25日，澳大利亚墨尔本，2017（2017）），IJCAI.org 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。