科斯塔斯·库特拉斯。;克里斯托斯·兰苏迪斯 在所有但有限的许多可能世界中：“压倒性多数'默认条件。 （英语） Zbl 1420.03038号 J.逻辑语言信息。 第2109-141号第26页（2017年）. 摘要：可延迟条件是“如果\（A）然后正常\（B\）”。非单调推理中引入的一种似是而非的解释规定，当（B）在‘最‘（A\）-世界。在本文中，我们调查可废止的条件句基于“压倒性多数'，定义为'的共有限子集中的真值\（\omega\）'，第一个无限序数。一种方法使用帧（（ω，<））的模态逻辑，用于离散线性时间的时序逻辑。我们引入并研究了在\（（\omega，<）\上模态定义的条件句；本文研究了条件连接词的几种模态定义，重点是非单调的。对“大多数'作为集合共同决赛研究了（in（\omega））而非余有限（\（\omega\）的子集）。对于这些超过（ω，<）的模态方法，一个决策过程很容易出现，因为这个框架的模态逻辑（{mathbf{K4DLZ}}）是众所周知的，并且可以机械地检查条件句的翻译是否有效；这还允许快速证明这些逻辑的可满足性问题的（mathsf{NP}）-完备性。第二种方法使用Scott-Montague语义的条件版本，以\（\omega \）-许多可能世界的形式，赋予由\（\omega \）的有限子集集合填充的邻域。正如预期的那样，这种方法会产生弱条件逻辑。将引入的条件句的相对强度与KLM逻辑和文献中的其他条件逻辑进行比较（条件逻辑的“等价物”）。 引用于1审查引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 2015年3月1日 计算复杂性（包括隐式计算复杂性） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：正规的条件逻辑;非单调逻辑 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Koutras}和\textit{C.Rantsoudis}，J.Logic Lang.Inf.26，No.2，109--141（2017；Zbl 1420.03038） 全文： 内政部 参考文献： [1] Arlo-Costa，H.（2014）。条件句的逻辑。在E.N.Zalta（编辑）《斯坦福大学哲学百科全书》中。2014年夏季版。 [2] Adams，E.（1975年）。条件句的逻辑。多德雷赫特：D.Reidel出版公司·Zbl 0324.02002号 ·doi:10.1007/978-94-015-7622-2 [3] Allen，J.F.、Fikes，R.和Sandewall，E.（编辑）。(1991). 1991年4月22日至25日，美国马萨诸塞州剑桥市，第二届知识表示和推理原则国际会议（KR’91）会议记录。摩根·考夫曼·Zbl 0747.00023号 [4] Askounis，D.、Koutras，C.D.和Zikos，Y.（2016）。知识意味着“一切”，信仰意味着“最多”。应用非经典逻辑杂志，26（3），173-192·Zbl 1398.03067号 ·doi:10.1080/1663081.2016.1214804 [5] Blackburn，P.、de Rijke，M.和Venema，Y.（2001）。模态逻辑。剑桥理论计算机科学丛书第53名。剑桥：剑桥大学出版社·Zbl 0988.03006号 [6] Bell，J.（1990）。非单调性的逻辑。人工智能，41（3），365-374·doi:10.1016/0004-3702（90）90048-5 [7] Besnard，Ph和Hunter，A.（编辑）。(1998). 《带实际和潜在矛盾的推理》，《不可行推理和不确定性管理系统手册》第2卷。多德雷赫特：Kluwer学术出版社·Zbl 0908.90002号 [8] Bochman，A.（2001）。非单调推理和信念改变的逻辑理论。柏林：斯普林格·Zbl 0977.03001号 ·doi:10.1007/978-3-662-04560-2 [9] Boutiler，C.（1992年）。默认推理和信念修正的条件逻辑。多伦多大学博士论文。 [10] Balbiani，Ph.，Suzuki，N.，Wolter，F.和Zakharyaschev，M.（编辑）。(2003). 《模态逻辑进展4》，2002年10月在法国图卢兹举行的第四届“模态逻辑进展”会议的论文。国王学院出版物。 [11] Burgess，J.P.（1981）。一些条件逻辑的快速完备性证明。《圣母院形式逻辑杂志》，22（1），76-84·Zbl 0416.03020号 ·doi:10.10305/ndjfl/1093883341 [12] Crocco，G.、Fariñas del Cerro，L.和Herzig，A.（编辑）。(1996). 条件词：从哲学到计算机科学。逻辑和计算研究。牛津：牛津大学出版社·Zbl 1001.03503号 [13] Chellas，B.（1975年）。基本条件逻辑。《哲学逻辑杂志》，第4期，第133-153页·Zbl 0317.02029号 ·doi:10.1007/BF00693270 [14] Chellas，B.（1980年）。模态逻辑，简介。剑桥：剑桥大学出版社·Zbl 0431.03009号 ·doi:10.1017/CBO9780511621192 [15] Chagrov，A.V.和Rybakov，M.N.（2003）证明模态逻辑的PSPACE硬度需要多少变量。Balbiani等人（2003年），第71-82页·Zbl 1076.03012号 [16] Destercke，S.和Denoeux，Th.（编辑）。(2015). 《用符号和定量方法进行不确定性推理的会议录——第13届欧洲会议》，ECSQARU 2015，法国康皮涅，2015年7月15日至17日，计算机科学讲稿第9161卷。斯普林格·Zbl 1316.68008号 [17] Delgrade，J.P.（1987）。原型属性的一阶条件逻辑。人工智能，33（1），105-130·Zbl 0654.68106号 ·doi:10.1016/0004-3702（87）90053-1 [18] Delgrade，J.P.（1988）。基于一阶条件逻辑的默认推理方法：修订报告。人工智能，36（1），63-90·Zbl 0646.03015号 ·doi:10.1016/0004-3702（88）90079-3 [19] Delgrade，J.P.（1998）。可废止推理的条件逻辑，第135-173页，Besnard和Hunter（1998）第2卷·Zbl 0942.03039号 [20] Delgrade，J.P.（2003）。弱正规条件逻辑。Gottlob和Walsh（2003），第873-878页。 [21] Delgrade，J.P.（2006）。基于规则的默认条件解释。数学与人工智能年鉴，48（3-4），135-167·Zbl 1118.68666号 [22] D’Agostino，M.、Gabbay，D.、Haehnle，R.和Posegga，J.（编辑）。(1999). 表格绘制方法手册。多德雷赫特：Kluwer学术出版社·兹比尔0933.00011 [23] Doyle，J.、Sandewall，E.和Torasso，P.（编辑）。(1994). 1994年5月24日至27日在德国波恩举行的第四届知识表示和推理原则国际会议（KR'94）的会议记录。摩根·考夫曼。 [24] Eiter，Th和Lukasiewicz，Th.（2000）。基于条件知识库的默认推理：复杂性和可处理案例。人工智能，124（2），169-241·Zbl 0952.68139号 ·doi:10.1016/S0004-3702（00）00073-4 [25] Friedman，N.和Halpern，J.Y.（1994年）。关于条件逻辑的复杂性。Doyle等人（1994年），第202-213页。 [26] Giordano，L.、Gliozzi，V.、Olivetti，N.和Pozzato，G.L.（2009年）。非单调推理的KLM逻辑的解析表计算。ACM计算逻辑汇刊，10（3），1-47·Zbl 1351.03004号 [27] Ginsberg，M.L.（1986年）。反事实。人工智能，30（1），35-79·Zbl 0655.03011号 ·doi:10.1016/0004-3702（86）90067-6 [28] Goldblatt，R.（1992）。时间和计算的逻辑。CSLI课堂讲稿（第二版）第7位。斯坦福大学语言与信息研究中心·Zbl 0635.03024号 [29] Goré，R.（1999）。模态和时序逻辑表法，第297-396页。在D’Agostino等人（1999）中·Zbl 0972.03529号 [30] Geffner，H.和Pearl，J.（1992年）。条件蕴涵：桥接两种默认推理方法。人工智能，53（2-3），209-244·Zbl 1193.68235号 ·doi:10.1016/0004-3702（92）90071-5 [31] Goldszmidt，M.和Pearl，J.（1992年）。关于可撤销数据库的一致性。人工智能，52（2），121-149·Zbl 0749.68026号 ·doi:10.1016/0004-3702（91）90039-M [32] Gottlob，G.和Walsh，T.（编辑）。(2003). IJCAI-03，第十八届人工智能国际联合会议记录，墨西哥阿卡普尔科，2003年8月9日至15日。摩根·考夫曼·Zbl 0884.03027号 [33] Halpern，J.Y.（1995）。限定原始命题的数量和嵌套深度对模态逻辑复杂性的影响。人工智能，75（2），361-372·Zbl 1014.03508号 ·doi:10.1016/0004-3702（95）00018-A [34] Jauregui，V.（2008）。模态、条件句和非单调推理。新南威尔士大学计算机科学与工程系博士论文·Zbl 0235.02019 [35] Kraus，S.、Lehmann，D.J.和Magidor，M.（1990年）。非单调推理、优先模型和累积逻辑。人工智能，44（1-2），167-207·Zbl 0782.03012号 ·doi:10.1016/0004-3702（90）90101-5 [36] Koutras，C.D.和Rantsoudis，Ch.（2015）。在所有可能的世界中，但数量有限：对“绝大多数”默认条件的模型理论研究。在Destercke和Denoeux（2015）中，第117-126页·Zbl 1465.68241号 [37] Lamarre，Ph.（1991）S4作为非单调性的条件逻辑。Allen等人（1991年），第357-367页·Zbl 0765.03013号 [38] Lewis，D.（1973）。反事实。牛津：布莱克威尔·Zbl 0989.03003号 [39] Lewis，D.（1981年）。反事实的排序语义和前提语义。哲学逻辑杂志，10（2），217-234·Zbl 0473.03015号 ·doi:10.1007/BF00248850 [40] Lehmann，D.J.和Magidor，M.（1992年）。有条件的知识库需要什么？人工智能，55（1），1-60·Zbl 0762.68057号 ·doi:10.1016/0004-3702（92）90041-U [41] 纳特博士（1980年）。条件逻辑主题。多德雷赫特：克鲁沃·兹比尔0453.03016 ·doi:10.1007/978-94-009-8966-5 [42] Pacuit，E.（2007）《模态逻辑的邻域语义：导论》。ESSLLI 2007课程笔记·Zbl 0749.68026号 [43] Pearl，J.（1988）。智能系统中的概率推理：似是而非推理网络。伯灵顿：摩根·考夫曼·Zbl 0746.68089号 [44] Pozzato，G.L.（2010年）。条件逻辑和优先逻辑：证明方法和定理证明。人工智能和应用领域的前沿。阿姆斯特丹：IOS出版社·Zbl 1210.03025号 [45] Schlechta，K.（1995）。默认为广义量词。逻辑与计算杂志，5（4），473-494·Zbl 0838.03022号 ·doi:10.1093/log.com/5.4.473 [46] Schlechta，K.（1997）。过滤器和部分订单。IGPL逻辑杂志，5（5），753-772·Zbl 0884.03027号 ·doi:10.1093/jigpal/5.5.753 [47] Segerberg，K.（1970年）。具有线性替代关系的模态逻辑。理论，36，301-322·Zbl 0235.02019 ·doi:10.1111/j.1755-2567.1970.tb00429.x [48] Segerberg，K.（1971）。经典模态逻辑论文。乌普萨拉：费洛索菲斯卡研究·Zbl 0311.02028号 [49] Veltman，F.（1985）。条件逻辑。阿姆斯特丹大学博士论文。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。