問答題

【論述題】
判斷下列公式是否為可合一，若可合一，則求出其最一般合一。
（1）P（a，b），P（x，y）
（2）P（f（x），b），P（y，z）
（3）P（f（x），y），P（y，f（b））
（4）P（f（y），y，x），P（x，f（a），f（b））
（5）P（x，y），P（y，x）

答案：（1）可合一，其最一般和一為：σ={a/x，b/y}。
（2）可合一，其最一般和一為：&sigma...

你可能感興趣的試題

【簡答題】產生式系統(tǒng)的推理過程？

答案：（1）初始化綜合數據庫，即把欲解決問題的已知事實送入綜合數據庫中；
（2）檢查規(guī)則庫中是否有未使用過的規(guī)則，...

【簡答題】命題邏輯的歸結法與謂詞邏輯的歸結法的不同之處是什么？

答案：謂詞邏輯比命題邏輯更復雜，由于謂詞邏輯中的變量受到量詞的約束，在歸結之前需要對變量進行重命名即變量標準化，而在命題邏輯中...

<nav id="cbf45"></nav>