机器智能-高频问题：一阶逻辑转化合取范式

三、一阶逻辑转化合取范式CNF： a、步骤： ①、消除蕴含词 ②、将否认符号内移 ③、变量标准化：每一个量词应该使用不一样的符号 ④、skolem化，消除存在量词 任何x存在y=>y由x决定，y=f(x) 任何x任何y=>y与x无关，x=x，y=y 存在x任何y=>y与x无关，x=常量，y=y 存在x存在y=>y与x无关，x=常量1，y=常量2 ⑤、消除全称量词 ⑥、将∩分配到∪中 b、举例： 左

>>阅读原文<<