科斯塔斯·库特拉斯。;康斯坦蒂诺斯·利亚斯科斯;克里斯托斯·莫伊泽斯;克里斯托斯·诺米科斯;克里斯托斯·兰苏迪斯 拓扑和测度理论中的缺省结果关系。 （英语） Zbl 07504739号 安。数学。Artif公司。智力。 90，编号4，397-424（2022）. 摘要：默认的后果关系是一个行为良好的条件断言集合(默认值). 默认条件\（\alpha\mathrel|\joinel\sim\beta\）读作'如果\（阿尔法），然后正常\（\beta\）”，可以有多种解释，包括“尺寸”导向的解释：最多\（\字母\）-情况，\（\beta\）也是真的’. 通常，这要求将（（alpha\wedge\beta））-世界集作为（alpha）-世界的“大”子集，而将（alpha\ wedge\neg\ beta）-世界集合作为同一集合的“小”子集。从技术上讲，这是通过“最'广义量词（'最\（作为\）是\（Bs）’），我们继续研究使用数学分析工具定义此类量词时出现的默认结果关系。在拓扑中，我们用拓扑稠密集：我们表明，无限制拓扑解释引入了比荷兰皇家航空公司 优惠关系（系统对)而对无限集上有限补拓扑的限制捕获了理性后果（系统R（右）). 度量理论似乎是面向“大小”的默认条件处理的最合适工具，根据概率方法，它引入了一个相当弱的结果关系。然而，事实证明，我们的测量理论方法在本质上等同于J.霍桑的系统O（运行）补充有否定理性我们在本文中的结果表明，面向“大小”的默认推理解释是上下文敏感的，并且在“大多数”情况下它偏离了优先方法。 MSC公司： 第68页第27页 人工智能中的逻辑 68立方英尺 知识表示 03C80号 带有额外量词和运算符的逻辑 关键词：非单调逻辑;默认条件;广义量词 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Koutras}等人，《数学年鉴》。Artif公司。智力。90，第4号，397--424（2022；Zbl 07504739） 全文： 内政部 参考文献： [1] Abbott，S.，理解分析（2015），柏林：施普林格，柏林·Zbl 1318.26001号 ·doi:10.1007/978-1-4939-2712-8 [2] 亚当斯，C。；Franzosa，R.，《拓扑学导论：纯粹与应用》（2007），伦敦：皮尔逊出版社，伦敦 [3] Aiello，M.，Pratt-Hartmann，I.，van Benthem，J.（编辑）：《空间逻辑手册》。柏林施普林格出版社（2007）·Zbl 1172.03001号 [4] Baltag，A.，Bezhanishvili，N.，ÖzgüN，A.，Smets，S.：正当信念和证据拓扑。收录人：瓦哈纳·嫩，J.A.，赫沃宁，奥兰多。，de Queiroz，R.J.G.B.（编辑）《2016年WoLLIC会议录——逻辑、语言、信息和计算》，LNCS，第9803卷，第83-103页。斯普林格（2016）·Zbl 1478.03022号 [5] Bauldry，WC，《真实分析导论：教育方法》（2009），霍博肯：威利·Zbl 1183.00011号 ·数字对象标识代码：10.1002/9781118164419 [6] 拜尔勒，C。；Kern-Isberner，G.，《非单调逻辑和概率逻辑的语义研究》，《数学年鉴》。Artif公司。整数。，65, 2-3, 123-158 (2012) ·Zbl 1280.68245号 ·doi:10.1007/s10472-012-9310-1 [7] 贝尔，JL；Slomson，AB，《Models and Ultraproducts》（1969年），牛津：北韩，牛津·Zbl 0179.31402号 [8] Bochman，A.，《非单调推理和信念变化的逻辑理论》（2001），柏林：斯普林格出版社，柏林·Zbl 0977.03001号 ·doi:10.1007/978-3-662-04560-2 [9] Bressoud，DM，《微积分重新排序：大思想的历史》（2019），普林斯顿：普林斯顿大学出版社，普林斯顿·Zbl 1418.01001号 ·doi:10.2307/j.ctvc778s8 [10] Britz，K。；IJ Varzinczak，《从KLM风格的条件句到可解除的形式》，J.Appl。非类别。日志。，28, 1, 92-121 (2018) ·Zbl 1436.03129号 ·doi:10.1080/11663081.2017.1397325 [11] Carnielli，W.A.，Veloso，P.A.S.：超滤逻辑和通用推理。收录于：Gottlob，G.，Leitsch，A.，Mundici，D.（编辑）《计算逻辑与证明理论》，第五届Kurt Gȯdel Colloquium，KGC’97，《LNCS学报》，第1289卷，第34-53页。施普林格（1997）·Zbl 0884.03024号 [12] 德尔塞罗，LF；赫齐格，A。；Lang，J.，从基于排序的非单调推理到条件逻辑，人工智能。整数。，66, 2, 375-393 (1994) ·Zbl 0807.68083号 ·doi:10.1016/0004-3702（94）90031-0 [13] Croom，F.，《拓扑学原理》（2016），《米诺拉：多佛出版》，米诺拉 [14] 克鲁兹·菲利佩，L。；Rasga，J。；塞尔纳达斯，A。；Sernadas，C.，《离散测量几乎所有地方量化的完全公理化》，J.Log。计算。，18, 6, 885-911 (2008) ·Zbl 1157.03014号 ·doi:10.1093/log.com/exn014 [15] 德格兰德：违约是什么？。摘自：Brewka，G.，Marek，V.W.，Truszczynski，M.（编辑）《非单调推理》，《庆祝其成立30周年的论文》，第89-110页。大学出版物（2012） [16] Delgrand，J.P.，Renne，B.：关于默认条件的最小逻辑。参见：Beierle，C.、Brewka，G.、Thimm，M.（编辑）《理性的计算模型》，第73-83页。学院出版物（2016） [17] 艾特，T。；Lukasiewicz，T.，《基于条件知识库的默认推理：复杂性和可处理案例》，Artif。整数。，124, 2, 169-241 (2000) ·Zbl 0952.68139号 ·doi:10.1016/S0004-3702（00）00073-4 [18] Engelking，R.，《一般拓扑》（1989），柏林：赫尔德曼，柏林·Zbl 0684.54001号 [19] Folland，G.B.：《真实分析：现代技术及其应用》，第二版，威利出版社（1999年）·Zbl 0924.28001号 [20] Gabbay，D.：专家系统中非单调推理的理论基础。收录于：Apt，K.R.（编辑）《并发系统的逻辑和模型》，第439-457页。斯普林格（1985）·Zbl 0581.68068号 [21] Gabbay，D.，Schlechta，K.：通用逻辑中的条件和模块化（2011）·Zbl 1234.03001号 [22] Gabbay，D.M.，Woods，J.（编辑）：《二十世纪逻辑史手册中的逻辑和模式》，第7卷。爱思唯尔，阿姆斯特丹（2006）·Zbl 1135.03301号 [23] Goldblatt，R.：《数学模态逻辑：进化观》，第1-98页。第7卷，共页。收录：Gabbay，D.M.，Woods，J.（编辑）《二十世纪的逻辑和模态》，《逻辑史手册》。爱思唯尔，阿姆斯特丹（2006）·Zbl 1135.03301号 [24] Greever，J.：点集拓扑的理论和实例Brooks/Cole（1967）·兹伯利0171.21203 [25] Hawthorne，J.，表现得像阈值以上的条件概率的非单调条件句，J.Appl。日志。，5, 4, 625-637 (2007) ·Zbl 1140.03009号 ·doi:10.1016/j.jal.2006.03.013 [26] 霍桑，J.，《理性结果关系、波普尔函数及其排序结构入门》，《逻辑研究》。，102, 4, 731-749 (2014) ·Zbl 1359.03020号 ·doi:10.1007/s11225-013-9523-2 [27] 霍桑，J。；Makinson，D.，《不确定性推理规则的定量/定性分水岭》，《逻辑研究》。，86, 2, 247-297 (2007) ·Zbl 1130.03022号 ·数字对象标识代码：10.1007/s11225-007-9061-x [28] Herzig，A.，Besnard，P.：《知识表示：模态、条件和非单调推理》，第45-68页。第一卷：知识表示、推理和学习。收录：Marquis，P.，Papini，O.，Prade，H.（编辑）人工智能研究导览，第一卷：知识表示、推理和学习。施普林格（2020）（2020）·Zbl 1515.68040号 [29] JK Hunter，《真实分析导论》。草案。数学系（2014），网上提供：加州大学戴维斯分校，网上提供 [30] Jauregui，V.：模态、条件和非单调推理。新南威尔士大学计算机科学与工程系博士论文（2008） [31] 只是，W。；Weese，M.，《发现现代集合论I：基础》（1996），普罗维登斯：美国数学学会，普罗维登斯·Zbl 0854.04001号 [32] 只是，W。；Weese，M.，《发现现代集合论II：每位数学家的集合理论工具》（1997），普罗维登斯：美国数学学会，普罗维登斯·Zbl 0887.03036号 [33] 坎特，I。；马图舍克，J。；萨马尔，R.，《数学++：基础课程之外的精选主题》（2015），普罗维登斯：美国数学学会，普罗维登斯·Zbl 1330.00003号 ·doi:10.1090/stml/075 [34] Koutras，C.D.，Liaskos，K.，Moyzes，C.，Rantsoudis，C.：通过拓扑和数学分析进行默认推理：初步报告。收录于：Thielscher，M.、Toni，F.、Wolter，F.（编辑）《知识表示和推理原则：KR 2018年会议录》，第267-276页。AAAI出版社（2018） [35] 库特拉斯，CD；莫伊兹，C。；Rantsoudis，C.，《认知逻辑中缺省条件的重构》，《信息基础》，166，2，167-197（2019）·Zbl 1441.03017号 ·doi:10.3233/FI-2019-1799 [36] 库特拉斯，CD；Rantsoudis，C.，《在几乎无限多的可能世界中：对“绝大多数”默认条件句的模型理论研究》，《逻辑语言与信息杂志》，26，2，109-141（2017）·Zbl 1420.03038号 ·doi:10.1007/s10849-017-9251-5 [37] 克劳斯，S。；莱曼，DJ；Magidor，M.，《非单调推理，优先模型和累积逻辑》，Artif。整数。，44, 1-2, 167-207 (1990) ·Zbl 0782.03012号 ·doi:10.1016/0004-3702（90）90101-5 [38] 莱曼，DJ；Magidor，M.，有条件知识库需要什么？，Artif公司。整数。，55, 1, 1-60 (1992) ·Zbl 0762.68057号 ·doi:10.1016/0004-3702（92）90041-U [39] 梅金森：非单调推理的一般模式。收录于：Gabbay，D.M.、Hogger，C.J.、Robinson，J.A.（编辑）《人工智能和逻辑编程逻辑手册》，第3卷，第35-110页。克拉伦登出版社-牛津（1994） [40] Makinson，D.：《从古典逻辑到非单调逻辑的桥梁》（2005）·Zbl 1084.03001号 [41] Marquis，P.，Papini，O.，Prade，H.（编辑）：人工智能研究导览。知识表示、推理和学习，第一卷，施普林格，柏林（2020）·Zbl 1515.68040号 [42] Marti，J.，Pinosio，R.：条件的拓扑语义。收录于：Punčochár，V.，Švarní，P.（编辑）《2013年逻辑年鉴》。大学出版物（2014）·Zbl 1388.03021号 [43] 麦肯锡，J.C.C.，塔斯基，A.：拓扑代数。数学年鉴45 141-191（1944）·Zbl 0060.06206号 [44] Moschovakis，YN，《集合论笔记》（2005），纽约：数学本科生教材。纽约施普林格·Zbl 1088.03003号 [45] Parikh，R.，Moss，L.S.，Steinsvold，C.：拓扑与认识逻辑，第299-341页。摘自：Aiello，M.，Pratt Hartmann，I.，van Benthem，J.（编辑）《空间逻辑手册》。施普林格（2007） [46] 巴黎，JB；Simmonds，R.，O是不够的，Rev.Symb。日志。，2, 2, 298-309 (2009) ·Zbl 1175.03017号 ·doi:10.1017/S1755020309090236 [47] Pozzato，GL，条件和优先逻辑：证明方法和定理证明。《人工智能与应用前沿》（2010），阿姆斯特丹：IOS出版社，阿姆斯特丹·Zbl 1210.03025号 [48] Rasga，J。；洛法拉，WB；Sernadas，C.，有限可加测度上几乎所有量化的完整性和插值，数学。日志。Q.，59，4-5，286-302（2013）·Zbl 1295.03022号 ·doi:10.1002/malq.201110051 [49] Schilling，RL，《度量、积分和鞅》（2017），剑桥：剑桥大学出版社，剑桥·Zbl 1360.28001号 [50] Schlechta，K.，默认为广义量词，J.Log。计算。，5, 4, 473-494 (1995) ·Zbl 0838.03022号 ·doi:10.1093/log.com/5.4.473 [51] Schlechta，K.，《相干系统》（2013），阿姆斯特丹：爱思唯尔出版社·Zbl 1061.03002号 [52] 谢拉，S。；Woodin，WH，Large cardinals暗示每一个合理定义的实数集都是勒贝格可测的，以色列数学杂志，70，3，381-394（1990）·Zbl 0705.03028号 ·doi:10.1007/BF02801471 [53] Shoham，Y.：非单调逻辑的语义方法。摘自：《计算机科学中的逻辑研讨会论文集》（LICS’87），第275-279页。IEEE计算机学会（1987） [54] Solovay，RM，集理论模型，其中每一组实数都是勒贝格可测的，《数学年鉴》。，2, 96, 1-56 (1970) ·Zbl 0207.00905号 ·数字对象标识代码：10.2307/1970696 [55] 斯蒂恩，洛杉矶；Seebach，JA，《拓扑反例》（1995），米诺拉：多佛出版公司，米诺拉邦·Zbl 1245.54001号 [56] Väänänen，J.，《模型与游戏》（2011），剑桥：剑桥大学出版社，剑桥·兹比尔1233.03001 ·doi:10.1017/CBO9780511974885 [57] Veloso，PAS；Veloso，SRM，关于超滤逻辑和特殊功能，Stud.Logica。，78, 3, 459-477 (2004) ·Zbl 1058.03037号 ·doi:10.1007/s11225-004-6045-y [58] Westerståhl，D.：广义量词。摘自：Zalta，E.N.（编辑）《斯坦福大学哲学百科全书》。斯坦福大学（2016） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。