摘要
Aumann，R.J.和Heifetz，A.，2001年。 信息不完整。 在 经济应用博弈论手册 . 谷歌学者 
Blei博士。； Ng，A。； 和Jordan，M.2003。 潜在的dirichlet分配。 谷歌学者 Fagin，R.和Halpern，J.Y.，1988年。 关于知识和概率的推理。 在 TARK（目标） . 谷歌学者 数字图书馆 
费金，R。； Halpern，J。； 摩西，Y。； 和Vardi，M.1995。 知识推理 麻省理工学院出版社。 谷歌学者 数字图书馆 Feller，W.1968年。 概率论及其应用导论，第一卷 Wiley，第3版。 谷歌学者 配件，M.1993。 基本模态逻辑。 在 人工智能和逻辑编程逻辑手册，第1卷：逻辑基础 . 谷歌学者 数字图书馆 Heifetz，A.和Mongin，P.1998年。 概率的模态逻辑。 在 防水布 . 谷歌学者 数字图书馆 Henrion，M.1986年。 通过概率逻辑抽样在贝叶斯网络中传播不确定性。 在 阿拉伯联合酋长国 第149-164页。 谷歌学者 Herzig，A.2003年。 模态概率、信念和动作。 芬丹。 信息。 57(2-4):323-344. 谷歌学者 数字图书馆 M.I.乔丹。； 加赫拉马尼，Z。； Jaakkola，T。； 和Saul，L.K.1999。 介绍图形模型的变分方法。 机器学习 37(2):183-233. 谷歌学者 数字图书馆 Koller，D.和Pfeffer，A.，1995年。 生成和解决不完美的信息游戏。 在 国际JCAI . 谷歌学者 数字图书馆 Milch，B.和Koller，D.2000。 代理人信念和决策的概率模型。 谷歌学者 Nie，J.-Y.1992年。 面向基于语义的信息检索的概率模式逻辑。 在 SIGIR公司 .ACM出版社。 谷歌学者 数字图书馆 Pearl，J.1988年。 智能系统中的概率推理：可信推理网络 摩根·考夫曼（Morgan Kaufmann）。 谷歌学者 数字图书馆 Shirazi，A.和Amir，E.，2007年。 概率模态逻辑。 在 程序。 AAAI 07标准 AAAI出版社。 谷歌学者 数字图书馆 Yedidia，J。； 弗里曼，W。； 和Weiss，Y.2004。 构造自由能近似和广义置信传播算法。 谷歌学者 Zhang，N.L.和Poole，D.1994。 贝叶斯网络计算的简单方法。 在 程序。 第十届加拿大AI双年展 . 谷歌学者
建议
关于模态Grzegorczyk逻辑 逻辑、哲学、数学和计算机科学基础课程。 为表彰Andrzej Grzegorczyk教授 1964-68年，Andrzej Grzegorczyk研究了直觉逻辑的关系语义和拓扑语义[15]-[18]。 在这方面，继麦肯锡和塔斯基之后，他还考虑了模态逻辑的语义。 众所周知，那里。。。 关于模态Grzegorczyk逻辑 逻辑、哲学、数学和计算机科学基础课程。 为表彰Andrzej Grzegorczyk教授 1964-68年，Andrzej Grzegorczyk研究了直觉逻辑的关系语义和拓扑语义[15]-[18]。 在这方面，继麦肯锡和塔斯基之后，他还考虑了模态逻辑的语义。 众所周知，那里。。。 正模态逻辑程序的最小模型构造 我们给出了为给定的正模态逻辑程序P构造最小L模型的算法，其中L可以是模态逻辑KD、T、KDB、B、KD4、S4、KD5、KD45和S5之一。 如果L∈{KD5、KD45、S5}或L∈}{KD、T、KDB、B}且P的模态深度为。。。
