马尔可夫逻辑网络

所谓马尔可夫逻辑网，就是由一阶逻辑公式及其对应的权值组成的二元组集合。马尔可夫逻辑网络的基本思想是将一阶逻辑的限制放松，即一个事件违反公式越多，其发生概率越小，但未必为0。