問答題

【論述題】

判斷下列公式是否為可合一，若可合一，則求出其最一般合一。
（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...
題目列表

你可能感興趣的試題

問答題

【簡答題】產(chǎn)生式系統(tǒng)的推理過程？
答案： （1）初始化綜合數(shù)據(jù)庫，即把欲解決問題的已知事實送入綜合數(shù)據(jù)庫中；
（2）檢查規(guī)則庫中是否有未使用過的規(guī)則，...
問答題

【簡答題】命題邏輯的歸結(jié)法與謂詞邏輯的歸結(jié)法的不同之處是什么？
答案： 謂詞邏輯比命題邏輯更復(fù)雜，由于謂詞邏輯中的變量受到量詞的約束，在歸結(jié)之前需要對變量進(jìn)行重命名即變量標(biāo)準(zhǔn)化，而在命題邏輯中...
微信掃碼免費搜題