人工智能作業(yè)講解47(編輯修改稿)
2025-03-09 20:56 本頁面
【文章內(nèi)容簡(jiǎn)介】 初始子句） （ 6） ┓ Q （ 2）（ 4）歸結(jié) （利用初始子句） （ 7） Q （ 1）（ 6）歸結(jié)（利用初始子句） （ 8） □ （ 6）（ 7）歸結(jié) （（ 6）是（ 7）的祖先） 第二次作業(yè) 參考解答： 違反支持集也違反祖先過濾的策略 （ 1） P ∨Q （ 2） P ∨ ┓ Q （ 3） ┓ P ∨Q （ 4） ┓ P ∨ ┓ Q （ 5） ┓ P （ 3）（ 4）歸結(jié)（違反支持集策略） （ 6） P （ 1）（ 2）歸結(jié) （ 7） □ （ 5）（ 6）歸結(jié)（違反祖先過濾策略） 第二次作業(yè) ? 題目： 說明不存在這種不可滿足的子句集合的線性輸入歸結(jié)反駁。 參考解答： ? 線性輸入：參與歸結(jié)的兩個(gè)子句中至少有一個(gè)是原始子句集中的子句。該策略是不完備的。 ? 在原問題中所有子句都含有兩個(gè)文字，而歸結(jié)一次只能消除掉一個(gè)文字，所以不論如何歸結(jié)，只要參與歸結(jié)的兩個(gè)子句有一個(gè)是來自原始子句集，那么歸結(jié)的結(jié)果一定不會(huì)是□。 所以，不存在這種子句集合的線性歸結(jié)反駁。 第二次作業(yè) ? 題目： 把下面的表達(dá)式轉(zhuǎn)換成子句形式。 )]()()[()])()[()]()[(( xQxPxxQxxPx ?????? )]()([))()(( xQxPxxxQxxP ??????? )]()([))()(( zQzPzyQyxPx ???????? ))]()(())()([( zQzPyQxPzyx ???????? ))],(()),(()([))],(()),(()([ yxfQyxfPyQyxfQyxfPxP ??????? ))},(()),(()()),(()),(()({ yxfQyxfPyQyxfQyxfPP ??????參考解答： 第二次作業(yè) ? 題目： 把下面的表達(dá)式轉(zhuǎn)換成子句形式。（ 2） 參考解答： )]],()[()],()[)[(()]()[( zyxRzzxQzxxPx ?????? )},(),()({ tybRzbQaP ??? )),(),(()( zyxzRzxzQxxxP ??????? )),(),(()( zyxzRzxzQxxPx ??????? )),(),(( zyuzRzuzQu ??? )),(),(()( tyuRzuQxPtzux ??????? )),(),(()( tybRzbQaPtz ?????注意： 常元一般用 a,b,c，變?cè)米帜副砗竺娴淖帜? 第二次作業(yè) ? 題目： 對(duì)下述公式集合執(zhí)行合一算法，判斷是否可合一，如果可合一，給出最一般合一。 （ 1） （ 2） （ 3） ))}(),(,())),((,({ ufuzhzPygfxaPS ? )},()),(),(({ yyPsgafPS ? ))}(),(,())),((,({ yhyhzPzghxPS ? 參考解答： – 核心：合一概念，合一算法（ P52頁） – （ 1）解答如下： – （ 2）答案：不可合一 – （ 3）答案：可合一， mgu= ))}(),(,())),((,({ ufuzhzPygfxaPS ? },{,) 000 zaDSW ??? ?? ))}(),(,())),((,({},/{)2 11 ufuahaPygfxaPWza ???令 )},(,{,)3 11 uahxDW ?未合一 ))}(),(,())),((),(,({},/),(,/)4 22 ufuahaPygfuahaPWxuahza ??? )),((,)522 uygD ?未合一 )))}(()),(,(,({},/)(,/))(,(,/{)6 33 ygfygahaPWuygxygahza ??? }/)(,/))((,/{ yagxaghza第二次作業(yè) ? 題目： 已知： 規(guī)則 1：任何人的兄弟不是女性。 規(guī)則 2：任何人的姐妹必是女性。 事實(shí)： Mary是 Bill的姐妹。 求證：用歸結(jié)推理方法證明 Mary不是 Tom的兄弟。 參考解答： 定義 Sister(x,y)表示 x是 y的姐妹， Brother(x,y)表示 x是 y的兄弟， Female(x)表示 x是女性，論域?yàn)樗腥说募稀?
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1