【正文】 這種學(xué)習(xí)方法直接記憶或存儲環(huán)境提供的新知識，并在以后通過對知識庫的檢索來直接使用這些知識，而不再需要進(jìn)行任何的計(jì)算和推導(dǎo)。變異操作的簡單方式是改變數(shù)碼串的某個位置上的數(shù)碼。（3） 信息處理與信息存貯合二為一。把這些子節(jié)點(diǎn)都送入OPEN表中，然后對OPEN表中的全部節(jié)點(diǎn)按估價值從小至大的順序進(jìn)行排序，然后轉(zhuǎn)第2步。 n 基本思想每當(dāng)要選擇下一個節(jié)點(diǎn)進(jìn)行考察時，全局擇優(yōu)搜索每次總是從OPEN表的全體節(jié)點(diǎn)中選擇一個估價值最小的節(jié)點(diǎn)。 啟發(fā)性信息與估價函數(shù)：n 可用于指導(dǎo)搜索過程，且與具體問題有關(guān)的信息稱為啟發(fā)性信息。4) 考察節(jié)點(diǎn)n是否為目標(biāo)節(jié)點(diǎn)。5) 若節(jié)點(diǎn)n不可擴(kuò)展，則轉(zhuǎn)第2步。缺點(diǎn)：盲目、效率低。n 廣度優(yōu)先搜索過程1) 把初始節(jié)點(diǎn)S0放入OPEN表。 通過搜索得到的圖稱為搜索圖，搜索圖是狀態(tài)空間圖的一個子集。 一個新生成的節(jié)點(diǎn)，它可能是第一次被生成的節(jié)點(diǎn)，也可能是先前已作為其它節(jié)點(diǎn)的子節(jié)點(diǎn)被生成過，當(dāng)前又作為另一個節(jié)點(diǎn)的子節(jié)點(diǎn)被再次生成。對一個節(jié)點(diǎn)的擴(kuò)展是指：用所有可適用的算符對該節(jié)點(diǎn)進(jìn)行操作，生成一組子節(jié)點(diǎn)u 搜索的一般過程1. 把初始節(jié)點(diǎn)S0放入OPEN表，并建立目前只包含S0的圖，記為G；2. 檢查OPEN表是否為空，若為空則問題無解，退出；3. 把OPEN表的第一個節(jié)點(diǎn)取出放入CLOSE表，并計(jì)該節(jié)點(diǎn)為n；4. 考察節(jié)點(diǎn)n是否為目標(biāo)節(jié)點(diǎn)。這個解就是從初始狀態(tài)到目標(biāo)狀態(tài)所采用算符的序列。2) 狀態(tài)空間用“狀態(tài)”和“算符”來表示問題。如果這五個偵察員的話都是可信的，試用歸結(jié)演繹推理求出誰是盜竊犯。T(A)), 即T(A)應(yīng)用歸結(jié)原理對S2進(jìn)行歸結(jié)：(9)172。即多一個子句：(8)172。T(C)(3)T(C)∨T(A)∨T(B)(4)172。T(C)172。T(C)∨T(A)∨T(B)172。2. 把待求解的問題也用謂詞公式表示出來，然后把它否定并與謂詞Answer構(gòu)成析取式。B(b) 由(4)與(6)歸結(jié)，{a/x,b/y}(8)NIL 由(5)與(7)歸結(jié)所以G是F的邏輯結(jié)論。Q}化為子句集S。216。Q∨R, C3=PC1與C2歸結(jié)得到：C12=172。u 命題邏輯中的歸結(jié)原理 若P是原子謂詞公式，則稱P與172。 上式中存在量詞($y)及($z)都位于(x)的轄域內(nèi)，所以需要用Skolem函數(shù)替換，設(shè)替換y和z的Skolem函數(shù)分別是f(x)和g(x)，則替換后得到5) 把全稱量詞全部移到公式的左邊6) 利用等價關(guān)系把公式化為Skolem標(biāo)準(zhǔn)形Skolem標(biāo)準(zhǔn)形的一般形式是其中，M是子句的合取式，稱為Skolem標(biāo)準(zhǔn)形的母式。如：P(x)， 172。為了能從各個不同的角度來描述物體，可以對不同角度的視圖分別建立框架，然后再把它們聯(lián)系起來組成一個框架系統(tǒng)。只會在歸結(jié)演繹推理那塊最后的證明時用一下，不理解的話看那個“黃書”P81中那個反演樹里用到的置換。這一學(xué)派認(rèn)為： 人工智能源于仿生學(xué)，特別是人腦模型的研究代表性成果： 1943年由麥克洛奇和皮茲提出的形式化神經(jīng)元模型，即MP模型代表人物： 麥克洛奇、皮茲、霍普菲爾特、魯梅爾哈特行為主義(Actionism)，又稱進(jìn)化主義(Evolutionism)或控制論學(xué)派(Cyberneticsism)，其原理為控制論?！　?90年代，計(jì)算機(jī)發(fā)展趨勢為小型化、并行化、網(wǎng)絡(luò)化、智能化?！　?yīng)該說，知識工程和專家系統(tǒng)是近十余年來人工智能研究中最有成就的分支之一。最初的搜索應(yīng)用于機(jī)器翻譯、機(jī)器定理證明、跳棋程序等。1956 年，他和其他一些學(xué)者聯(lián)合發(fā)起召開了世界上第 一次人工智能學(xué)術(shù)大會，在他的提議下，會上正式?jīng)Q定使用人工 智能這個詞來概括這個研究方向。名詞解釋：名詞解釋：圖靈試驗(yàn)。Bacon 另一個功績是強(qiáng)調(diào)了知識的作用。麥克洛克和皮茨于1943年提出“擬腦模型”是世界上第一個神經(jīng)網(wǎng)絡(luò)模型（MP模型），開創(chuàng)了從結(jié)構(gòu)上研究人類大腦的途徑。此外亞里士多得還研究了概念、判斷問題，以及概念的分類和概念之間的關(guān)系判斷問題的分類和它們之間的關(guān)系。此定理的意義在于，人的思維形式化和機(jī)械化的某種極限，在理論上證明了有些事是做不到的。但是由于某種原因，神經(jīng)網(wǎng)絡(luò)的研究一度進(jìn) 入低潮。1970年《人工智能國際雜志》創(chuàng)刊。同時很快就發(fā)現(xiàn)問題：歸結(jié)法費(fèi)時、下棋贏不了全國冠軍、機(jī)器翻譯一團(tuán)糟。同時，在專家系統(tǒng)及其工具越來越商品化的過程中，國際軟件市場上形成了一門旨在生產(chǎn)和加工知識的新產(chǎn)業(yè)知識產(chǎn)業(yè)。代表人物：紐厄爾、肖 為了用謂詞公式表示上述知識，首先需要定義謂詞： BIGGER(x,y) : x比y出名 COMPUTER ( x ) : x 是計(jì)算機(jī)系的 LIKE (x, y ) : x 喜歡 y解答：此時可用謂詞公式把上述知識表示為: BIGGER ( liuhuan, father ( liuhuan ))（個人覺得那個father函數(shù)最好也定義下，保險一點(diǎn)） COMPUTER(gaoyang)∧172。圖中，最高層的框架，用isa槽說明它是一個立方體，并由region槽指示出它所擁有的3個可見面A、B、E。Q) 不可滿足性即可。u 把謂詞公式化成子句集的步驟：1) 利用等價關(guān)系消去“→”和“?” 例如公式 可等價變換成2) 利用等價關(guān)系把“172。如果經(jīng)過歸結(jié)能得到空子句，則立即可得原子句集S是不可滿足的結(jié)論。稱C12為C1和C2的歸結(jié)式，C1和C2為C12的親本子句。P(a)∨R(y)就可對它們進(jìn)行歸結(jié)，得到歸結(jié)式：Q(a)∨R(y)u 歸結(jié)反演及其示例*如欲證明Q為P1,P2,…,Pn的邏輯結(jié)論，只需證(P1∧P2∧…∧Pn)∧172。Q并入到公式集F中，得到{F, 172。G化為子句集：然后進(jìn)行歸結(jié)：(6)172。 在歸結(jié)過程中，一個子句可以多次被用來進(jìn)行歸結(jié)。 設(shè)A,B,C三人中有人從不說真話，也有人從不說假話。T(C)172。T(A)∨172。T(B)(6) T(A)∨T(C)(7)T(B)∨T(C)下面先求誰是老實(shí)人。對172。 試用歸結(jié)演繹推理證明：對于某人u，一定存在一個人v，v是u的祖父。2. 交、并、補(bǔ)運(yùn)算 設(shè)A，B∈F(U)，以下為扎德算子 設(shè)U={u1,u2,u3}，A=++B=++則：A∩B=(∧)/u1+(∧)/u2+(∧)/u3 =++A∪B=(∨)/u1+(∨)/u2+(∨)/u3 =++172。采用狀態(tài)空間表示方法，首先要把問題的一切狀態(tài)都表示出來，其次要定義一組算符。u OPEN表和CLOSE表OPEN表用于存放剛生成的節(jié)點(diǎn)。但適用于一個節(jié)點(diǎn)的