AI：謂詞公式化爲子句集

文章目錄 定義 一般過程 1. 消去蘊含和等價 2. 移動否定符號 3. 變量標準化 4. 消去存在量詞 5. 化爲前束型 6. 化爲Skolem標準型 7. 略去全稱量詞 8. 消去合取詞，把母式用子句集表示 9. 子句變量標準化 定義 原子謂詞公式：一個不能再分解的命題 如：花是紅的、雪是白的 文字：原子謂詞公式及其否定 P稱爲正文字，非P稱爲負文字，P和非P爲互補文字 子句：任何文字的析取式

>>阅读原文<<