×
何嘉琪;刘、胡

信念逻辑的概率语义。 （英语） Zbl 1529.03133号

圣母院J.形式逻辑 62，第4号，643-659（2021）.
信仰逻辑是哲学逻辑最重要的分支之一。表征信仰的标准方法是基于所谓的可能世界模型，在该模型中，逻辑全知问题被认为是一个重大缺陷。我们提出了一种基于概率模型的信念逻辑的替代语义，它形式化了哲学文献中所谓的洛肯命题。洛克恩命题指出，只要一个人看到命题的概率已经达到或超过预先指定的阈值，他就会相信这个命题。我们给出了一个完整的概率信念逻辑演绎系统，并与现有的信念逻辑框架进行了详细的比较。

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）

关键词：

信仰;模态逻辑;可能性
PDF格式BibTeX公司 XML格式引用
\textit{J.He}和\textit{H.Liu}，圣母院J.形式逻辑62，No.4，643--659（2021；Zbl 1529.03133）
全文： 内政部

参考文献：

[1] 奥戈特内斯、T.和N.Alechina，“句法知识的动态”逻辑与计算杂志第17卷（2007年），第83-116页·Zbl 1118.03008号 ·doi:10.1093/log.com/exl019
[2] Artemov，S.和R.Kuznets，“作为计算复杂性问题的逻辑全知”，第14-23页理性与知识的理论层面，由美国计算机学会的A.Heifetz编辑，纽约，2009年·数字对象标识代码：10.1145/1562814.1562821
[3] Artemov，S.和R.Kuznets，“逻辑全知是不可行的”纯逻辑与应用逻辑年鉴第165卷（2014年），第6-25页·Zbl 1510.03012号 ·doi:10.1016/j.apal.2013.07.003
[4] Bjerring，J.C.和M.Skipper，“逻辑全知问题的动态解决方案”哲学逻辑杂志第48卷（2019年），第501-21页·Zbl 1457.03008号 ·doi:10.1007/s10992-018-9473-2
[5] Demey，L.和J.Sack，“认知概率逻辑”，第147-202页认识逻辑手册由H.van Ditmarsch、J.Y.Halpern、W.van der Hoek和B.Kooi编辑，大学出版社，伦敦，2015年·Zbl 1392.03009号
[6] Douven，I.和T.Williamson，“推广彩票悖论”英国科学哲学杂志第57卷（2006年），第755-79页·Zbl 1120.03004号 ·doi:10.1093/bjps/axl022
[7] Duc，H.N.，“理性而非逻辑全知代理人的推理”逻辑与计算杂志第7卷（1997年），第633-48页·Zbl 0884.03026号 ·doi:10.1093/log.com/7.5.633
[8] Easwaran，K.，“Truthlove博士或：我是如何学会停止担忧，热爱贝叶斯概率的，”没有Dos，第50卷（2016年），第816-53页·Zbl 1384.03024号 ·doi:10.1111/nous.12099
[9] Fagin，R.和J.Y.Halpern，“信念、意识和有限推理”人工智能第34卷（1987年），第39-76页·Zbl 0634.03013号 ·doi:10.1016/0004-3702（87）90003-8
[10] Fagin，R.和J.Y.Halpern，“关于知识和概率的推理”美国医学会杂志第41卷（1994年），第340-67页·Zbl 0806.68098号 ·数字对象标识代码：10.1145/174652.174658
[11] 费金、R.、J.Y.哈尔佩恩和N.梅吉多，“概率推理逻辑”信息与计算第87卷（1990年），第78-128页·兹伯利0811.03014 ·doi:10.1016/0890-5401（90）90060-U
[12] Fagin，R.、J.Y.Halpern和M.Y.Vardi，“逻辑全知问题的非标准方法”人工智能第79卷（1995年），第203-40页·Zbl 1014.03513号 ·doi:10.1016/0004-3702（94）00060-3
[13] R.福利。，无网工作：自我中心认识论研究牛津大学出版社，纽约，1992年·doi:10.2307/2186024
[14] 霍桑，J。，知识与彩票牛津大学出版社，纽约，2003年·数字对象标识代码：10.1111/j.1933-1592.20072.0072.x
[15] Heifetz，A.和P.Mongin，“概率的模态逻辑”，第175-85页理性与知识的理论层面由I.Gilboa、Morgan Kaufmann、Burlington编辑，1998年。
[16] Heifetz，A.和P.Mongin，“类型空间的概率逻辑：经济学和人工智能”游戏与经济行为第35卷（2001年），第31-53页·Zbl 0978.03017号 ·doi:10.1006/游戏.1999.0788
[17] Herzig，A.，“模态概率、信念和行为”计算机基础理论第57卷（2003年），第323-44页·Zbl 1057.03016号
[18] Herzig，A.和D.Longin，“关于模态概率和信念”，第62-73页不确定性推理的符号和定量方法由J.Vejnarová和N.Wilson编辑，第2711卷计算机科学课堂讲稿，Springer，纽约，2003年·Zbl 1274.03037号 ·doi:10.1007/978-3-540-45062-7_5
[19] 辛提卡，J。，知识与信仰：两个概念的逻辑导论，康奈尔大学出版社，伊萨卡，1962年。
[20] Hintikka，J.，“哲学中知识的推理：认知逻辑的范式”，第63-80页知识推理的理论层面由J.Y.Halpern、Morgan Kaufmann、Palo Alto编辑，1986年。
[21] Jaspars，J.O.M.，“逻辑全知和不一致信念”，第129-46页钻石与违约（阿姆斯特丹，1990/1991），M.de Rijke编辑，第229卷，共页合成库1993年，多德雷赫特Kluwer学术出版社·Zbl 0821.03015号
[22] 科诺里奇，K。，信念演绎模型：人工智能研究笔记Morgan Kaufmann，Palo Alto，1986年·Zbl 0683.68080号
[23] H.Leitgeb。，信念的稳定性：理性信念如何与概率相一致，牛津大学出版社，牛津，2017年。
[24] Levsque，H.J.，“隐式和显式信仰的逻辑”，第198-202页第四届全国人工智能会议记录（奥斯汀，1984），AAAI出版社，帕洛阿尔托，1984年。
[25] Lin，H.和K.T.Kelly，“追踪概率推理的命题推理”哲学逻辑杂志第41卷（2012年），第957-81页·Zbl 1272.03032号 ·doi:10.1007/s10992-012-9237-3
[26] Meyer，J.-J.和W.van der Hoek，“基于认知状态的默认逻辑”，第265-73页不确定性推理的符号和定量方法由M.Clarke、R.Kruse和S.Moral编辑，第747卷数学课堂笔记, 1993.
[27] Rantala，V.，“不可能的世界语义和逻辑全知，”《费尼卡哲学学报》第35卷（1982年），第106-15页·Zbl 0519.03002号
[28] 拉斯穆森，M.S.，“动态认识逻辑与逻辑全知”逻辑与逻辑哲学第24卷（2015年），第377-99页·Zbl 1375.03018号 ·doi:10.12775/llp.2015.014年
[29] Schaerf，M.和M.Cadoli，“通过近似进行可追踪推理”人工智能第74卷（1995年），第249-310页·Zbl 1014.03512号 ·doi:10.1016/0004-3702（94）00009-P
[30] Shirazi，A.和E.Amir，《概率模态逻辑》，第489-95页第22届全国人工智能会议记录由A.Cohn编辑，AAAI出版社，Palo Alto，2007年。
[31] Thijsse，E.，“结合部分语义和经典语义：信仰和意识的混合方法”，第223-49页党派性、形式性和非单调性由P.Doherty编辑，逻辑、语言和信息研究，CSLI，斯坦福大学，1996年·Zbl 0897.03017号
[32] van der Hoek，W.和J.-J.Meyer，“信念的可能逻辑”逻辑与分析（N.S.）第32卷（1989年），第177-94页·Zbl 0786.03020号
[33] van der Hoek，W.和J.-J.Meyer，“关于知识和不确定性的推理模式”，第77-109页党派性、形式性和非单调性由P.Doherty编辑，逻辑、语言和信息研究，CSLI，斯坦福大学，1996年·Zbl 0955.03512号
[34] Vardi，M.Y.，“论认知逻辑和逻辑全知”，第293-305页知识推理的理论方面（蒙特雷，1986）由J.Y.Halpern、Morgan Kaufmann、Palo Alto编辑，1986年。
[35] Wooldridge，M.，“资源丰富的信徒的抽象一般模型和逻辑”，第136-41页AAAI代表精神状态和机制春季研讨会斯坦福大学，1995年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。