帕特里克·吉拉德;马库斯·安东尼·特里普特 反事实推理中的Ceteris平价逻辑。 （英语） Zbl 1487.03037号 Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）215176-193（2016）。 小结：大卫·刘易斯（David Lewis）提出的反事实语义学因不太可能或不可能发生的事件而受到质疑。这些事件可能会歪曲给定的相似顺序，从而有利于那些展现它们的可能世界。通过根据同等条件第一条以自然的方式排除了那些不满足该条要求的可能世界。我们为能够执行这种行为的反事实推理开发了一种其他对等逻辑，并对同等条件我们应用这个框架的方式允许我们进行反事实推理，而不会因为不太可能的事件而使我们的相似性顺序发生偏差。这将继续研究先前应用于偏好的正式对等推理[J.van Benthem等人，J.Philos。日志。38，第1期，83–125页（2009年；Zbl 1171.03009号)]，逻辑[D.格罗西等，J.Artif。智力。研究（JAIR）53、91–126（2015年；兹比尔1329.03057)]游戏形式和决策中的问题[C.普罗埃蒂和G.三都《合成173》，第1期，第75–87页（2010年；Zbl 1205.03013号)]，以及其他领域[Z.熊和J.塞利格曼，电子。注释Theor。计算。科学。278, 261–274 (2011;Zbl 1347.68318号)].关于整个系列，请参见[Zbl 1446.68019号]. MSC公司： 03B45号 模态逻辑（包括规范的逻辑） 03A05号 逻辑和基础的哲学和批判性方面 引文：Zbl 1171.03009号;Zbl 1329.03057号;Zbl 1205.03013号;Zbl 1347.68318号 PDF格式BibTeX公司 XML格式引用 \textit{P.Girard}和\textit{M.A.Triplett}，电子。程序。西奥。计算。科学。（EPTCS）215176--193（2016；Zbl 1487.03037） 全文： arXiv公司 链接 参考文献： [1] 乔纳森·贝内特（1974）：反事实与可能世界。加拿大哲学杂志4（2），第381-402页，doi:10.1080/00455091.1974.10716947·网址：10.1080/00455091.1974.10716947 [2] 约翰·范·本特姆（Johan van Benthem）、帕特里克·吉拉德（Patrick Girard）和奥利维尔·罗伊（Olivier Roy）（2009）：《其他一切都是平等的：Ceteris Paribus偏好的模态逻辑》。《哲学逻辑杂志》38（1），第83-125页，doi:10.1007/s10992-008-9085-3·兹比尔1171.03009 ·doi:10.1007/s10992-008-9085-3 [3] Patrick Blackburn、Maarten de Rijke和Yde Venema（2001）：模态逻辑。剑桥大学出版社，美国纽约州纽约市，doi:10.1017/CBO9781107050884·Zbl 0988.03006号 ·doi:10.1017/CBO9781107050884 [4] G.Lee Bowie（1979）：反事实的相似方法：一些问题。没有，第477-498页，doi:10.2307/2215340·doi:10.2307/2215340 [5] Luis Fariñas del Cerro和Andreas Herzig（1994）：干扰逻辑=条件逻辑+框架公理。国际智能系统杂志9（1），第119-130页，doi:10.1002/int.4550090107·Zbl 0805.68113号 ·doi:10.1002/int.45500090107网址 [6] 路易斯·法里尼亚斯·德尔·塞罗（Luis Fariñas del Cerro）和安德烈亚斯·埃尔齐（Andreas Herzig）（1996）：信仰的改变和依赖。摘自：《理性和知识的理论方面第六届会议论文集》，摩根考夫曼出版社，第147-161页。 [7] 穆克什·达拉（1988）：知识库修正理论研究：初步报告。摘自：《第七届全国人工智能会议记录》，第2页，第475-479页。 [8] Hans van Ditmarsch、Wiebe van der Hoek和Barteld Pieter Kooi（2007）：动态认知逻辑。337，斯普林格，doi:10.1007/978-1-4020-5839-4·Zbl 1156.03015号 ·doi:10.1007/978-1-4020-5839-4 [9] Jon Doyle和Michael P.Wellman（1994）：将偏好表示为其他同等比较。Ann Arbor 1001，第48109-2110页。 [10] Kit Fine（1975）：《刘易斯反事实评论》。Mind 84，第451-458页，doi:10.1093/Mind/LXXIV.1。451. ·doi:10.1093/mind/LXXIV.1.451 [11] Davide Grossi、Emiliano Lorini和Francois Schwarzentruber（2013）：游戏形式逻辑中的Ceteris paribus结构。关于理性和知识的理论方面的第14次会议记录。ACM公司。 [12] 文森特·亨德里克斯（2006）：主流与形式认识论。剑桥大学出版社。 [13] 韦斯利·霍利迪（Wesley H.Holliday）（2014）：认识闭包与认识逻辑I：相关替代与虚拟主义。《哲学逻辑杂志》，第1-62页，doi:10.1007/s10992-013-9306-2·Zbl 1318.03028号 ·doi:10.1007/s10992-013-9306-2 [14] Hirofumi Katsuno和Alberto O.Mendelzon（1991）：提案知识库修订和最小更改。人工智能52（3），第263-294页，doi:10.1016/0004-3702（91）90069-V·Zbl 0792.68182号 ·doi:10.1016/0004-3702（91）90069-V [15] 大卫·刘易斯（1973）：反事实。哈佛大学出版社·Zbl 0989.03003号 [16] 大卫·刘易斯（1979）：反事实依赖与时间之箭。Noûs，第455-476页，doi:10.1093/0195034648.03.0002·doi:10.1093/0195036468.003.0002 [17] Graham Priest（2008）：《非经典逻辑导论：从if到is》，剑桥大学出版社，doi:10.1017/CBO9780511801174·Zbl 1148.03002号 ·doi:10.1017/CBO9780511801174 [18] 卡洛·普罗埃蒂（Carlo Proietti）和加布里埃尔·桑杜（Gabriel Sandu）（2010）：惠誉悖论和其他同等模式。综合173（1），第75-87页，doi:10.1007/s11229-009-9677-7·Zbl 1205.03013号 ·doi:10.1007/s11229-009-9677-7 [19] Dov Samet（1996）：假设知识和完美信息博弈。游戏与经济行为17（2），第230-251页，doi:10.1006/game.1996.0104·Zbl 0874.90204号 ·doi:10.1006/游戏.1996.0104 [20] 伦纳德·J·萨维奇（1972）：统计学的基础。Courier公司·Zbl 0276.62006号 [21] 格哈德·舒尔茨（2002）：《Ceteris Paribus Laws：分类与解构》。Erkentnis（1975年-）57（3），第351-372页，doi:10.1023/A:1021582327947·Zbl 1028.03505号 ·doi:10.1023/A:1021582327947 [22] 杰里米·塞利格曼和帕特里克·吉拉德（2011）：Ceteris Paribus推理的灵活性。澳大利亚逻辑学杂志10（0）。可在http://ojs.victoria.ac.nz/ajl/article/view/1826。 ·Zbl 1330.03023号 [23] Bassel Tarbush（2013）：同意决策：反事实分析。关于理性和知识的理论方面的第14次会议记录。ACM公司·Zbl 1397.91150号 [24] 乔治·冯·赖特（1963）：《偏好的逻辑》。爱丁堡大学出版社。 [25] 熊左军（Zuojun Xiong）和杰里米·塞利格曼（Jeremy Seligman）（2011）：决策中的开放式和封闭式问题。理论计算机科学电子笔记278，第261-274页，doi:10.1016/j.entcs.2011.10.020·Zbl 1347.68318号 ·doi:10.1016/j.entcs.2011.10.020 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。