問答題

【簡答題】設(shè)有子句集：S＝{～I（x）∨R（x），I（a），～R（y）∨～L（y），L（a）}對S用支持集策略歸結(jié)出空子句，畫出歸結(jié)樹。

答案：

歸結(jié)樹如下：

你可能感興趣的試題

【簡答題】小鳳是小龍的妹妹。如果X和Y是兄妹，則X的父親也是Y的父親。如果小龍的父親是東旭，問小鳳的父親是誰？

答案：定義謂詞。Father（x，y）：x是y的父親；S_B（x，y）：x和y是兄妹。
然后將已知條件和問題用謂詞公...

【簡答題】畫出下列事實的語義網(wǎng)絡(luò)：“山西大學(xué)是一個學(xué)校，位于太原市，建立時間是1902年?！?/h4>

答案：

語義網(wǎng)絡(luò)如下：