問(wèn)答題

【簡(jiǎn)答題】小鳳是小龍的妹妹。如果X和Y是兄妹,則X的父親也是Y的父親。如果小龍的父親是東旭,問(wèn)小鳳的父親是誰(shuí)?

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

你可能感興趣的試題

問(wèn)答題

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

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