HashJoin哈希连接知识点.docxVIP

学习好资料 欢迎下载 学习好资料 欢迎下载 一.不确定图： 概念：一个边的存在性和点得存在性都被赋予了概率值的图 一个不确定图G，它可以被看做一个随机变量，有很多可能取值，这些值得类型就是确 定图。所以G在这些可能取值的确定图的集合上就有一个概率分布 (probability distribution) 二?可能世界理论 1 ?可能世界语义学的基本思想 可能世界语义学是模态逻辑的形式语义学， 它起源于莱布尼茨的可能世界理论。 莱 布尼茨认为，一个事态 A是可能的，当且仅当 A不包含逻辑矛盾。一个由事态 A1 , A2 , A3，…形成的组合是可能的，当且仅当 A1 , A2 , A3，…推不出逻辑矛盾。由无穷多的具 有各种性质的事物所形成的可能的事物的组合， 就是一个可能世界。有许许多多的可能世界， 例如现实世界就是一个可能世界， 它是由上帝选择的一个最丰富、 最完美的可能世界。他进 而利用可能世界去讨论必然性、可能性、偶然性等问题，例如他认为： L1 一命题是必然的，当且仅当它在所有可能世界中都是真实的； L2 一命题是可能的，当且仅当它在某些可能世界中是真实的。 20世纪50— 60年代，鉴于模态逻辑发展的迫切需要， 一批逻辑学家例如坎格尔 (B. Kan ger )、蒙塔古(R. Mo ntague )、普赖尔(A. N. Prior )、欣迪卡(J. Hin tikka )