逻辑与概率（五） (6-1)

参考书目：

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 页。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。