機器智能-高頻問題：一階邏輯轉化合取範式

三、一階邏輯轉化合取範式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、舉例： 左

>>阅读原文<<