逻辑与概率（五）

参考书目：

Abadi, M. 和 Halpern, J. Y.，1994 年，“一阶概率逻辑的可判定性和表达性”，信息与计算，112：1-36。

Adams, E. W. 和 Levine, H. P.，1975 年，“论演绎推理中从前提到结论的不确定性”，Synthese，30：429-460。

Adams, E. W.，1998 年，《概率逻辑入门》，斯坦福，加利福尼亚州：CSLI 出版社。

Arló Costa, H.，2005，“非附加推理和经典模态”，《哲学逻辑杂志》，34：581-605。

Bacchus, F.，1990，用概率知识表示和推理，剑桥，马萨诸塞州：麻省理工学院出版社。

Baltag, A. 和 Smets, S.，2008 年，“概率动态信念修正”，Synthese，165：179-202。

van Benthem, J.，2017 年，“排除万难：当逻辑遇到概率”，载于 ModelEd、TestEd、TrustEd。 《Ed Brinksma 60 岁生日献给他的文章》，J. P. Katoen、R. Langerak 和 A. Rensink（编辑），Cham：Springer，第 239-253 页。

van Benthem, J.、Gerbrandy, J. 和 Kooi, B.，2009 年，“概率动态更新”，Studia Logica，93：67-96。

Boole, G.，1854 年，《思想法则的调查》，逻辑和概率的数学理论在此基础上建立，伦敦：沃尔顿和马伯利。

Burgess, J.，1969，“概率逻辑”，符号逻辑杂志，34：264-274。

Carnap, R.，1950，《概率的逻辑基础》，伊利诺伊州芝加哥：芝加哥大学出版社。

Cross, C.，1993，“从世界到概率：模态逻辑的概率语义”，《哲学逻辑杂志》，22：169-192。

Delgrande, J. 和 Renne, B.，2015 年，“定性概率的逻辑”，第二十四届国际人工智能联合会议论文集 (IJCAI 2015)，Q. Yang 和 M. Wooldridge（编辑），加利福尼亚州帕洛阿尔托：AAAI 出版社，第 2904–2910 页。

Delgrande, J.、Renne, B. 和 Sack, J.，2019，“定性概率的逻辑”，人工智能，275：457-486。

Delgrande, J.、Sack, J.、Lakemeyer, G. 和 Pagnucco, M.，2022 年，“可能性和信念的认知逻辑”，载于第三十一次国际人工智能联合会议记录 (IJCAI-22) ，由国际人工智能联合会议出版，第 2599-2605 页。 [德尔格朗德等人。 2022 年可在线获取

Demey, L. 和 Kooi, B.，2014 年，“逻辑和概率更新”，A. Baltag 和 S. Smets（编辑），Johan van Benthem 论逻辑和信息动态，第 381-404 页。

Demey, L. 和 Sack, J.，2015 年，《认知概率逻辑》，《认知逻辑手册》。 H. van Ditmarsch、J. Halpern、W. van der Hoek 和 B. Kooi（编辑），伦敦：学院出版物，第 147-202 页。

Dempster, A.，1968 年，“贝叶斯推理的概括”，《皇家统计学会杂志》，30：205–247。

De Morgan, A.，1847 年，《形式逻辑》，伦敦：泰勒和沃尔顿。

de Finetti, B., 1937, “La Prevision: Ses Lois Logiques, Ses Sources subjectives”, Annales de l’Institut Henri Poincaré, 7: 1–68;译为“远见。它的逻辑规律，它的主观来源”，《主观概率研究》，H. E. Kyburg, Jr. 和 H. E. Smokler（编），马拉巴尔，佛罗里达州：R. E. Krieger Publishing Company，1980 年，第 53-118 页。

Douven, I. 和 Rott, H.，2018 年，“从概率到绝对信念：超越玩具模型”，《逻辑与计算杂志》，28：1099–1124。

Eagle, A.，2010，《概率论：当代读物》，伦敦：劳特利奇。

Fagin, R. 和 Halpern, J. Y.，1988 年，“关于知识和概率的推理”，第二届知识推理理论方面会议论文集，M. Y. Vardi（编辑），太平洋格罗夫，加利福尼亚州：Morgan Kaufmann，第 177 页。 277–293。

------，1994 年，“关于知识和概率的推理”，ACM 杂志，41：340-367。

Fagin, R.、Halpern, J. Y. 和 Megiddo, N.，1990，“概率推理的逻辑”，信息与计算，87：78-128。

Fitelson, B.，2006 年，“归纳逻辑”，《科学哲学：百科全书》，J. Pfeifer 和 S. Sarkar（编辑），纽约，纽约：Routledge，第 384-394 页。

van Fraassen, B.，1981a，“概率运动学中相对信息最小化的问题”，英国科学哲学杂志，32：375-379。

–––，1981b，“概率语义客观化：I. 假设和逻辑”，《哲学逻辑杂志》，10：371-391。

---，1983，“绅士的赌注：相关逻辑和概率”，哲学研究，43：47-61。

------，1984 年，“信仰与意志”，《哲学杂志》，81：235-256。

Gärdenfors, P.，1975a，“作为内涵逻辑的定性概率”，《哲学逻辑杂志》，4：171-185。

–––，1975b，“定性概率的一些基本定理”，Studia Logica，34：257-264。

Georgakopoulos, G.、Kavvadias, D. 和 Papadimitriou, C. H.，1988 年，“概率可满足性”，复杂性杂志，4：1-11。

Gerla, G.，1994，“概率逻辑推理”，人工智能，70：33-52。

Gillies, D.，2000 年，概率哲学理论，伦敦：劳特利奇。

Goldblatt, R. (2010)“可测空间上的余代数的演绎系统。”逻辑与计算杂志20(5): 1069–1100

Goldman, A. J. 和 Tucker, A. W.，1956 年，“线性规划理论”，《线性不等式和相关系统》。 《数学研究年鉴》38，H. W. Kuhn 和 A. W. Tucker（编辑），普林斯顿：普林斯顿大学出版社，第 53-98 页。

Goosens, W. K.，1979 年，“基本概率论的另类公理化”，Notre Dame Journal of Formal Logic，20：227-239。

Hájek, A.，2001 年，“概率、逻辑和概率逻辑”，《布莱克威尔哲学逻辑指南》，L. Goble（编辑），牛津：布莱克威尔，第 362-384 页。

Hájek, A. 和 Hartmann, S.，2010 年，“贝叶斯认识论”，《认识论伴侣》，J. Dancy、E. Sosa 和 M. Steup（编辑），牛津：布莱克威尔，第 93-106 页。

Haenni, R. 和 Lehmann, N.，2003 年，“概率论证系统：登普斯特-谢弗理论的新视角”，国际智能系统杂志，18：93-106。

Haenni, R.、Romeijn, J.-W.、Wheeler, G. 和 Williamson, J.，2011 年，概率逻辑和概率网络，多德雷赫特：施普林格。

Hailperin, T.，1965，“事件逻辑函数概率的最佳可能不等式”，美国数学月刊，72：343-359。

–––，1984 年，“概率逻辑”，Notre Dame Journal of Formal Logic，25：198-212。

–––，1986，布尔的逻辑和概率，阿姆斯特丹：北荷兰。

–––，1996，句子概率逻辑：起源、发展、现状和技术应用，伯利恒，宾夕法尼亚州：利哈伊大学出版社。

Halpern, J. Y. 和 Rabin, M. O.，1987，“可能性推理的逻辑”，人工智能，32：379-405。

Halpern, J. Y.，1990，“一阶概率逻辑分析”，人工智能，46：311-350。

------，1991，“知识、信念和确定性之间的关系”，《数学与人工智能年鉴》，4：301-322。勘误表出现在《数学与人工智能年鉴》，26 (1999)：59-61。

–––，2003 年，《关于不确定性的推理》，剑桥，马萨诸塞州：麻省理工学院出版社。

Hamblin, C.L.，1959，“情态‘可能’”，Mind，68：234-240。

Hansen, P. 和 Jaumard, B.，2000 年，“概率可满足性”，《可废止推理和不确定性管理系统手册》。第 5 卷：不确定性和可废止推理的算法，J. Kohlas 和 S. Moral（编），Dordrecht：Kluwer，第 321-367 页。

Harrison-Trainor M.、Holliday, W. H. 和 Icard, T.，2016 年，“关于比较概率取消公理的说明”，理论与决策，80：159-166。

------，2018，“推断概率比较”，数学社会科学，91：62-70。

Hartmann, S. 和 Sprenger J.，2010，“贝叶斯认识论”，《Routledge Companion to Epistemology》，S. Bernecker 和 D. Pritchard（编辑），伦敦：Routledge，第 609-620 页。

Heifetz, A. 和 Mongin, P.，2001 年，“类型空间的概率逻辑”，游戏与经济行为，35：31-53。

Herzig, A. 和 Longin, D.，2003 年，“论模态概率和信念”，第七届欧洲不确定性推理的符号和定量方法会议记录 (ECSQARU 2003)，T.D. Nielsen 和 N.L.张（编辑），计算机科学讲义 2711，柏林：Springer，第 62-73 页。

Hoover, D. N.，1978，“概率逻辑”，数理逻辑年鉴，14：287-313。

Howson, C.，2003 年，“概率与逻辑”，《应用逻辑杂志》，1：151-165。

–––，2007 年，“数​​字逻辑”，Synthese，156：491–512。

–––，2009，“逻辑可以与概率相结合吗？可能，”《应用逻辑杂志》，7：177-187。

Ilić-Stepić、Ognjanović, Z.、Ikodinović, N.、Perović, A.，(2012)，“A

p

p-adic 概率逻辑，”《数理逻辑季刊》58(4-5)：63-280。

Jaynes, E. T.，2003 年，概率论：科学逻辑，剑桥：剑桥大学出版社。

Jeffrey, R.，1992，《概率与判断的艺术》，剑桥：剑桥大学出版社。

Jonsson, B.、Larsen, K. 和 Yi, W.，2001 年“过程代数的概率扩展”，《过程代数手册》，J. A. Bergstra、A. Ponse 和 S. A. Smolka（编辑），阿姆斯特丹：Elsevier，第 685–710 页。

Kavvadias, D. 和 Papadimitriou, C. H.，1990 年，“概率推理的线性规划方法”，《数学与人工智能年鉴》，1：189-205。

Keisler, H. J.，1985，“概率量词”，《模型理论逻辑》，J. Barwise 和 S. Feferman（编辑），纽约，纽约：Springer，第 509-556 页。

Kooi B.P.，2003，“概率动态认知逻辑”，逻辑、语言和信息杂志，12：381-408。

Kraft, C. H.、Pratt, J. W. 和 Seidenberg, A.，1959 年，“有限集上的直觉概率”，《数理统计年鉴》，30：408-419。

Kyburg, H. E.，1965 年，“概率、理性和分离规则”，载于 1964 年国际逻辑、方法论和科学哲学大会记录，Y. Bar-Hillel（编辑），阿姆斯特丹：北荷兰，第 301–310 页。

–––，1994 年，《人工智能和逻辑编程逻辑手册》中的“不确定性逻辑”，D. M. Gabbay、C. J. Hogger 和 J. A. Robinson（编辑），牛津：牛津大学出版社，第 397-438 页。

Larsen, K. 和 Skou, A.，1991，“通过概率测试进行双向模拟”，信息与计算，94：1-28。

Leblanc, H.，1979，“一阶逻辑的概率语义”，Zeitschrift für mathematische Logik und Grundlagen der Mathematik，25：497-509。

–––，1983 年，“标准一阶语义的替代品”，《哲学逻辑手册》，第一卷，D. Gabbay 和 F. Guenthner（编辑），Dordrecht：Reidel，第 189-274 页。

Leitgeb, H.，2013 年，“将信念简单化为信念程度”，《纯粹与应用逻辑年鉴》，164：1338–1389。

------，2014，“信念的稳定性理论”，《哲学评论》，123：131-171。

------，2017，信念的稳定性。 《理性信念如何与概率相结合》，牛津：牛津大学出版社。

Leitgeb, H.，2013 年，“将信念简化为信念程度”，《纯粹与应用逻辑年鉴》，164：1338–1389。

Lewis, D.，1980，“客观机会的主观主义者指南”，归纳逻辑和概率研究。第 2 卷，R.C. Jeffrey（编辑），伯克利，加利福尼亚州：加州大学出版社，第 263-293 页；重印于哲学论文。第二卷，牛津：牛津大学出版社，1987 年，第 83-113 页。

Lin, H. 和 Kelly, K. T.，2012a，“彩票悖论的地质解决方案及其在条件逻辑中的应用”，Synthese，186：531-575。

–––，2012b，“跟踪概率推理的命题推理”，《哲学逻辑杂志》，41：957-981。

Miller, D.，1966 年，“信息悖论”，英国科学哲学杂志，17：59-61。

Morgan, C., 1982a，“古典句子逻辑的每一个扩展都存在概率语义”，《哲学逻辑杂志》，11：431-442。

–––，1982b，“命题 K、T、B、S4 和 S5 的简单概率语义”，《哲学逻辑杂志》，11：443-458。

------，1983，“命题模态逻辑的概率语义”。 《认识论和语义学论文》，H. Leblanc、R. Gumb 和 R. Stern（编辑），纽约州纽约：Haven Publications，第 97-116 页。

Morgan, C. 和 Leblanc, H.，1983，“直觉逻辑的概率语义”，Notre Dame Journal of Formal Logic，24：161-180。

Nilsson, N.，1986，“概率逻辑”，人工智能，28：71-87。

---，1993 年，“概率逻辑重温”，人工智能，59：39-42。

Ognjanović, Z. 和 Rašković, M.，1999，“使用新型概率运算符的一些概率逻辑”，《逻辑与计算杂志》9 (2)：181–195。

Ognjanović, Z. 和 Rašković, M.，2000 年，“一些一阶概率逻辑”，理论计算机科学 247 (1-2)：191-212。

Ognjanović, Z.、Rašković, M. 和 Marković, Z.，2016 年，概率逻辑：基于概率的不确定推理形式化，Springer International Publishing AG。

Ognjanović, Z.、Perović, A. 和 Rašković, M.，2008 年，“带有定性概率运算符的逻辑”，IGPL 逻辑杂志 16 (2)：105–120。

Paris, J. B.，1994，《不确定推理者的伴侣》，数学视角，剑桥：剑桥大学出版社。