人工智能 經(jīng)典考試試題與答案

C)假言推理D)USA)一階謂詞B)原子公式C)二階謂詞D)全稱量詞中，證據(jù)A為真的作用下結(jié)論B為真4、已知S={P(f(x),y,g(y)),P(f(x),z,g(x))}，求MGU一、1、B2、C6、D7、A11、A12、D13、B14、C2、產(chǎn)生式規(guī)則基本形式：P4、解：k=0;S0=S;S1=S0·｛z/y｝={P(f(x),z,g(z)),P(f(x),z,g(x))},S1不是單元素集，求得差異集D1=｛z,x｝,k=k+1=2;S2=S1·｛z/x｝=｛P(f(z),z,g(z))｝是單元素集。根據(jù)求MGU算法，MGU=②Q(a)③┓P(y)④┓Q(x)(1)F(x,y)4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU11、A12、B13、A.14、D15、B2、正向推理3、ArtificalIntelligence4、解：k=0;S0=S;在g(A,y)中出現(xiàn)。k=k+1=1有S1=S0·｛g(A,y)/z｝={P(f(x,g(A,y)),g(A,y))},S1是單元素集。根據(jù)求MGU算法，MGU=②┓P(y)③P(a)④S(a)⑤┓S(z)⑥R(a)⑦┓R(a)L(x,y)------某人x喜歡某物y；P(y)------某物y是清潔的東西(1)yx(P(y)(2)x(┓L(x,Fly))==>┓L(x,Fly)(3)P(Fly)．．．結(jié)論的反(4)L(f(Fly),Fly)．．．(1)(3)歸結(jié),置換{Fly/y}(5)□．．．(2)(4)歸結(jié),{f(Fly)/x}A.PB.QC.~PD.PQ2、B6、極大極小分析法-剪枝技術(shù)7、隨機性模糊性不一致性不確定性8、純文字永真類含9、~CF（A）min{CF（A1）CF（A2）}max{CF（A1）CF（A2）}12、知識的運用邏輯表示法（謂詞表示法）框架產(chǎn)生式AKOISA(1)F(x,y)C)假言推理D)USA)最一般合一B)最一般替換C)最一般謂詞D)基替換D)不確定性確定性10、人工智能的遠期目標是4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)}，求MGU11、A12、B13、A.14、D15、B2、正向推理3、ArtificalIntelligence4、解：k=0;S0=S;在g(A,y)中出現(xiàn)。k=k+1=1有S1=S0·｛g(A,y)/z｝={P(f(x,g(A,y)),g(A,y))},S1是單元素集。根據(jù)求MGU算法，MGU=②┓P(y)③P(a)④S(a)⑤┓S(z)⑥R(a)⑦┓R(a)L(x,y)------某人x喜歡某物y；P(y)------某物y是清潔的東西(1)yx(P(y)(2)x(┓L(x,Fly))==>┓L(x,Fly)(3)P(Fly)．．．結(jié)論的反(4)L(f(Fly),Fly)．．．(1)(3)歸結(jié),置換{Fly/y}(5)□．．．(2)(4)歸結(jié),{f(Fly)/x}B：/或"圖表示法A：ellenC：ericD：ellen、john、ericpredicateslikes(symbol,symbol)likes(ellen,reading).likes(john,computers).likes(john,swimming).likes(leonard,badminton).likes(eric,swimming).likes(eric,reading).likes(Person,reading),likes(Person,swimming).predicateslikes(symbol,symbol)friend(symbol,symbol)likes(xiaofang,swimming).likes(xiaoming,pingpong).friend(X,xiaohua):-likes(X,pingpong).friend(X,xiaohua).A：billC：billD：billpredicatesmale(bill).male(joe).female(sue).parent(bill,joe).parent(sue,joe).parent(joe,tammy).parent(Parent,_).A：s0-s4-s5-s6-s9-sgB：s0-s4-s1-s2-s3-s6-s9-sgC：s0-s4-s1-s2-s3-s5-s6-s8-s9-sgD：s0-s4-s7-s5-s6-s9-sg××××××××××××1、B2、D3、C4、C5、C6、B7、B8、A9、D10、D11、B12、D13、A14、D15、C16、B17、C18、B19、C20、C21、C22、B23、C24、B25、D