劳拉·佐丹奴；瓦伦蒂娜·格里奥齐 多引用闭包的重建。 （英语） Zbl 1504.68210号 Artif公司。智力。 290，文章ID 103398，35 p.（2021）. 摘要：本文描述了一种基于理性闭包的处理KLM优先逻辑中异常的优先方法。众所周知，理性闭包不允许独立处理概念的不同可解释属性的继承。在这项工作中，我们考虑了一种替代闭包构造，称为多偏好闭包（MP-closure），它首先被考虑用于DL中的异常推理。我们在命题情况下重建了MP-闭包的概念，并表明它是Lehmann词典学闭包的自然（较弱）变体，在某些情况下似乎过于大胆。MP闭包定义了一个优先结果关系，虽然比字典闭包弱，但比相关闭包强。 引用于4文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词：非单调推理；优先语义；有理闭合；知识表示 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{V.Gliozzi}，Artif。智力。290，文章ID 103398，35 p.（2021；Zbl 1504.68210） 全文： 内政部 arXiv公司 参考文献： [1] Adams，E.，《条件逻辑》（1975），D.Reidel:D.Reidel Dordrecht·Zbl 0324.02002号 [2] 巴德，F。；埃克，A。；克恩·伊斯伯纳，G。；Wilhelm，M.，概率描述逻辑ALC（{}^{ME}）中一致性问题的复杂性，（组合系统的前沿——第12国际交响乐团，2019年FroCoS，英国伦敦，2019月4日至6日，Proceedings（2019）），167-184·Zbl 1435.68309号 [3] 拜尔勒，C。；艾奇霍恩，C。；克恩·伊斯伯纳，G。；Kutsch，S.，条件知识库的怀疑c-推理的性质及其作为约束满足问题的实现，Ann.Math。Artif公司。智力。，83, 3-4, 247-275 (2018) ·Zbl 1448.68397号 [4] 拜尔勒，C。；库奇，S。；Breuers，H.，关于极小c-表示集诱导的推理关系的有理单调性和弱有理单调性，（第三十二届佛罗里达州人工智能国际研究会会议记录。第三十二次佛罗里达州人工智慧国际研究会大会记录，美国佛罗里达州萨拉索塔，2019年5月19日至22日（2019年）），458-463 [5] Benferhat，S。；Dubois，D。；Prade，H.，可能性逻辑：从非单调性到逻辑编程，（推理和不确定性的符号和定量方法，欧洲会议，ECSQARU'93，西班牙格拉纳达，1993年11月8日至10日，会议记录（1993）），17-24 [6] Benferhat，S。；Saffiotti，A。；Smets，P.，信念函数和默认推理，Artif。智力。，122, 1-2, 1-69 (2000) ·Zbl 0948.68112号 [7] Bonatti，P.A.，所有描述逻辑的Rational闭包，Artif。智力。，274, 197-223 (2019) ·Zbl 1478.68345号 [8] 博纳蒂，P.A。；Sauro，L.，关于非单调描述逻辑DL^N，Artif的逻辑性质。智力。，248，85-111（2017）·Zbl 1420.68199号 [9] R.展位。；Paris，J.B.，《关于用积极知识和消极知识合理封闭知识库的说明》，J.Log。语言信息，7，2，165-190（1998）·Zbl 0906.03026号 [10] 波扎托，L。；艾特，T。；Serafini，L.，《用合理的例外增强上下文知识库》，Artif。智力。，257, 72-126 (2018) ·Zbl 1444.68196号 [11] Brewka，G.，首选子理论：默认推理的扩展逻辑框架，（第11届国际人工智能联合会议论文集。第11届国际人工智能联合会议论文集，美国密歇根州底特律，1989年8月（1989年）），1043-1048·Zbl 0713.68053号 [12] Brewka，G.，一种基于等级的定性偏好描述语言，（《第十六届欧洲人工智能会议论文集》，《第十六次欧洲人工智能大会论文集》2004年，西班牙巴伦西亚，2004年8月22日至27日（2004）），303-307 [13] A.Britz。；Varzinczak，I.，可撤销ALC的上下文理性闭包（扩展摘要），（第32届描述逻辑国际研讨会论文集，第32届描述性逻辑国际研讨会，挪威奥斯陆，2019年6月18日至21日（2019年））·Zbl 1452.68180号 [14] Britz，K。；Varzinczak，I.J.，《可废止包容中的合理性和背景》，（第十届信息和知识系统发现国际研讨会，第十届资讯和知识系统建立国际研讨会，FoIKS 2018，布达佩斯，2018年5月14日至18日（2018）），114-132·兹比尔1508.68356 [15] 卡西尼，G。；哈里森，M。；Meyer，T。；Swan，R.，可废止包含的任意排序，（第32届描述逻辑国际研讨会论文集。第32届描述性逻辑国际研讨会文献集，挪威奥斯陆，2019年6月18日至21日（2019年）） [16] 卡西尼，G。；Meyer，T。；穆德利，K。；Nortje，R.，《相关闭包：描述逻辑的一种新的可废止推理形式》（JELIA 2014）。JELIA 2014，LNCS，第8761卷（2014），Springer），92-106·Zbl 1432.68433号 [17] 卡西尼，G。；Meyer，T。；穆德利，K。；美国萨特勒。；Varzinczak，I.，将可失败性引入OWL本体论，（语义网-ISWC 2015-第14届国际语义网会议，美国宾夕法尼亚州伯利恒，2015年10月11日至15日，会议记录，第二部分（2015）），409-426 [18] 卡西尼，G。；Meyer，T。；Varzinczak，I.，《超越理性闭包的可撤销蕴涵》，（《人工智能中的逻辑学——第16届欧洲会议》，2019年JELIA 2019年5月7日至11日，意大利伦德，Proceedings（2019）），182-197·Zbl 1525.68159号 [19] 卡西尼，G。；Meyer，T。；瓦尔津扎克，I.J。；Moodley，K.，《描述逻辑中的非单调推理：ABox的理性闭包》（DL 2013，第26届描述逻辑国际研讨会，DL 2013年，第26次描述逻辑国际会议，CEUR研讨会论文集，第1014卷（2013）），600-615，CEUR-WS.org [20] 卡西尼，G。；Straccia，U.，《可废止描述逻辑的理性闭包》（Janhunen，T.；Niemelä，I.，《第十二届欧洲人工智能逻辑会议论文集》（JELIA 2010）。《第十二届欧洲人工智能逻辑会议记录》（JELIA 2010），《人工智能讲义》，第6341卷（2010年9月），施普林格：施普林格赫尔辛基，芬兰），77-90·Zbl 1306.68187号 [21] 卡西尼，G。；斯特拉契亚，U.，《基于可失效继承的描述逻辑》（Walsh，T.，《第22届国际人工智能联合会议论文集》（2011年7月），摩根考夫曼：摩根考夫曼巴塞罗那，西班牙），813-818 [22] 卡西尼，G。；斯特拉契亚，U.，《基于可失效继承的描述逻辑》，J.Artif。智力。研究，48，415-473（2013）·兹比尔1360.68794 [23] 卡西尼，G。；美国斯特拉契亚，《走向模糊逻辑的理性闭包：命题哥德尔逻辑的案例》，（《程序设计、人工智能和推理的逻辑——第19届国际会议》，LPAR-19，南非斯特伦博什，2013年12月14日至19日，《会议录》（2013）），213-227·Zbl 1408.03019号 [24] Geffner，H.，《缺省推理——因果和条件理论》（1992），麻省理工学院出版社 [25] Geffner，H。；Pearl，J.，《条件蕴涵：桥接默认推理的两种方法》，Artif。智力。，53, 2-3, 209-244 (1992) ·Zbl 1193.68235号 [26] Gil，O.F.，关于非单调描述逻辑ALC+T_min（2014），CoRR [27] 佐丹奴，L。；Gliozzi，V.，《关于本体论中异常的推理：多参考语义的近似》，（《关于偏好、不确定性和模糊性推理的逻辑第二次研讨会论文集》，IJCAR的PRUV2018年7月19日，英国牛津·Zbl 07170135号 [28] 佐丹奴，L。；Gliozzi，V.，《本体论中异常的推理：从词典学封闭到怀疑论封闭》（2018），CoRR [29] 佐丹奴，L。；Gliozzi，V.，《关于DLs中多个方面的推理：语义和闭包构造》（2018），CoRR [30] 佐丹奴，L。；Gliozzi，V.，《本体论中异常的推理：多参考语义的近似》，（《不确定性推理的符号和定量方法》，第15届欧洲会议，2019年9月18日至20日，塞尔维亚贝尔格莱德，ECSQARU 2019，Proceedings（2019）），212-225·Zbl 07170135号 [31] 佐丹奴，L。；Gliozzi，V。；Olivetti，N。；Pozzato，G.L.，《优先描述逻辑》（Dershowitz，N.；Voronkov，A.），《2007年LPAR会议录》（第14届编程、人工智能和推理逻辑会议）。2007年LPAR会议记录（第14届程序设计、人工智能和推理逻辑会议），LNAI，第4790卷（2007年10月），斯普林格-弗拉格：斯普林格-埃里温，亚美尼亚），257-272·兹比尔1137.68590 [32] 佐丹奴，L。；Gliozzi，V。；Olivetti，N。；Pozzato，G.L.，非单调推理的KLM逻辑的分析表计算，ACM Trans。计算。日志。，10, 3 (2009) ·Zbl 1351.03004号 [33] 佐丹奴，L。；Gliozzi，V。；Olivetti，N。；Pozzato，G.L.，《关于典型性推理的非单调描述逻辑》，Artif。智力。，195165-202（2013）·Zbl 1270.68281号 [34] 佐丹奴，L。；Gliozzi，V。；Olivetti，N。；波扎托，G.L.，理性闭包的语义表征：从命题逻辑到描述逻辑，人工制品。智力。，226, 1-33 (2015) ·Zbl 1346.68186号 [35] Gliozzi，V.，《有理闭包的最小模型语义》（Kern-Isberner，G.；Wassermann，R.，NMR 2016，第16届非单调国际研讨会，推理。NMR 2016年，第16次非单调国际会议，推理，南非开普敦（2016）） [36] Gliozzi，V.，《关于DL合理闭合中多方面的推理》，（2016年11月29日至12月1日，意大利热那瓦，意大利人工智能协会第十六届国际会议，AI*IA 2016年）， 392-405 ·兹比尔1430.68306 [37] Kern-Isberner，G.，《非单调推理中的条件句和信念修正——将条件句视为代理》，《计算机科学讲义》，第2087卷（2001），Springer·Zbl 0978.03014号 [38] Kern-Isberner，G.，《信念修正中条件保留原则的彻底公理化》，《数学年鉴》。Artif公司。智力。，40, 1-2, 127-164 (2004) ·Zbl 1067.68141号 [39] 克恩·伊斯伯纳，G。；Ritterskamp，M.，系统Z以外默认推理的偏好融合，J.Autom。原因。，45, 1, 3-19 (2010) ·Zbl 1205.68425号 [40] 科尼奇尼，S。；马奎斯·P。；Vesic，S.，最大一致子集选择的理性推理关系，（《第二十届国际人工智能联合会议论文集》，2019年8月10日至16日，中国澳门，2019（2019）），1749-1755 [41] 库特拉斯，哥伦比亚特区。；Liaskos，K。；莫伊泽斯，C。；Rantsoudis，C.，《通过拓扑和数学分析进行默认推理：初步报告》，（《知识表示和推理原则：第十六届国际会议论文集》，KR 2018，亚利桑那州坦佩，2018年10月30日-11月2日（2018）），267-276 [42] 克劳斯，S。；莱曼，D。；Magidor，M.，非单调推理，优先模型和累积逻辑，Artif。智力。，44, 1-2, 167-207 (1990) ·Zbl 0782.03012号 [43] 莱曼，D。；Magidor，M.，有条件知识库需要什么？，Artif公司。智力。，55, 1, 1-60 (1992) ·兹比尔0762.68057 [44] Lehmann，D.J.，《默认推理的另一个观点》，Ann.Math。Artif公司。智力。，15, 1, 61-82 (1995) ·Zbl 0857.68096号 [45] Lukasiewicz，T.，表达概率描述逻辑，人工制品。智力。，172, 852-883 (2008) ·Zbl 1182.68283号 [46] Nute，D.，《条件逻辑主题》（1980），Reidel:Reidel Dordrecht·Zbl 0453.03016号 [47] Patel-Schneider，P。；海耶斯，P。；Horrocks，I.，OWL网络本体语言；语义与抽象语法（2002） [48] Pearl，J.，《合理推理的智能系统网络中的概率推理》（1988），Morgan Kaufmann [49] Pearl，J.，System Z：默认值的自然排序及其对非单调推理的易处理应用，（Parikh，R.，TARK，第三届知识推理理论方面会议（1990），Morgan Kaufmann:Morgan Koufmann Pacific Grove，CA，USA），121-135 [50] 彭塞尔，M。；Turhan，A.，《可解描述逻辑中的推理——在有理和相关语义下计算标准推理》，《国际近似推理》。，103, 28-70 (2018) ·Zbl 1448.68399号 [51] Weydert，E.，System jlz-通过最小排序结构进行理性默认推理，J.Appl。日志。，1, 3-4, 273-308 (2003) ·Zbl 1076.68076号 [52] 威廉，M。；Kern Isberner，G.，概率描述逻辑ALC\（｛｝^｛M E｝\）的最大熵计算，（描述逻辑、理论组合和所有那些。描述逻辑、理论组合和所有那些，LNAI，第11560卷（2019）），588-609·Zbl 1444.68193号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。