人工智能消解原理實驗報告

一實驗目的及原理算法 目的：經過編程實現對子句的消解，進一步理解含有參數的子句如何使用消解規則，掌握子句消解的原理和規則。編程 原理：令L1，L2爲兩任意原子公式；L1和L2具備相同的謂詞符號，但通常具備不一樣的變量。已知兩子句L1∨α和～L2∨β,若是L1和L2具備最通常合一σ，那麼經過消解能夠從這兩個父輩子句推導出一個新子句(α∨β)σ。數組 二.實驗難點數據結構 1.如何尋找最通常的合一者σ

>>阅读原文<<