資源描述：
《人工智能作業(yè)答案(中國礦大)》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫。
1、1把以下合適公式化簡為合取范式的子句集：?。?）?("x)($y)($z){P(x)T("x)[Q(x,y)TR(z)]}?。?）("x)($y){{P(x)ù[Q(x)úR(y)]}T("y)[P(f(y))TQ(g(x))]} (3)("x)($y){P(x)ù[Q(x)úR(y)]}T("y){[P(f(y))TQ(g(y))]T("x)R(x)}(1)·?("x)($y)($z){P(x)T("x)[Q(x,y)TR(z)]} ·?("x)($y)($z){?P(x)ú("x)[?Q(x,y)úR(z)]} ·($x)("y)("z){P(x)ù($x)[Q(x,y)ù
2、?R(z)]} ·P(A)ù[Q(f(y,z),y)ù?R(z)] ·{P(A),Q(f(y,z),y),ù?R(w)}（2) ·("x)($y){{P(x)ù[Q(x)úR(y)]}T("y)[P(f(y))TQ(g(x))]} ·("x)($y){?{P(x)ù[Q(x)úR(y)]}ú("y)[?P(f(y))úQ(g(x))]} ·("x)($y){?P(x)ú[?Q(x)ù?R(y)]ú("w)[?P(f(w))úQ(g(x))]} ·("x){?P(x)ú[?Q(x)ù?R(h(x))]ú("w)[?P(f(w))úQ(g(x))]} ·[?P(x)ú?Q(x)ú?
3、P(f(w))úQ(g(x))]ù[?P(x)ú?R(h(x))ú?P(f(w))úQ(g(x))] ·{?P(x1)ú?Q(x1)ú?P(f(w1)úQ(g(x1)),?P(x2)ú?R(h(w2))ú?P(f(w2))úQ(g(x2))}(3)·("x)($y){P(x)ù[Q(x)úR(y)]}T("y){[P(f(y))TQ(g(y))]T("x)R(x)}·?("x)($y){P(x)ù[Q(x)úR(y)]}ú("y){?[?P(f(y))úQ(g(y))]ú("x)R(x)}·($x)("y){?P(x)ú[?Q(x)ù?R(y)]}ú("w){?[?P(f(w)
4、)úQ(g(w))]ú("v)R(v)}·{?P(A)ú[?Q(A)ù?R(y)]}ú{[P(f(w))ù?Q(g(w))]úR(v)}·?P(A)ú{[?Q(A)úP(f(w))]ù[?Q(A)ú?Q(g(w))]ù[?R(y)úP(f(w))]ù[?R(y)ú?Q(g(w))]}úR(v)·{?P(A)ú?Q(A)úP(f(w1))úR(v1),?P(A)ú?Q(A)úQ(g(w2))úR(v2),?P(A)ú?R(y3)úP(f(w3))úR(v3),?P(A)ú?R(y4)úQ(g(w4))úRv4)}2假設(shè)已知下列事實(shí)： 1）小李（Li）喜歡容易的（Easy）課
5、程（Course）?！ ?）小李不喜歡難的（Difficult）課程?！ ?）工程類（Eng）課程都是難的?！ ?）物理類（Phy）課程都是容易的?！ ?）小吳（Wu）喜歡所有小李不喜歡的課程?！ ?）Phy200是物理類課程。 7）Eng300是工程類課程。請(qǐng)用歸結(jié)反演法回答下列問題： 1）小李喜歡什么課程？ 2）證明小吳喜歡Eng300課程將已知事實(shí)形式化表示為合適公式: (1)???("x)[Course(x)ùEasy(x)TLike(Li,x)]；(2)???("x)[Course(x)ù?Easy(x)T?Like(Li,x
6、)]；(3)???("x)[Course(x)ùEng(x)T?Easy(x)]；(4)???("x)[Course(x)ùPhg(x)TEasy(x)]；(5)???("x)[Course(x)ù?Like(x)TLike(Wu,x)]；(6)???Course(Phy200)ùPhy(Phy200)；(7)???Course(Eng300)ùEng(Eng300)； ·問題表示為以下合適公式(目標(biāo)公式): (1)($x)[Coure(x)ùLike(Li,x)]；(2)Like(Wu),Eng300)； ·將所有事實(shí)和對(duì)應(yīng)于問題的目標(biāo)公式取反加以化簡,并標(biāo)準(zhǔn)化為合取
7、范式子句集: (1)????Course(x1)ú?Easy(x1)úLike(Li,x1);(2)????Course(x2)úEasy(x2)ú?Like(Li,x2);(3)????Course(x3)ú?Eny(x)ú?Easy(x3);(4)????Course(x4)ú?Phy(x4)úEasy(x4);(5)????Course(x5)úLike(Li,x5)úLike(Wu,x5);(6)???Course(Phy200);(7)???Phy(Phy200);(8)???
