國科大高級人工智能8-歸結原理和horn子句

只有一條規則的推理 resolution(消解，歸結） CNF（conjunction normal form合取範式 （ A ∨ B ) ∧ ( B ∨ C ) （A∨B)∧(B∨C) （A∨B)∧(B∨C) 任何邏輯式都可轉化爲語義等價的CNF resolution消解（推理規則） 完備的 可靠的 complementary literal:互補文字 eg:A和¬A resolution是完備

>>阅读原文<<