問答題

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

答案: 定義謂詞。Father(x,y):x是y的父親;S_B(x,y):x和y是兄妹。
然后將已知條件和問題用謂詞公...
題目列表

你可能感興趣的試題

問答題

【簡答題】輸入歸結(jié)策略對參加歸結(jié)的子句有什么限制?

答案: 輸入歸結(jié)策略對參加歸結(jié)的子句有如下限制:參加歸結(jié)的兩個子句中,必須至少有一個子句是初始子句集中的子句。
微信掃碼免費搜題