附錄Ａ計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試人工智能真題１９９９年計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試真題課程Ⅳ人工智能原理一、選擇題（共４分）人工智能作為一門(mén)學(xué)科，在（）年誕生于（）。ＬＩＳＰ語(yǔ)言是（）年提出的，ＭＹＣＩＮ的誕生地是（）。第１、３空格候選答案：（Ａ）１８７０（Ｂ）１８７６（Ｃ）１８８０（Ｄ）１８８６（Ｅ）１８９０（Ｆ）１８９５（Ｇ）１９３５（Ｈ）１９４０（Ｉ）１９４６（Ｊ）１９５０（Ｋ）１９５６（Ｌ）１９６０（Ｍ）１９７０（Ｎ）１９８０第２、４空格候選答案：（１）Ｄｏｖｅｒ（２）ＬａｓＶｅｇａ（３）ＲｉｃｅＵｎｉｖｅｒｓｉｔｙ（４）ＮｅｗＹｏｒｋ（５）Ｈｏｕｓｔｏｎ（６）Ｃｈｉｃａｇｏ（７）Ｂｏｓｔｏｎ（８）Ｌｏｎｄｏｎ（９）Ｄａｒｔｍｏｕｔｈ（１０）Ｓｅａｒｔｉｅ（１１）ＨａｒｖａｒｄＵｎｉｖｅｒｓｉｔｙ（１２）ＯｘｆｏｒｄＵｎｉｖｅｒｓｉｔｙ（１３）ＵｎｉｖｅｒｓｉｔｙｏｆＣａｍｏｒｉｄｇｅ（１４）Ｂｉｒｍｉｎｇｈａｍ（１５）ＪｏｈｎｓＨｏｐｋｉｎｓＵｎｉｖｅｒｓｉｔｙ（１６）Ｐｅｎｎｓｙｌｖａｎｉａ（１７）ＲＡＮＤ（１８）ＩＢＭ（１９）ＳａｎＪｏｓｅ（２０）ＦｒａｎｋｌｉｎａｎｄＭａｒｓｈａｌｌＣｏｌｌｅｇｅ（２１）Ｐｈｉｌａｄｅｌｐｈｉａ（２２）Ｄｅｎｖｅｒ（２３）Ｍｏｎｔｒｅａｌ（２４）Ｂｅｒｋｅｌｅｙ（２５）ＣａｒｎｅｇｉｅＭｅｌｏｎＵｎｉｖｅｒｓｉｔｙ（２６）Ｍｉｃｈｉｇａｎ（２７）ＭＩＴｓ（２８）ＫａｎｓａｓＣｉｔｙ（２９）Ｐｒｏｖｉｄｅｎｃｅ（３０）ＳｔａｎｆｏｒｄＵｎｉｖｅｒｓｉｔｙ二、填空題（共１０分）１．近年來(lái)，對(duì)人類(lèi)智能的理解上形成了兩種不同的觀點(diǎn)，一種觀點(diǎn)稱(chēng)做（）主義，另一種觀點(diǎn)，即（）的觀點(diǎn)，稱(chēng)做（）主義。２．常用的知識(shí)表示方法有邏輯表示法、（）、（）、（）、（）等。３．下圖為Ｓｉｍｏｎ提出的學(xué)習(xí)模型，請(qǐng)?zhí)畛淇瞻卓?。三、（５分）將下式化為不含量詞的子句～ｘｙｚｕＰ（ｘ，ｙ，ｚ，ｕ）五、（１０分）已知：規(guī)則可信度Ａ→ＸＢ→ＸＣ→ＸＣＦ（Ｘ，Ａ）＝０．８ＣＦ（Ｘ，Ｂ）＝０．６ＣＦ（Ｘ，Ｃ）＝０．４Ｘ∧Ｄ→ＹＣＦ（Ｙ，Ｘ∧Ｄ）＝０．３證據(jù)可信度ＣＦ（Ａ）＝ＣＦ（Ｂ）＝ＣＦ（Ｃ）＝ＣＦ（Ｄ）＝０．５。Ｘ、Ｙ的初始可信度ＣＦ0（Ｘ）＝０．１；ＣＦ0（Ｙ）＝０．２。要求用ＭＹＣＩＮ的方法計(jì)算：１．結(jié)論Ｘ的可信度ＣＦ（Ｘ）；２．結(jié)論Ｙ的可信度ＣＦ（Ｙ）。２０００年計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試真題課程Ⅳ人工智能原理一、選擇與填空（共１０分，每空０．５分）１．命題邏輯下，可以歸結(jié)（消解、ｒｅｓｏｌｕｔｉｏｎ）的子句Ｃ１和Ｃ２，在某解釋下Ｃ１和Ｃ２為真。則其歸結(jié)式（消解式、ｒｅｓｏｌｖｅｎｔ）Ｃ在該解釋下（）。Ａ．必真Ｂ．必假Ｃ．真假不能斷言２．表達(dá)式Ｇ是不可滿(mǎn)足的，當(dāng)且僅當(dāng)對(duì)所有的解釋?zhuān)ǎ＃粒菫檎妫拢菫榧伲茫菫榉怯勒妫ǎ椋睿觯幔欤椋洌常停伲茫桑蜗到y(tǒng)中規(guī)定，證據(jù)Ａ的可信度ＣＦ（Ａ）的取值為（）。Ａ．ＣＦ（Ａ）＞０Ｂ．０≤ＣＦ（Ａ）≤１Ｃ．－１≤ＣＦ（Ａ）≤１４．主觀Ｂａｙｅｓ推理中，規(guī)定似然比（Ｌｉｋｅｌｉｈｏｏｄ）ＬＳ和ＬＮ應(yīng)（）。Ａ．≥０Ｂ．≤０Ｃ．＞０５．在誕生初期，人工智能被定義為這樣一個(gè)計(jì)算機(jī)科學(xué)的分支：它是研究（）。人工智能程序與通常意義下的程序比較它具有以下四個(gè)特點(diǎn)：（），（），（），（）。６．用反演（ｒｅｆｕｔａｔｉｏｎ）歸結(jié)證明定理，證明過(guò)程是這樣結(jié)束的。若（），則定理得證；若（），則證明失敗。７．在語(yǔ)義網(wǎng)絡(luò)中，為了進(jìn)行節(jié)點(diǎn)（結(jié)點(diǎn)，ｎｏｄｅ）間節(jié)點(diǎn)屬性的繼承推理，規(guī)定了兩個(gè)約定俗成的鏈（弧，ａｒｃ），命名為（）和（），用來(lái)標(biāo)明類(lèi)與子類(lèi)、類(lèi)與個(gè)體之間的關(guān)系。８．產(chǎn)生式規(guī)則與蘊(yùn)涵規(guī)則的區(qū)別在于：產(chǎn)生式規(guī)則（），而蘊(yùn)涵規(guī)則（）。９．ＭＹＣＩＮ推理中，對(duì)證據(jù)的可信度ＣＦ（Ａ）、ＣＦ（Ａ１）和ＣＦ（Ａ２）之間，規(guī)定如下關(guān)系：ＣＦ（～Ａ）＝（），ＣＦ（Ａ１∧Ａ２）＝（），ＣＦ（Ａ１∨Ａ２）＝（）。１０．主觀Ｂａｙｅｓ推理中，規(guī)則Ｅ→Ｈ的不確定性是以似然比ＬＳ和ＬＮ描述的。ＬＳ表示了規(guī)則成立的（）性；ＬＮ表示了規(guī)則成立的（）性。二、化下列邏輯表達(dá)式為不含存在量詞的前束形（ｐｒｅｎｅｘｆｏｒｍ）（５分）（Ｘ）（Ｙ）｛（Ｚ）［Ｐ（Ｚ）∧～Ｑ（Ｘ，Ｚ）］→Ｒ（Ｘ，Ｙ，ｆ（ａ））｝四、對(duì)結(jié)論做假設(shè)Ｈ，有證據(jù)Ｅ１和Ｅ２，規(guī)則Ｒ１和Ｒ２。（１０分）Ｒ１：Ｅ１→Ｈ，ＬＳ＝２０，ＬＮ＝１；Ｒ２：Ｅ２→Ｈ，ＬＳ＝３００，ＬＮ＝１。已知Ｈ的先驗(yàn)概率Ｐ（Ｈ）＝０．０３。若證據(jù)Ｅ１和Ｅ２依次出現(xiàn)，按主觀Ｂａｙｅｓ推理，求Ｈ在此條件下的概率Ｐ（ＨｍＥ１，Ｅ２）。（注意：每步應(yīng)列出計(jì)算式，計(jì)算結(jié)果可取近似值。）２００１年計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試真題課程Ⅳ人工智能原理一、選擇與填空（共１０分，每空０．５分）（１）標(biāo)準(zhǔn)邏輯（謂詞邏輯）中，重言式（ｔａｕｔｌｏｇｙ）是（）。Ａ．永真Ｂ．永假Ｃ．非永真（ｉｎｖａｌｉｄ）（２）反演（ｒｅｆｕｔａｔｉｏｎ）歸結(jié)（消解，ｒｅｓｏｌｕｔｉｏｎ）證明定理時(shí)，若當(dāng)前歸結(jié)式（消解式，ｒｅｓｏｌｖｅｎｔ）是（），則定理得證。Ａ．永真式Ｂ．包孕式（ｓｕｂｓｕｍｅｄ）Ｃ．空子句（３）ＭＹＣＩＮ系統(tǒng)中規(guī)定，若證據(jù)Ａ的可信度ＣＦ（Ａ）＝０，則意味著（）。Ａ．證據(jù)不可信Ｂ．對(duì)證據(jù)一無(wú)所知Ｃ．證據(jù)可信（４）主觀Ｂａｙｅｓ推理中，規(guī)則Ｅ→Ｈ，其ＬＳ＝ＬＮ＝１，這意味著（）。Ａ．Ｅ對(duì)Ｈ沒(méi)有影響Ｂ．Ｅ支持ＨＣ．～Ｅ支持Ｈ（５）開(kāi)發(fā)專(zhuān)家系統(tǒng)所要解決的基本問(wèn)題有３個(gè)，那就是知識(shí)的獲取、知識(shí)的表示和（）；知識(shí)表示的方法主要有（），（），（），（）。（６）反演歸結(jié)的支持集策略規(guī)定：參加歸結(jié)的子句應(yīng)這樣選?。海ǎ?，而其歸結(jié)式應(yīng)并入（）內(nèi)。（７）謂詞邏輯下，子句Ｃ１＝Ｌ１∨Ｃ′１，Ｃ２＝～Ｌ２∨Ｃ′２，若σ是互補(bǔ)句節(jié)的（）的合一子，則其歸結(jié)式（消解式，ｒｅｓｏｌｖｅｎｔ）Ｃ＝（）。（８）以反演歸結(jié)證明子句集Ｓ不可滿(mǎn)足的過(guò)程中，當(dāng)前歸結(jié)式是（）或（），則可刪除。（９）語(yǔ)義網(wǎng)絡(luò)是（）表示的［節(jié)點(diǎn)１，有向弧，節(jié)點(diǎn)２］三元式聯(lián)結(jié)而成的。其節(jié)點(diǎn)表示（），其弧表示（）。（１０）ＰＲＯＳＰＥＣＴＯＲ系統(tǒng)中的規(guī)則，由專(zhuān)家指定其ＬＳ、ＬＮ的值，由似然比定義知：ＬＳ、ＬＮ與０（零）比較應(yīng)ＬＳ、ＬＮ皆（）０，并且，若指定ＬＳ＞１，則ＬＮ應(yīng)指定（）；反之亦然。二、計(jì)算證據(jù)對(duì)結(jié)論的不確定性的影響（７分）已知規(guī)則Ｒ１、Ｒ２的可信度：Ｒ１，Ａ→Ｘ，ＣＦ（Ｘ，Ａ）＝０．８Ｒ２，Ｂ→Ｘ，ＣＦ（Ｘ，Ｂ）＝０．６證據(jù)可信度ＣＦ（Ａ）＝ＣＦ（Ｂ）＝０．５，Ｘ的初始ＣＦ０（Ｘ）＝０．１，現(xiàn)逐次引用Ｒ１、Ｒ２，要求用ＭＹＣＩＮ的方法計(jì)算結(jié)論Ｘ的可信度ＣＦ（Ｘ）。三、用標(biāo)準(zhǔn)邏輯（經(jīng)典邏輯，謂詞邏輯）的子句集表示下述刑偵知識(shí)，并用反演歸結(jié)的線(xiàn)性策略證明結(jié)論。（９分）現(xiàn)定義如下謂詞（其項(xiàng)變量Ｘ，Ｙ，Ｚ，皆為全稱(chēng)變量）。Ｔｈｉｅｆ（Ｘ）———某人Ｘ是賊；Ｌｉｋｅｓ（Ｘ，Ｙ）———某人Ｘ喜歡某物Ｙ；Ｍａｙｓｔｅａｌ（Ｘ，Ｙ）———某人Ｘ可能會(huì)偷竊某物Ｙ。（１）用子句集表示下屬刑偵知識(shí)：ｉＪｏｈｎ是賊。ｉｉＰａｕｌ喜歡酒（ｗｉｎｅ）。ｉｉＰａｕｌ（也）喜歡奶酪（ｃｈｅｅｓｅ）ｉｖ如果Ｐａｕｌ喜歡某物則Ｊｏｈｎ也喜歡某物。ｖ如果某人是賊，而且他喜歡某物，則他就可能會(huì)偷竊該物。（２）求證結(jié)論：Ｊｏｈｎ可能會(huì)偷竊什么？即求證目標(biāo)：Ｍａｙｓｔｅａｌ（Ｊｏｈｎ，Ｚ），Ｚ＝？（提示：建議將求證目標(biāo)作為頂子句，按線(xiàn)性策略進(jìn)行反演消解，注明每次消解式的置換及其父子句的編號(hào)。）附錄Ｂ計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試真題參考解答１９９９年綜合考試人工智能真題參考解答一、（Ｋ），（９），（Ｌ），（３０）二、１．（符號(hào)主義），（仿生學(xué)），（聯(lián)結(jié)主義）２．（框架表示法），（語(yǔ)義網(wǎng)絡(luò)表示法），（面向?qū)ο蟊硎痉ǎóa(chǎn)生式表示法）３．五、解：考慮Ｘ、Ｙ具有初始可信度，所以使用更新法計(jì)算結(jié)論可信度。（１）Ｘ的可信度更新值計(jì)算由于證據(jù)初始值ＣＦ（Ａ）＝ＣＦ（Ｂ）＝ＣＦ（Ｃ）＝ＣＦ（Ｄ）＝０．５＜１，所以，使用公式（４．２．１０）。由規(guī)則ｒ１：ＣＦ（Ｘ／Ａ）＝ＣＦ０（Ｘ）＋ＣＦ（Ａ）×ＣＦ（Ｘ，Ａ）－ＣＦ０（Ｘ）×ＣＦ（Ａ）×ＣＦ（Ｘ，Ａ）＝０．１＋０．５×０．８－０．１×０．５×０．８＝０．４６由規(guī)則ｒ２：ＣＦ（Ｘ／Ａ，Ｂ）＝ＣＦ（Ｘ／Ａ）＋ＣＦ（Ｂ）×ＣＦ（Ｘ，Ｂ）－ＣＦ（Ｘ／Ａ）×ＣＦ（Ｂ）×ＣＦ（Ｘ，Ｂ）＝０．４６＋０．５×０．６－０．４６×０．５×０．６＝０．６２２由規(guī)則ｒ３：ＣＦ（Ｘ／Ａ，Ｂ，Ｃ）＝ＣＦ（Ｘ／Ａ，Ｂ）＋ＣＦ（Ｃ）×ＣＦ（Ｘ，Ｃ）－ＣＦ（Ｘ／Ａ，Ｂ）×ＣＦ（Ｃ）×ＣＦ（Ｘ，Ｃ）＝０．６２２＋０．５×０．４－０．６２２×０．５×０．４＝０．６９８ＣＦ（Ｘ／Ａ，Ｂ，Ｃ）即是Ｘ的可信度之更新值。（２）Ｙ的可信度更新值計(jì)算由規(guī)則ｒ４：首先求出ＣＦ（Ｘ∧Ｄ）＝ｍｉｎ｛ＣＦ（Ｘ），ＣＦ（Ｄ）｝＝ｍｉｎ｛０．６９８，０．５｝＝０．５由于規(guī)則Ｘ∧Ｄ→Ｙ的前提Ｘ∧Ｄ之可信度ＣＦ（Ｘ∧Ｄ）＝０．５＜１，所以，仍要使用公式（４．２．１０），得到ＣＦ（Ｙ／Ｘ∧Ｄ）＝ＣＦ０（Ｙ）＋ＣＦ（Ｘ∧Ｄ）×ＣＦ（Ｙ／Ｘ∧Ｄ）－ＣＦ０（Ｙ）×ＣＦ（Ｘ∧Ｄ）×ＣＦ（Ｙ，Ｘ∧Ｄ）＝０．２＋０．５×０．３－０．２×０．５×０．３＝０．２＋０．１５－０．２×０．１５＝０．３２故結(jié)論Ｙ之可信度的更新值為ＣＦ（Ｙ）＝０．３２。答：Ｘ的更新后的可信度為ＣＦ（Ｘ）＝０．６９８，Ｙ的更新后的可信度為ＣＦ（Ｙ）＝０．３２。２０００年綜合考試人工智能真題參考解答一、選擇與填空１．（Ａ）２．（Ｂ）３．（Ｃ）４．（Ａ）５．（使計(jì)算機(jī)來(lái)完成能表現(xiàn)出人類(lèi)智能的任務(wù)的學(xué)科）（以符號(hào)表示的知識(shí)而不是數(shù)值數(shù)據(jù)為研究對(duì)象）（采用的是啟發(fā)式推理方法，而不是常規(guī)的算法）（控制結(jié)構(gòu)與領(lǐng)域知識(shí)是分離的）（允許出現(xiàn)不正確的解答）６．（歸結(jié)出空子句ＮＩＬ），（歸結(jié)不出空子句ＮＩＬ）７．（ＡＫＯ），（ＩＳＡ）８．（可以用于不精確推理，本身沒(méi)有真值），（只能用于精確推理，本身有真值）９．（ＣＦ（～Ａ）＝－ＣＦ（Ａ）），（ＣＦ（Ａ１∧Ａ２）＝ｍｉｎ｛ＣＦ（Ａ１），ＣＦ（Ａ２）｝），（ＣＦ（Ａ１∨Ａ２）＝ｍａｘ｛ＣＦ（Ａ１），ＣＦ（Ａ２）｝）１０．（充分性），（必要性）二、解：（ｘ）（ｙ）｛（ｚ）［Ｐ（ｚ）∧～Ｑ（ｘ，ｚ）］→Ｒ（ｘ，ｙ，ｆ（ａ））｝（ｘ）（ｙ）｛～（ｚ）［Ｐ（ｚ）∧～Ｑ（ｘ，ｚ）］∨Ｒ（ｘ，ｙ，ｆ（ａ））｝（ｘ）（ｙ）｛（ｚ）［～Ｐ（ｚ）∨～Ｑ（ｘ，ｚ）］∨Ｒ（ｘ，ｙ，ｆ（ａ））｝（ｙ）｛～Ｐ（ｇ（ｙ））∨Ｑ（ｂ，ｇ（ｙ））∨Ｒ（ｂ，ｙ，ｆ（ａ））｝四、解：由題意得如圖所示的推理網(wǎng)絡(luò)。由于Ｈ的先驗(yàn)概率Ｐ（Ｈ）＝０．０３，依據(jù)規(guī)則Ｒ１和公式（４．３．１２），對(duì)Ｈ的概率進(jìn)行更新：Ｐ（Ｈ／Ｅ１）＝ＬＳ１×Ｐ（Ｈ）（ＬＳ１－１）×Ｐ（Ｈ）＋１＝２０×０．０３１９×０．０３＋１＝０．３８２將０．３８２再作為Ｈ的先驗(yàn)概率，應(yīng)用規(guī)則Ｒ２：Ｐ（Ｈ／Ｅ１，Ｅ２）＝ＬＳ２×Ｐ（Ｈ／Ｅ１）（ＬＳ２－１）×Ｐ（Ｈ／Ｅ１）＋１＝３００×０．３８２（３００－１）×０．３８２＋１＝０．９９４６２００１年綜合考試人工智能真題參考解答一、選擇與填空１．（Ａ）２．（Ｃ）３．（Ｂ）４．（Ａ）５．（知識(shí)推理），（謂詞邏輯法），（產(chǎn)生式表示法），（語(yǔ)義網(wǎng)絡(luò)表示法），（框架表示法）６．（至少應(yīng)有一個(gè)子句是由目標(biāo)公式的否定所得到的子句或是它們的后裔），（子句集）７．（Ｌ１，Ｌ２），（Ｃ＝（Ｃ１σ－｛Ｌ１σ｝）∪（Ｃ２σ－｛Ｌ２σ｝））８．（單文字），（重言式）９．（有向圖），（概念、事物、事件、情況等），（節(jié)點(diǎn)間的語(yǔ)義聯(lián)系）１０．（≥），（＜１）二、解：由于證據(jù)初始值ＣＦ（Ａ）＝ＣＦ（Ｂ）＝０．５＜１，所以應(yīng)用公式（４．２．１０），由于ＣＦ０（Ｘ）＝０．１＞０，ＣＦ（Ｘ，９８３附錄Ｂ計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科綜合考試真題參考解答Ａ）＝０．８＞０，故應(yīng)用公式的上半部分：由規(guī)則Ｒ１：ＣＦ（Ｘ／Ａ）＝ＣＦ０（Ｘ）＋ＣＦ（Ａ）×ＣＦ（Ｘ，Ａ）－ＣＦ０（Ｘ）×ＣＦ（Ａ）×ＣＦ（Ｘ，Ａ）＝０．１＋０．５×０．８－０．１×０．５×０．８＝０．４６由于ＣＦ（Ｘ／Ａ）＝０．４６＞０，ＣＦ（Ｘ，Ｂ）＝０．６＞０，所以對(duì)規(guī)則Ｒ２同樣應(yīng)用公式（４．２．１０）的上半部分：ＣＦ（Ｘ／Ａ，Ｂ）＝ＣＦ（Ｘ／Ａ）＋ＣＦ（Ｂ）×ＣＦ（Ｘ，Ｂ）－ＣＦ（Ｘ／Ａ）×ＣＦ（Ｂ）×ＣＦ（Ｘ，Ｂ）＝０．４６＋０．５×０．６－０．４６×０．５×０．６＝０．６２２答：用ＭＹＣＩＮ方法求得的結(jié)論Ｘ的可信度為０．６２２。三、解：第一步：定義謂詞，將已知條件用謂詞公式表示出來(lái)，并化成子句集。（１）定義謂詞：ｔｈｉｅｆ（ｘ）：表示ｘ是賊；ｌｉｋｅｓ（ｘ，ｙ）：表示某人ｘ喜歡某物ｙ；ｍａｙｓｔｅａｌ（ｘ，ｙ）：表示某人ｘ可能會(huì)偷某物ｙ。（２）將已知事實(shí)表示成謂詞公式，并化成子句集：ｉＪｏｈｎ是賊。ｔｈｉｅｆ（Ｊｏｈｎ）Ｓ１＝｛ｔｈｉｅｆ（Ｊｏｈｎ）｝IiＰａｕｌ喜歡酒（ｗｉｎｅ）。IiiＰａｕｌ（也）喜歡奶酪（ｃｈｅｅｓｅ）。ｌｉｋｅｓ（Ｐａｕｌ，ｗｉｎｅ）∧ｌｉｋｅｓ（Ｐａｕｌ，ｃｈｅｅｓｅ）Ｓ２＝｛ｌｉｋｅｓ（Ｐａｕｌ，ｗｉｎｅ），ｌｉｋｅｓ（Ｐａｕｌ，ｃｈｅｅｓｅ）｝ｉｖ如果Ｐａｕｌ喜歡某物則Ｊｏｈｎ也喜歡某物。（ｙ）（ｌｉｋｅｓ（Ｐａｕｌ，ｙ）→ｌｉｋｅｓ（Ｊｏｈｎ，ｙ））Ｓ３＝｛～ｌｉｋｅｓ（Ｐａｕｌ，ｙ）∨ｌｉｋｅｓ（Ｊｏ