佐丹奴，劳拉 具有典型性的模糊DL的KLM性质。 （英语） Zbl 07542368号 Vejnarová，Jiřina（编辑）等人，用符号和定量方法进行不确定性推理。第16届欧洲会议，ECSQARU 2021，捷克共和国布拉格，2021年9月21日至24日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12897, 557-571 (2021). 摘要：本文研究典型性模糊逻辑的性质。在最近的工作中，通过将深层神经网络视为条件知识库，提出了用典型算子扩展模糊逻辑，以定义多层感知器的模糊多参考语义。本文研究了它的性质。首先，考虑了具有典型性的fuzzy（mathcal{ALC}）的单调扩张（称为（mathcal{ALC{F}}），并重新构造了该逻辑优先结果关系的KLM性质。根据重新公式和考虑的模糊组合函数，大多数属性都得到了满足。然后我们通过引入忠实的加权知识库模型，它概括了相干的前面介绍的条件知识库模型，我们研究了它的性质。关于整个系列，请参见[兹比尔1487.68022]. 引用于2文件 MSC公司： 68层37 人工智能背景下的不确定性推理 关键词：知识表示;描述逻辑;优先语义;模糊逻辑 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}，莱克特。注释计算。科学。12897、557--571（2021；Zbl 07542368） 全文： 内政部 arXiv公司 参考文献： [1] 巴德，F。；加尔文人，D。；McGuinness，D。；Nardi，D。；Patel-Schneider，P.，《描述逻辑手册-理论、实现和应用》（2007），剑桥：剑桥大学出版社，剑桥·Zbl 1132.68055号 ·doi:10.1017/CBO9780511711787 [2] Baader，F.，Peñaloza，R.：具有一般概念包含公理的模糊描述逻辑是可判定的吗？参见：FUZZ-IEEE 2011，IEEE模糊系统国际会议，台湾台北，2011年6月27日至30日，会议记录，第1735-1742页。IEEE（2011） [3] 贝尔，C。；福克，T。；库奇，S。；Kern-Isberner，G.，System Z\（{}^{text{FO}}\）：一元一阶条件知识库的类系统Z排序函数的默认推理，国际期刊近似推理。，90, 120-143 (2017) ·Zbl 1419.68107号 ·doi:10.1016/j.ijar.2017.07.005 [4] Benferhat，S.，Dubois，D.，Prade，H.：可能性逻辑：从非单调性到逻辑编程。《推理和不确定性的符号和定量方法》，欧洲会议，ECSQARU 1993年，西班牙格拉纳达，1993年11月8日至10日，会议记录，第17-24页（1993） [5] Bobillo，F。；美国斯特拉契亚，《模糊OWL 2 EL中的推理重访》，《模糊集系统》。，351, 1-40 (2018) ·Zbl 1397.68167号 ·doi:10.1016/j.fss.2018.03.011 [6] 宾夕法尼亚州博纳蒂；卢茨，C。；Wolter，F.，《DLs中界限的复杂性》，J.Artif。智力。研究（JAIR），35，717-773（2009）·Zbl 1182.68275号 ·doi:10.1613/jair.2763 [7] 宾夕法尼亚州博纳蒂；Sauro，L.，关于非单调描述逻辑DL（｛｝^｛\text｛N｝｝）的逻辑性质，Artif。智力。，248, 85-111 (2017) ·Zbl 1420.68199号 ·doi:10.1016/j.artint.2017.04.001 [8] R.展位。；卡西尼，G。；Meyer，T。；Varzinczak，I.，关于命题典型逻辑的理性蕴涵，人工制品。智力。，277, 103178 (2019) ·Zbl 1478.68346号 ·doi:10.1016/j.artint.2019.103178 [9] 博格沃德，S。；Distel，F。；Peñaloza，R.，具有一般概念包含的模糊描述逻辑中可判定性的极限，Artif。智力。，218, 23-55 (2015) ·兹比尔1319.68211 ·doi:10.1016/j.artint.2014.09.001 [10] Borgwardt，S.，Peñaloza，R.：模糊描述逻辑的不确定性。收录于：Brewka，G.，Eiter，T.，McIlraith，S.A.（编辑）《知识表示和推理原则：第十三届国际会议论文集》，KR 2012年6月10日至14日，意大利罗马。AAAI出版社（2012） [11] 博格沃德，S。；Peñaloza，R.，《基于格的模糊描述逻辑的复杂性》，J.Data Semant。，2, 1, 1-19 (2013) ·doi:10.1007/s13740-012-0013-x [12] Brewka，G.：一种基于等级的描述语言，用于定性偏好。摘自：《第十六届欧洲人工智能会议论文集》，ECAI 2004，西班牙巴伦西亚，2004年8月22日至27日，第303-307页（2004） [13] Britz，A.，Varzinczak，I.：可废止ALC的上下文理性闭包（扩展抽象）。摘自：第32届描述逻辑国际研讨会会议记录，挪威奥斯陆，2019年6月18日至21日（2019年） [14] Britz，K.，Heidema，J.，Meyer，T.：语义优先包容。摘自：Brewka，G.，Lang，J.（编辑）《知识表示和推理原则：第十一届国际会议论文集》（KR 2008），澳大利亚悉尼，第476-484页。AAAI出版社，2008年9月 [15] Britz，K.，Varzinczak，I.J.：可撤销包容的合理性和背景。摘自：2018年5月14日至18日在布达佩斯举行的第十届信息和知识系统基础国际研讨会论文集，FoIKS 2018，第114-132页（2018）·Zbl 1508.68356号 [16] Casini，G.，Meyer，T.，Varzinczak，I.J.，Moodley，K.：描述逻辑中的非单调推理：ABox的理性闭包。参见：第26届描述逻辑国际研讨会（DL 2013）。CEUR研讨会论文集，第1014卷，第600-615页（2013年） [17] 卡西尼，G。；Straccia，美国。；Janhunen，T。；Niemelä，I.，《可废止描述逻辑的理性闭包》，《人工智能中的逻辑》，77-90（2010），海德堡：斯普林格出版社·Zbl 1306.68187号 ·doi:10.1007/978-3642-15675-59 [18] Casini，G.，Straccia，U.：可废止描述逻辑的词汇封闭。摘自：《澳大利亚本体论研讨会论文集》，第969卷，第28-39页（2012年）·兹比尔1306.68187 [19] 卡西尼，G。；美国斯特拉契亚。；Meyer，T.，有理闭包下标称安全极限的多项式时间包容算法，Inf.Sci。，501, 588-620 (2019) ·Zbl 1453.68177号 ·doi:10.1016/j.ins.2018.09.037 [20] Cerami，M.，Straccia，U.：关于具有Lukasiewicz t-范数的GCI的模糊描述逻辑的不可判定性。CoRR abs/1107.4212（2011年）。http://arxiv.org/abs/107.4212 [21] Cintula，P.、Hájek，P.和Noguera，C.（编辑）：数学模糊逻辑手册，第37-38卷。大学出版物（2011）·Zbl 1283.03001号 [22] Delgrand，J.，原型属性的一阶条件逻辑，Artif。智力。，33, 1, 105-130 (1987) ·Zbl 0654.68106号 ·doi:10.1016/0004-3702（87）90053-1 [23] Delgrand，J.，Rantsoudis，C.：一种基于偏好的方法，用于在一阶逻辑中表示默认值。In:第18届非单调推理国际研讨会，NMR 2020，研讨会笔记，2020年9月12日至14日（2020） [24] 佐丹奴，L。；Theseider Dupré，D。；Faber，W。；弗里德里希·G。；Gebser，M。；Morak，M.，深度神经网络模型的加权可解知识库和多参考语义，《人工智能中的逻辑》，225-242（2021），查姆：斯普林格，查姆·Zbl 07437044号 ·doi:10.1007/978-3-030-75775-5_16 [25] 佐丹奴，L。；Dupré，DT，在概念软件多参考轻量级DL中进行推理的ASP方法，理论与实践。日志。程序。，20, 5, 751-766 (2020) ·Zbl 1468.68212号 ·doi:10.1017/S1471068420000381 [26] Giordano，L.，Dupré，D.T.：深层神经网络模型的加权可解知识库和多参考语义。CoRR abs/2012.13421（2020）。https://arxiv.org/abs/2012.13421v2 ·Zbl 07437044号 [27] 佐丹奴，L。；Gliozzi，V。；埃斯波西托，F。；Pivert，O。；黑客，M-S；Ra-shi，ZW；Ferilli，S.，《将描述逻辑的优先扩展编码为（cal{SROIQ}）》，《智能系统基础》，248-258（2015），查姆：斯普林格，查姆·doi:10.1007/978-3-319-25252-027 [28] Giordano，L.，Gliozzi，V.：多参考闭合的重建。Artif公司。智力。290 (2021). doi:10.1016/j.artint.2020.103398·Zbl 1504.68210号 [29] Giordano，L.，Gliozzi，V.，Dupré，D.T.：关于一个看似合理的概念多参考语义及其与自组织映射的关系。收录于：Calimeri，F.，Perri，S.，Zumpano，E.（eds.）CILC 2020，Rende，Italy，2020年10月13日至15日。CEUR研讨会论文集，第2710卷，第127-140页（2020年）。CoRR abs/2103.06854中的扩展版本，https://arxiv.org/abs/2103.06854 [30] 佐丹奴，L。；Gliozzi，V。；Olivetti，N。；波萨托，德国劳埃德船级社；北卡罗来纳州德肖维茨。；Voronkov，A.，《优先描述逻辑，编程逻辑、人工智能和推理》，257-272（2007），海德堡：斯普林格·Zbl 1137.68590号 ·数字对象标识代码：10.1007/978-3-540-75560-9_20 [31] 佐丹奴，L。；Gliozzi，V。；Olivetti，N。；Pozzato、GL、ALC+T：描述逻辑的优先扩展，基金。通知。，96, 1-32 (2009) ·Zbl 1207.68369号 [32] 佐丹奴，L。；Gliozzi，V。；Olivetti，N。；Pozzato，GL，《理性闭包的语义表征：从命题逻辑到描述逻辑》，Artif。智力。，226, 1-33 (2015) ·Zbl 1346.68186号 ·doi:10.1016/j.artint.2015.05.001 [33] Haykin，S.：《神经网络——综合基础》。皮尔逊（1999）·Zbl 0934.68076号 [34] 休恩，V。；Ho、TB；Nakamori，Y.，《扎德模糊逻辑中语言模糊限制语的参数表示》，《国际期刊近似推理》。，30, 3, 203-223 (2002) ·兹比尔1019.03501 ·doi:10.1016/S0888-613X（02）00075-0 [35] Kern-Isberner，G.，《非单调推理和信念修正中的条件句》（2001），海德堡：施普林格出版社·Zbl 0978.03014号 ·doi:10.1007/3-540-44600-1 [36] 克恩·伊斯伯纳，G。；艾奇霍恩，C.，条件知识库的结构推理，逻辑研究。，102, 4, 751-769 (2014) ·兹比尔1359.03028 ·doi:10.1007/s11225-013-9503-6 [37] Kohonen，T.、Schroeder，M.、Huang，T.（编辑）：自组织地图，第三版。信息科学史普林格系列。斯普林格，海德堡（2001）。doi:10.1007/978-3-642-56927-2·Zbl 0957.68097号 [38] 克劳斯，S。；莱曼，D。；Magidor，M.，非单调推理，优先模型和累积逻辑，Artif。智力。，44, 1-2, 167-207 (1990) ·Zbl 0782.03012号 ·doi:10.1016/0004-3702（90）90101-5 [39] 莱曼，D。；Magidor，M.，有条件知识库需要什么？，Artif公司。智力。，55, 1, 1-60 (1992) ·Zbl 0762.68057号 ·doi:10.1016/0004-3702（92）90041-U [40] DJ莱曼（Lehmann），《默认推理的另一个观点》（Ann.Math）。Artif公司。智力。，15, 1, 61-82 (1995) ·Zbl 0857.68096号 ·doi:10.1007/BF01535841 [41] Lukasiewicz，T。；美国斯特拉契亚，《概率不确定性和模糊模糊性下的逻辑程序描述》，《国际近似推理》。，50, 6, 837-853 (2009) ·兹比尔1191.68691 ·doi:10.1016/j.ijar.2009.03.004 [42] 梅金森：累积推理的一般理论。摘自：《非单调推理》，第二届国际研讨会，格拉索，FRG，1988年6月13日至15日，论文集，第1-18页（1988）·Zbl 0675.03007号 [43] Pearl，J.，《合理推理智能系统网络中的概率推理》（1988），伯灵顿：摩根·考夫曼·Zbl 0746.68089号 [44] Pearl，J.：系统Z：默认值的自然排序，适用于非单调推理。载：《第三届知识推理理论方面会议论文集》（TARK 1990），美国加利福尼亚州太平洋格罗夫，1990年3月，第121-135页。摩根·考夫曼（1990） [45] 彭塞尔，M。；Turhan，A.，《可解释描述逻辑中的推理——在理性和相关语义下计算标准推理》，《国际近似推理》，103，28-70（2018）·Zbl 1448.68399号 ·doi:10.1016/j.ijar.2018.08.005 [46] Stoilos，G.，Stamou，G.B.，Tzouvaras，V.，Pan，J.Z.，Horrocks，I.：模糊OWL:不确定性和语义网。摘自：2005年11月11日至12日在爱尔兰戈尔韦举行的OWLED*05 OWL:经验和方向研讨会论文集。欧洲委员会研讨会论文集，第188卷。CEUR-WS.org（2005）。http://ceur-ws.org/Vol-188/sub16.pdf [47] 美国斯特拉契亚。；Gómez-Pérez，A。；Euzenat，J.，面向语义网的模糊描述逻辑（初步报告），《语义网：研究与应用》，167-181（2005），海德堡：斯普林格·doi:10.1007/11431053_12 [48] Weydert，E.，System JLZ-通过最小排序结构进行理性默认推理，J.Appl。日志。，1, 3-4, 273-308 (2003) ·Zbl 1076.68076号 ·doi:10.1016/S1570-8683（03）00016-8 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。