人工智能第三章搜索推理技術(shù)

1第三章搜索推理技術(shù)教學(xué)內(nèi)容：本章在上一章知識表示的根底上研究問題求解的方法，是人工智能研究的又一核心問題。內(nèi)容包括早期搜索推理技術(shù)，如圖搜索策略和消解原理；以及高級搜索推理技術(shù)，如規(guī)那么演繹系統(tǒng)、產(chǎn)生式系統(tǒng)、系統(tǒng)組織技術(shù)、不確定性推理和非單調(diào)推理。教學(xué)重點(diǎn)：圖搜索策略、消解原理、規(guī)那么演繹系統(tǒng)、產(chǎn)生式系統(tǒng)。教學(xué)難點(diǎn)：啟發(fā)式搜索、規(guī)那么雙向演繹系統(tǒng)等。教學(xué)方法：課堂教學(xué)為主，輔以恰當(dāng)?shù)膶?shí)驗(yàn)。注意結(jié)合前面所學(xué)知識表示的根底內(nèi)容，將其與問題求解方法融為一體。及時(shí)提問、收集學(xué)生學(xué)習(xí)情況。盡量使用實(shí)例和網(wǎng)絡(luò)課程中的多媒體素材進(jìn)行講解。教學(xué)要求：重點(diǎn)掌握一般圖搜索策略和消解原理，掌握各種搜索方法和產(chǎn)生式系統(tǒng)原理，了解規(guī)那么演繹系統(tǒng)的根本原理，對系統(tǒng)組織技術(shù)、不確定性推理和非單調(diào)推理等高級推理技術(shù)作一般性了解。3.1圖搜索策略屬教學(xué)威內(nèi)容擁：本仆節(jié)介汪紹圖掏搜索握的一納般策撒略，蛇作為山各種飲圖搜江索技析術(shù)的勉根底筐。壘教學(xué)扔重點(diǎn)典：圖纖搜索蕉的一家般過拿程、粱OP孔EN米表和獻(xiàn)CL氏OS晨E表葉的概認(rèn)念。穴教學(xué)錢難點(diǎn)噴：O院PE到N表屢和C志LO兔SE鍵表的慚物理映意義馳。駐教學(xué)帶方法愛：課慢堂教肝學(xué)為匠主，萌通過潑提問羨徹底泥弄清背圖搜營索的成根本假設(shè)概念別。鍋教學(xué)旦要求我：重帳點(diǎn)掌豈握圖貓搜索技一般倦策略本，掌垮握O牢PE稍N表思和C壩LO盯S索E表律的構(gòu)引成及筆作用結(jié)。掌1、罵圖搜摩索策卸略的埋定義嘆嫁圖搜藥索策者略可蕩看作蕩一種艷在圖價(jià)中尋停找路插徑的抄方法束。初稼始節(jié)潤點(diǎn)和壤目標(biāo)穩(wěn)節(jié)點(diǎn)曾分別再代表燈初始響數(shù)據(jù)賊庫和沿滿足頃終止格條件引的數(shù)崖?lián)焱?。求煩得把術(shù)一個(gè)蒸數(shù)據(jù)旅庫變說換為教另一衛(wèi)數(shù)據(jù)繳庫的靠規(guī)那么好序列形問題畫就等區(qū)價(jià)于卷求得坡圖中瑞的一水條路樓徑問叉題。宏研究復(fù)圖搜廊索的弟一般裂策略慢，能我夠給智出圖級搜索術(shù)過程碗的一浪般步炸驟。荷2、酷圖搜叫索算走法中貌的幾識個(gè)重晚要名掃詞術(shù)湯語貨運(yùn)〔1裙〕O酸PE停N表趙與C基LO床SE稼表范甚〔2訂〕搜撥索圖僻與搜迎索樹昂3、視圖搜者索(挎GR臣AP章HS每EA鞏RC央H)靜的一邁般過鄙程屆偵(1娘)厭建立隱一個(gè)凳只含產(chǎn)有起撕始節(jié)縣點(diǎn)S氧的搜羞索圖城G，庫把S電放到熄一個(gè)卵叫做舍OP商EN撇的未嶄擴(kuò)展灘節(jié)點(diǎn)渴表中虹。夏方(2統(tǒng))哄建立佩一個(gè)購叫做繪CL忌OS吉ED吵的已吸擴(kuò)展報(bào)節(jié)點(diǎn)擁表，最其初虧始為妙空表雁。沙絞(3便)蕉LO雅OP義：假設(shè)饒OP持EN戰(zhàn)表是蒙空表輩，那么廟失敗爭退出陪。滋鼻(4貍)膨選擇俗OP查EN殺表上腰的第借一個(gè)盼節(jié)點(diǎn)碌，把呆它從央OP夾EN伍表移渣出并確放進(jìn)氏CL引OS譜ED靜表中泄。稱皮此節(jié)沸點(diǎn)為匯節(jié)點(diǎn)堆n。揚(yáng)闖(5闊)店假設(shè)n賊為一直目標(biāo)揀節(jié)點(diǎn)蟲，那么鄰有解果并成假設(shè)功退堂出，蝴此解鉆是追耳蹤圖筍G中煩沿著當(dāng)指針乓從n固到S德這條低路徑遣而得已到的怠(指寇針將陰在第紹7步紗中設(shè)辛置)駱。對伙(6丸)麥擴(kuò)展劍節(jié)點(diǎn)報(bào)n，陶同時(shí)委生成侄不是窗n的瘡祖先淡的那柿些后加繼節(jié)譽(yù)點(diǎn)的懶集合巡M。托把M鴨的這甲些成翅員作秘為n惜的后家繼節(jié)轟點(diǎn)添振入圖汗G中敬。么奮(7璃)土對那徹些未閥曾在挎G中脊出現(xiàn)刪過的諸(既翠未曾良在O廣PE棄N表喪上或燙CL姜OS拒ED且表上金出現(xiàn)簽過的好)M汽成員汽設(shè)置覆一個(gè)墻通向裳n的欲指針巴。把譯M的執(zhí)這些噴成員腎加進(jìn)禁OP嘴EN潔表。鞋對已齡經(jīng)在漏OP悠EN疏或C狡LO竭SE型D表辣上的斜每一促個(gè)M校成員煩，確劃定是玉否需黎要更它改通謊到n智的指瞧針方跨向。幕對已愚在C紀(jì)LO呈SE汽D表吸上的進(jìn)每個(gè)蘭M成跟員，女確定獄是否碰需要穗更改遇圖G速中通旨向它燈的每灰個(gè)后梢裔節(jié)湯點(diǎn)的仰指針曲方向感。耐般(8廊)剛按某烤一任館意方速式或朗按某蠟個(gè)探甲試值替，重慌排O綱PE卷N表播。緞菊(9軍)究GO歐L脖O(jiān)O疲P。漫提問忙：察圖搜依索是糟針對羞什么凈知識燦表示肅方法藝的問柏題求填解方孔法？熱4、頸圖搜憑索方博法分凝析：浪吊圖搜暮索過吩程的食第8伙步對頸OP掌EN凱表上殺的節(jié)猛點(diǎn)進(jìn)帝行排受序，頭以便敘能夠羨從中標(biāo)選出唐一個(gè)胃“玩最好錫〞狡的節(jié)泥點(diǎn)作拳為第晃4步帶擴(kuò)展誰用。塔這種驕排序怕可以輩是任舟意的躬即盲泊目的搞(屬低于盲需目搜皇索)御，也叫可以種用以資后要活討論絹的各翠種啟盤發(fā)思壤想或景其它珠準(zhǔn)那么昌為依怠據(jù)(登屬于隙啟發(fā)驗(yàn)式搜隸索)貿(mào)。每泡當(dāng)被游選作驚擴(kuò)展披的節(jié)員點(diǎn)為針目標(biāo)貫節(jié)點(diǎn)滿時(shí)，屢這一陶過程曠就宣爬告成濱功結(jié)術(shù)束。污這時(shí)門，能缸夠重勢現(xiàn)從蹦起始阿節(jié)點(diǎn)專到目街標(biāo)節(jié)嘩點(diǎn)的虎這條葡成功榨路徑鄉(xiāng)，其瓣方法驢是從座目標(biāo)寒節(jié)點(diǎn)碌按指廚針向隱S返直回追讓溯。餃當(dāng)搜駁索樹瀉不再貼剩有縮未被柔擴(kuò)展貸的端弦節(jié)點(diǎn)滅時(shí)，揉過程笨就以校失敗虎告終輸(某賤些節(jié)探點(diǎn)最神終可運(yùn)能沒龜有后獸繼節(jié)翠點(diǎn)，徹所以癥OP悅EN蓋表可彼能最棟后變賣成空外表)抽。在先失敗倚終止?jié)q的情恒況下矮，從器起始夕節(jié)點(diǎn)恰出發(fā)急，一補(bǔ)定達(dá)絡(luò)不到承目標(biāo)倚節(jié)點(diǎn)宜。儀提問父：次什么鉛是圖交搜索嬸?無其中余，重訴排O托P扁EN過表意跑味著晶什么光，重尺排的描原那么訂是什之么?主3.扎2慣盲目敢搜索蹄教學(xué)晚內(nèi)容瓦：介紡紹三檔種盲晶目搜體索方碎法，搬即寬伴度優(yōu)貓先搜肯索、凳深度律優(yōu)先小搜索塔和等勿代價(jià)躬搜索春。級教學(xué)坡重點(diǎn)姻：盲荷目搜日索的刺特點(diǎn)溜，寬駝度優(yōu)育先搜惰索。友教學(xué)叢難點(diǎn)紹：等園代價(jià)題搜索糟中代譽(yù)價(jià)的狐概念脾。假教學(xué)士方法輔：以江實(shí)例葬強(qiáng)化勿內(nèi)容引的學(xué)麻習(xí)，柴通過筐提問弊引導(dǎo)觸學(xué)生會(huì)對三寸種方蠶法的搜特點(diǎn)晌進(jìn)行般比擬輝。下教學(xué)扮要求嗎：掌眉握盲陳目搜跟索的櫻特點(diǎn)睬，比辟較三曲種盲債目搜鞋索方孤法的減優(yōu)缺躍點(diǎn)?；?.碰2.翁1醫(yī)寬度輪優(yōu)先聚搜索貞1、各定義脾而如果厲搜索鞋是以姓接近夸起始為節(jié)點(diǎn)餅的程按度依伶次擴(kuò)借展節(jié)弓點(diǎn)的貢，那再么這寬種搜艙索就擦叫做能寬度知優(yōu)先診搜索肢(b圈re吳ad財(cái)th帽-f共ir刺st搭s嘗ea貓rc獸h)害。夏2、洗特點(diǎn)幣耳這種蝴搜索趁是逐麥層進(jìn)寸行的別；在弱對下誤一層晚的任曾一節(jié)珍點(diǎn)進(jìn)純行搜丹索之平前，猾必須洪搜索畢完本娛層的簡所有弄節(jié)點(diǎn)搭。馳3、崇寬度踢優(yōu)先閑搜索罵算法逮速(1頃)推把起凡始節(jié)醋點(diǎn)放蠶到O賽PE狐N表眠中(瘋?cè)绻麢M該起處始節(jié)點(diǎn)點(diǎn)為晃一目野標(biāo)節(jié)摸點(diǎn)，像那么求議得一決個(gè)解搏答)副。婦霧(2坑)亞如果拉OP姓EN袋是個(gè)恩空表彩，那么船沒有面解，撿失敗戶退出管；否甘那么繼救續(xù)。凍焰(3充)遼把第偉一個(gè)蜜節(jié)點(diǎn)倚(節(jié)凱點(diǎn)n角)從狂OP總EN畏表移州出，頑并把殺它放據(jù)入C六LO先SE紅D的趣擴(kuò)展于節(jié)點(diǎn)雕表中誦。孩剖(4妻)瞇擴(kuò)展磚節(jié)點(diǎn)寄n。桶如果偷沒有伴后繼卵節(jié)點(diǎn)們，那么材轉(zhuǎn)向竿上述添第(跟2)盯步。悄要(5去)婚把n虛的所笛有后刃繼節(jié)彈點(diǎn)放未到O州PE距N表末的末墊端，茂并提陽供從郵這些庫后繼乞節(jié)點(diǎn)像回到殲n的已指針竊。蠶廳(6逼)血如果祖n的臟任一箭個(gè)后含繼節(jié)熊點(diǎn)是嫩個(gè)目樂標(biāo)節(jié)租點(diǎn)，昏那么找贈(zèng)到一女個(gè)解匪答，毯成功欺退出敬；否牽那么轉(zhuǎn)阿向第痰(2桌)步御。哥4、才寬度液優(yōu)先廊搜索慢方法浮分析帥：滔脖寬度君優(yōu)先卷搜索參是圖艷搜索刊一般化過程慨的特程殊情報(bào)況，坡將圖趕搜索少一般種過程慕中的掛第8喇步具終體化擱為本卡算法宴中的荒第6量步，湊這實(shí)分際是遣將O親PE肅N表背作為等“瞇先進(jìn)顫先出剖〞盡的隊(duì)籌列進(jìn)儀行操捐作。仙受寬度驕優(yōu)先鉛搜索嫩方法秒能夠唇保證地在搜騙索樹暫中找系到一益條通零向目腔標(biāo)節(jié)欺點(diǎn)的績最短悉途徑倆；這苦棵搜借索樹紐提供相了所彼有存脂在的士路徑思(如課果沒丙有路價(jià)徑存忽在，沖那么匠對有雅限圖載來說融，我悟們就床說該羽法失忘敗退渴出；辨對于纏無限旁圖來掃說，份那么永帆遠(yuǎn)不耕會(huì)終增止)尿。室5、肺例：墓把寬當(dāng)度優(yōu)輔先搜嗎索應(yīng)錦用于跡八數(shù)貴碼難棕題時(shí)律所生帖成的斃搜索汗樹，漸這個(gè)洞問題因就是央要把序初始芳棋局著變?yōu)楣袢缦峦心繕?biāo)余棋局疾的問蹲題：多1咽2水3飾8渾4制7耀6甘5蒼提問炸：朗寬度從優(yōu)先淋搜索侮方法棍中O穿PE誘N表王需要周按什憑么方玉式進(jìn)膨行操揀作？良A．蜜先進(jìn)皇后出仇B(yǎng)壓．先乒進(jìn)先穗出婆3.常2.暑2章深度油優(yōu)先重搜索誘1、討定義江帳在此盆搜索路中，或首先對擴(kuò)展羞最新榴產(chǎn)生圓的(枝即最順深的失)節(jié)沸點(diǎn)。撓深度貪相等畝的節(jié)儲點(diǎn)可滲以任砍意排禍列。誤謝這種吼盲目屢(無詞信息療)搜淹索叫醫(yī)做深玻度優(yōu)蛛先搜拔索(轎de病pt潤h-咳fi扎rs孟t竿se廳ar伶ch彼)。斤2、淘特點(diǎn)益付首先其，擴(kuò)咱展最折深的戀節(jié)點(diǎn)效的結(jié)注果使利得搜比索沿幣著狀滋態(tài)空溪間某理?xiàng)l單合一的派路徑交從起香始節(jié)裁點(diǎn)向棕下進(jìn)滔行下帳去；變只有帳當(dāng)搜毒索到科達(dá)一會(huì)個(gè)沒酸有后科裔的導(dǎo)狀態(tài)榨時(shí)，府它才牢考慮緩另一迫條替柜代的行路徑語。呈3、嶺深度戀界限荷嚼為了顫防止?jié)晨紤]特太長濤的路嚴(yán)徑(尺防止箏搜索潔過程肅沿著返無益圓的路阻徑擴(kuò)蠅展下瞎去)凍，往洗往給療出一兄個(gè)節(jié)慢點(diǎn)擴(kuò)簽展的尚最大藥深度撤棗深副度界會(huì)限。貍?cè)魏呜湽?jié)點(diǎn)晝?nèi)绻诘竭_(dá)續(xù)了深翠度界魔限，草那么介都將窗把它聽們作世為沒度有后妖繼節(jié)托點(diǎn)處絹理。鞋4、顆含有救深度矛界限被的深宴度優(yōu)蛾先搜殘索算私法毀顛請同染學(xué)們否課后坑自學(xué)妄，并悲答復(fù)傻課后纏思考掠題。愧思考特題睬：鄭有界傾深度掉優(yōu)先妙搜索國方法要能夠訴保證生在搜哀索樹炒中找雞到一康條通趙向目或標(biāo)節(jié)預(yù)點(diǎn)的飽最短同途徑扣嗎？競3.怨2.荷3浸等代采價(jià)搜劫索照1、專定義崖蛙寬度蠻優(yōu)先樂搜索竟可被綠推廣意用來倉解決帖尋找宰從起憤始狀哭態(tài)至侮目標(biāo)骨狀態(tài)澆的具挪有最脅小代獻(xiàn)價(jià)的沫路徑評問題智，這敲種推孝廣了恢的寬裂度優(yōu)樓先搜駝索算跳法叫必做等繼代價(jià)滅搜索澤算法山。雖2、虎等代倚價(jià)搜廣索中漢的幾店個(gè)記駛號海楚起始闊節(jié)點(diǎn)儲記為鑒S；辦表從節(jié)潑點(diǎn)i哲到它沫的后依繼節(jié)濃點(diǎn)j尼的連末接弧軍線代暑價(jià)記膨?yàn)閏饅(i尤，j繡)；樂搜從起緞始節(jié)尿點(diǎn)S濾到任的一節(jié)抗點(diǎn)i話的路崇徑代菠價(jià)記亞為g談(i糖)。器3、握等代捧價(jià)搜透索算鳳法匠菜〔請媽同學(xué)侮們課牢后認(rèn)局真閱晌讀本炮算法糠，指計(jì)出與負(fù)寬度著優(yōu)先維、深福度優(yōu)譜先算棕法有德何特習(xí)別之授處。個(gè)〕繡4、牙等代涉價(jià)搜棟索方楊法分豈析璃拍如果乏所有獵的連聰接弧確線具燈有相稠等的子代價(jià)仆，那貍么等卷代價(jià)曉算法臟就簡梳化為嗽寬度巴優(yōu)先潛搜索誕算法撒。掌思考罰：耀試比訓(xùn)較各腐種盲制目搜芹索搜斯索方脾法的疲效率繁，找性出影險(xiǎn)響算賠法效覽率的男原因插。膊3.忠3忠啟發(fā)吧式搜臟索聯(lián)教學(xué)翼內(nèi)容躍：啟胖發(fā)式劍搜索自策略蕉概述副和有嫌序搜扣索。茂啟發(fā)瀉式搜律索彌戲補(bǔ)盲壟目搜食索的抹缺乏哈，提嗚高搜談索效防率。晝教學(xué)稼重點(diǎn)晶：啟鳥發(fā)式遷搜索陸策略宇、啟散發(fā)信由息和陪有序炎搜索爹。腸教學(xué)臭難點(diǎn)災(zāi)：估嘩價(jià)函句數(shù)的節(jié)設(shè)計(jì)險(xiǎn)、A蛛*算氏法原窩理。挽教學(xué)徹方法捏：通朱過實(shí)牧例加澇深對清原理掃的理胸解，染鼓勵(lì)君同學(xué)好擴(kuò)大稅閱讀貝范圍集。票教學(xué)芽要求澤：掌春握啟乘發(fā)式嶼搜索燒策略巧和估起價(jià)函稈數(shù)的秩設(shè)計(jì)沫方法兇，了仍解A拔*算覺法原刻理。叛3.趨3.遙1換啟發(fā)腸式搜疾索策樣略和國估價(jià)先函數(shù)貴1、據(jù)為什閉么需駁要啟方發(fā)式蹄搜索談承盲目苦搜索職效率飛低，肢消耗燭過多而的計(jì)盯算空袖間與纖時(shí)間礙，這撿是組吩合爆伙炸的架一種誼表現(xiàn)鏡形式派。壩2、霸定義籌盤進(jìn)行汪搜索膽技術(shù)命一般步需要赴某些尤有關(guān)顛具體斧問題看領(lǐng)域挨的特?fù)]性的幻信息搞，把堪此種漿信息透叫做朵啟發(fā)欣信息肥。利孔用啟繞發(fā)信艱息的姿搜索迎方法姐叫做德啟發(fā)樸式搜漂索方球法。毛3、搬啟發(fā)傭式搜職索策貿(mào)略索葵有關(guān)像具體冶問題承領(lǐng)域溉的信蜘息常曉常可綁以用懇來簡煤化搜惜索。中一個(gè)違比擬爽靈活惑(但夕代價(jià)匪也較正大)邀的利終用啟鍋發(fā)信宏息的仇方法號是應(yīng)說用某世些準(zhǔn)赴那么來右重新壘排列洋每一坐步O完P(guān)E閥N表員中所羅有節(jié)掃點(diǎn)的造順序維。然掠后，色搜索購就可旋能沿斗著某閥個(gè)被眨認(rèn)為坡是最佛有希塊望的柴邊緣嬸區(qū)段璃向外勒擴(kuò)展跨。應(yīng)各用這溉種排當(dāng)序過亡程，解需要湯某些聞估算務(wù)節(jié)點(diǎn)膝“訴希望欲〞建的量抖度，巖這種啞量度蠟叫做采估價(jià)揪函數(shù)界(e敢va搏lu錢ti旅on春f憶un贈(zèng)ct庸io破n)室。隸4、格估價(jià)浙函數(shù)宜典為獲我得某門些節(jié)榜點(diǎn)位“剩希望尋〞畜的啟備發(fā)信棋息，拋提供獅一個(gè)朱評定蛙侯選鞏擴(kuò)展材節(jié)點(diǎn)跡的方哄法，霸以便酬確定稈哪個(gè)室節(jié)點(diǎn)鉤最有仁可能請?jiān)谕ń芟蚰繒駱?biāo)的迅最正確倘路徑階上豪。

饅綿f(罵n)魚——蔥表示導(dǎo)節(jié)點(diǎn)棋n的閣估價(jià)媽函數(shù)偵值榴潤建立丘估價(jià)超函數(shù)黨的一風(fēng)般方消法：拒試圖鉛確定掏一個(gè)礎(chǔ)處在斬最正確俱路徑屑上的飽節(jié)點(diǎn)恩的概矛率；醬提出義任意輝節(jié)點(diǎn)鏈與目侍標(biāo)集踩之間醉的距問離量極度或支差異深量度滅；或確者在干棋盤器式的鏈博弈回和難嶄題中崗根據(jù)披棋局唇的某浸些特僵點(diǎn)來身決定丹棋局戲的得胞分?jǐn)?shù)文。這斤些特仰點(diǎn)被誘認(rèn)為糾與向晝目標(biāo)堆節(jié)點(diǎn)勞前進(jìn)扮一步欲的希祥望程頌度有疊關(guān)。星3.新3.嚴(yán)2助磁有序哀搜索膜1親、定季義慘嘉用估瀉價(jià)函陸數(shù)壺f敘來排俗列寺GR跑AP歇HS誓EA韻RC鄭H妄第騰8懂步中窩OP傻EN溉表上柴的節(jié)吧點(diǎn)。處應(yīng)用亦某個(gè)曬算法踢(僑例如聽等代束價(jià)算擠法啟)扁選擇言O(shè)P租EN犁表上境具有幕最小磚f鞠值的跟節(jié)點(diǎn)晶作為嶺下一啟個(gè)要渡擴(kuò)展主的節(jié)充點(diǎn)。糊這種葡搜索存方法牲叫做鋼有序黃搜索剛(o天rd朽er抖ed諸s揪ea睬rc沈h)南或最改佳優(yōu)樓先搜怪索漿(b默es叢t-楚fi次rs現(xiàn)t受se相ar洪ch升)墓，而鴿其算顯法就綿叫做鞋有序嘗搜索園算法普或最陡佳優(yōu)務(wù)先算蒙法。嚷診尼爾高遜鼻(N墊il棄ss仙on申)淹曾提妻出一希個(gè)有宅序搜消索的喊根本渠算法庸。估拌價(jià)函竿數(shù)誼f嶺是這做樣確奉定的餡：一遵個(gè)節(jié)種點(diǎn)的當(dāng)希望糟程序鎮(zhèn)越大趁，其仍f商值就蠟越小真。被夕選為炕擴(kuò)展稠的節(jié)禿點(diǎn)，化是估廟價(jià)函賊數(shù)最液小的彎節(jié)點(diǎn)膽。橡2苦、實(shí)鋸質(zhì)珠戚選擇距OP零EN接表上靈具有魚最小潤f飾值的典節(jié)點(diǎn)賊作為畢下一姿個(gè)要笨擴(kuò)展滔的節(jié)旗點(diǎn)，爸即總喊是選尋擇最鄉(xiāng)有希熊望的榴節(jié)點(diǎn)伐作為哥下一祖?zhèn)€要毫擴(kuò)展業(yè)的節(jié)勸點(diǎn)。駝3袋、有止序狀渴態(tài)空現(xiàn)間搜紹索算英法今葡(1懇)識把起漆始節(jié)養(yǎng)點(diǎn)忽S傳放到孕OP擾EN扁表中歐，計(jì)躍算間f(屋S)幸并把拘其值刪與節(jié)種點(diǎn)運(yùn)S階聯(lián)系土起來吵。度輕(2殃)折如果輪OP篇EN蛾是個(gè)核空表造，那么肯失敗要退出罪，無桑解。友鉗(3德)集從悅OP瓣EN址表中桌選擇漁一個(gè)帥f樸值最固小的拐節(jié)點(diǎn)劇i粗。結(jié)銅果有嗽幾個(gè)瓦節(jié)點(diǎn)取合格姿，當(dāng)踢其中覽有一維個(gè)為錄目標(biāo)樂節(jié)點(diǎn)駁時(shí)，賺那么選狀擇此折目標(biāo)腎節(jié)點(diǎn)先，否岸那么就傷選擇炒其中惜任一示個(gè)節(jié)苗點(diǎn)作動(dòng)為節(jié)酬點(diǎn)府i嫩。業(yè)抵(4俱)收把節(jié)港點(diǎn)正i肅從給OP嚼EN睜表中量移出帳，并消把它霉放入純CL變OS籍ED忍的擴(kuò)跡展節(jié)獎(jiǎng)點(diǎn)表旁中。丈紐(5挎)竹如果查i況是個(gè)濤目標(biāo)膜節(jié)點(diǎn)玉，那么倡成功鉆退出東，求杏得一喘個(gè)解號。繪飄(6判)奮擴(kuò)展倡節(jié)點(diǎn)蠻i貌，生輝成其內(nèi)全部滲后繼偵節(jié)點(diǎn)茄。對它于祥i做的每細(xì)一個(gè)揀后繼蜘節(jié)點(diǎn)彩j程：曠(a握)兔計(jì)算杠f(弟j)梨。爪(b歐)停如果陶j貨既不廈在軍OP魯EN爆表中協(xié)，又扇不在菊CL污O冠SE測D重表中送，那么完用估寇價(jià)函鋼數(shù)齡f奴把它悄添入臘OP三EN肚表。桐從墓j虛加一源指向梳其父怪輩節(jié)忠點(diǎn)腹i遲的指條針，討以便亂一旦宜找到困目標(biāo)盈節(jié)點(diǎn)退時(shí)記槍住一蹄個(gè)解工答路藝徑。賊(c韻)蝦如果去j紡已在閃OP招EN新表上噴或課CL路OS慎ED泰表上慚，那么被比擬瞇剛剛敢對粗j乘計(jì)算猜過的耳f段值和甘前面繡計(jì)算把過的表該節(jié)齊點(diǎn)在扎表中器的講f洪值。炮如果肢新的飛f曲值較套小，飾那么貼誰(i技)賢以此士新值膝取代邁舊值角。響蕩(i府i)穩(wěn)據(jù)從溝j圓指向記i騾，而聽不是牢指向老它的團(tuán)父輩揪節(jié)點(diǎn)答。蠢香(i炊ii望)粉如果配節(jié)點(diǎn)填j愈在負(fù)CL如OS偉ED大表中北，那么救把它葉移回享OP槐EN涉表。暫辜(7啦)蹦轉(zhuǎn)向采(2閱)待，即襖GO貓T在O(悼2)伴。夾4驢、有燙序搜街索方運(yùn)法分懂析炸區(qū)寬度困優(yōu)先立搜索桌、等棵代價(jià)度搜索漏和深塌度優(yōu)歷先搜岸索統(tǒng)挑統(tǒng)是曉有序茄搜索敲技術(shù)止的特捧例。級對于注寬度佩優(yōu)先譯搜索只，選武擇奏f(腥i)拔作為顆節(jié)點(diǎn)非i常的深有度。管對于迅等代稠價(jià)搜碰索，厚f(具i)底是從單起始增節(jié)點(diǎn)趟至節(jié)秘點(diǎn)剩i注這段劈路徑西的代囑價(jià)。務(wù)帳有序星搜索賢的有景效性光直接綿取決枯于捎f放的選圓擇，愁如果爬選擇填的噸f庫不合限適，總有序例搜索扇就可的能失敬去一嫩個(gè)最艦好的榜解甚哭至全華部的策解。螞如果柱沒有姻適用沙的準(zhǔn)池確的殖希望停量度成，那港么綢f庫的選滿擇將湖涉及垮兩個(gè)坐方面過的內(nèi)隸容：羅一方得面是淹一個(gè)濃時(shí)間殲和空貿(mào)間之拉間的潤折衷梳方案功；另御一方狐面是勁保證矛有一占個(gè)最仇優(yōu)的斃解或數(shù)任意愉解?；?插、例刮：八脈數(shù)碼床難題景擠采用動(dòng)了簡惡單的船估價(jià)嬸函數(shù)板f(懼n)叛=d會(huì)(n玉)+鉤W(湯n)較飽其中田：壞d(鋒n)封是搜伸索樹免中節(jié)聞點(diǎn)瘋n版的深蛋度；寸W(偉n)處用來球計(jì)算著對應(yīng)帆于節(jié)耕點(diǎn)鑄n刃的數(shù)勻據(jù)庫元中錯(cuò)催放的遷棋子描個(gè)數(shù)張。因泳此，碗起始腹節(jié)點(diǎn)院棋局子2公8倚3呢1顆4弄7碌6杜5鍵的武f絞值等弱于盜0+后4=筆4職。施3.夕3.德3智A修*烤算法蒼誤A*彈算法鬧是一標(biāo)種有臟序搜鑄索算凳法，睬其特槐點(diǎn)在回于對致估價(jià)物函數(shù)少的定躺義上覆。聰1克、幾按個(gè)記撥號嘴貨令畜k(鳴n城i顫，府n技j屠)再表示鞋任意械兩個(gè)泄節(jié)點(diǎn)栗n玉i腫和痛n決j末之間盼最小巖代價(jià)累路徑家的實(shí)往際代灑價(jià)著(溝對于摟兩節(jié)己點(diǎn)間尤沒有廟通路捕的節(jié)三點(diǎn)，示函數(shù)蓄k匙沒有陽定義竿)定。于叔是，膽從節(jié)倒點(diǎn)掏n顛到某嘆個(gè)具集體的刺目標(biāo)籌節(jié)點(diǎn)捐t墻i征，某距一條棟最小坊代價(jià)屋路徑滑的代旦價(jià)可窩由搖k(攤n,奮t譽(yù)i糞)趙給出半。令水h*狠(n梁)冒表示座整個(gè)訴目標(biāo)巡節(jié)點(diǎn)躲集合音｛械t截i冠｝上粘所有墳k(朋n,神t留i桑)強(qiáng)中最削小的侮一個(gè)峰，因貿(mào)此，稀h*枝(n畫)秋就是輛從附n睛到目戲標(biāo)節(jié)潔點(diǎn)最蘆小代銅價(jià)路勁徑的紀(jì)代價(jià)傻，而跡且從嗚n敢到目緩標(biāo)節(jié)弄點(diǎn)能書夠獲廊得岸h*眾(n詢)杯的任勇一路華徑就折是一它條從呢n劇到某箏個(gè)目碼標(biāo)節(jié)做點(diǎn)的高最正確鐮路徑催(六對于訂任何印不能桐到達(dá)姓目標(biāo)條節(jié)點(diǎn)梨的節(jié)延點(diǎn)架n慧，函略數(shù)騙h*椅沒有弄定義尖)青。到2紙、估催價(jià)函坑數(shù)的賤定義岡秀定義默g*紡為距g*沙(n涉)=慮k(蛛S,新n)暮痛定義堂函數(shù)鹿f*濕，使萍得在紀(jì)任一蛇節(jié)點(diǎn)詠n暴上其辜函數(shù)傍值盯f*泊(n窯)鞭就是住從節(jié)選點(diǎn)蝦S霧到節(jié)冰點(diǎn)吧n跳的一庸條最判佳路康徑的創(chuàng)實(shí)際吵代價(jià)窮加上的從節(jié)賠點(diǎn)狂n徹到某倡目標(biāo)妨節(jié)點(diǎn)涌的一龜條最唐佳路稍徑的課代價(jià)束之和汪，即融f*孕(n炎)=附g*刷(n仙)+業(yè)h*今(n谷)牲挖希望欣估價(jià)煤函數(shù)譽(yù)f應(yīng)是質(zhì)f*坦的一宅個(gè)估圖計(jì)，訊此估棵計(jì)可徑由下堅(jiān)式給犬出：切f(墾n)溪=g虹(仍n)桐+h己(n緞)磚諷其中決：辛g否是障g*謊的估朝計(jì)；供h雄是但h*障的估桐計(jì)。紗對于比g(俱n)奔來說誓，一鞋個(gè)明班顯的愛選擇寫就是蛋搜索融樹中擔(dān)從充S機(jī)到形n緊這段泛路徑教的代容價(jià)，乓這一商代價(jià)懂可以顏由從槳n翠到朝S澤尋找稈指針羨時(shí)，奧把所柴遇到笨的各訴段弧育線的權(quán)代價(jià)吳加起英來給紋出陣(潤這條繁路徑膛就是細(xì)到目延前為筋止用塊搜索習(xí)算法擔(dān)找到擴(kuò)的從氧S軍到腫n蹄的最買小代繳價(jià)路掛徑島)櫻。這浪個(gè)定記義包峰含了姨g(烈n)恢≥歌g*確(n突)婦。按h*英(n進(jìn))蟻的估丙計(jì)脊h(詠n)停依賴油于有盯關(guān)問校題的曬領(lǐng)域遙的啟也發(fā)信蜘息。居這種易信息餃可能盾與八慨?dāng)?shù)碼曉難題恐中的哲函數(shù)舉W(雅n)含所用窮的那到種信接息相慨似。鄭把鬧h臘叫做纏啟發(fā)析函數(shù)倉。扎3獄、鐮A*道算法蒼定義貌購定義驅(qū)1躁簽在押GR鬧AP踏HS康EA放RC畜H珠過程紫中，牛如果翠第護(hù)8蕩步的集重排蔑O韻PE炊N嗚表是朱依據(jù)家f(端x)尸=g黨(x碌)+磚h(賠x)戲銅進(jìn)行愧的，獸那么稱衡該過搶程為于A中算法癢。簡頂定義硬2虎漂在權(quán)A庫算法輕中，劍如果甘對所喉有的去x刪存在蕉h(寨x)飯≤董h(huán)*惡(x模),議那么稱借h(翅x)荷為滅h*喘(x兵)后的下排界，季它表拾示某橫種偏恥于保悅守的櫻估計(jì)亮。薦抽定義見3炕采用灘h*漂(x鑼)欺的下夏界驗(yàn)h(匪x)穗為啟代發(fā)函爛數(shù)的學(xué)A額算法壇，稱棵為制A*舌算法抱。當(dāng)遍h=勁0途時(shí)，果A*捉算法葛就變侵為有殲序搜秀索算熊法。陶4晨、估A*沃算法抵校A*堂算法三描述旦參考預(yù)教材攝。俯提問厘：扇由g近*拔(n莖)和副g(番n)閥的定伐義知扔g堆*邪(n蔽)虹≤劫g(熟n)翅A．櫻對諒B．割錯(cuò)遇思考路：柜試比投較寬跑度優(yōu)毅先搜譯索、敗有界銅深度呆優(yōu)先單搜索脹及有炮序搜杯索的災(zāi)搜索典效率司，并宰以實(shí)數(shù)例數(shù)午據(jù)加備以說螺明肺3.鍬4栗消解頌原理斑教學(xué)講內(nèi)容鏟：消笑解原革理是片針對海謂詞向邏輯尾知識險(xiǎn)表示布的問饅題求紛解方究法。湯本節(jié)碑內(nèi)容累主要捉包括畏子句刃集的城求取溫、消膨解推麻理的槳規(guī)那么止和消件解反柱演問批題求江解方沿法。擁教學(xué)增重點(diǎn)攤：子潔句集痕的求獨(dú)取、超消解尚推理稈的規(guī)跪那么和目消解雜反演虛問題凍求解薯方法挪。翻教學(xué)況難點(diǎn)杯：消缺解反凡演的途思想益。豐教學(xué)刃方法桐：實(shí)動(dòng)例講鏈解，倉注重簡課堂搖練習(xí)紡。做教學(xué)瞇要求驅(qū)：重博點(diǎn)掌傍握子絕句集仿的求踩解步蠟驟和縱消解逼反演渾過程齡，掌防握消分解推蹦理的世規(guī)那么廈。傘始消解晉原理虛的基贏礎(chǔ)知幅識：滾概〔威1趣〕謂看詞公慚式、揭某些吩推理可規(guī)那么屯以及汪置換粥合一艘等概膨念。吧藝〔楊2去〕子番句：唐由文壽字的擔(dān)析取友組成葵的公券式饑(粘一個(gè)矛原子午公式慚和原普子公拖式的治否認(rèn)靈都叫塊做文付字欺)圾。唇李〔什3弱〕消顫解：鳴當(dāng)消閱解可恒使用湊時(shí)，笛消解凍過程殼被應(yīng)億用于雙母體飯子句晨對，懂以便鄭產(chǎn)生鈔一個(gè)有導(dǎo)出滔子句營。例防如，魯如果含存在砌某個(gè)號公理壩E刃1需∨顛E徒2賺和另富一公權(quán)理～謊E鋒2譯∨識E短3自，那桑么定E百1蓋∨隊(duì)E戰(zhàn)3惰在邏驚輯上愈成立渣。這幣就是循消解蓋，而朵稱偷E繁1嫂∧劈E宏3企為智E壩1因∨緩E子2忘和～虹E濾2廳∨殊E幅3括的消雞解式睬(r左es怕ol湯ve陵nt來)禍。齡3.境4.古1陽子句筋集的茂求取丈1謎、步染驟屯散(1銜)竭消去慕蘊(yùn)涵暫符號點(diǎn)假只應(yīng)鹽用品∨宇和～秀符號轟，以輔～道A功∨思B匯替換擇A→意B者。鳥提問氣：秧現(xiàn)有騎公式個(gè)[(棒A岸→織B)丈妨→蓋B]渣認(rèn)∨蘋C，憂在消攏去蘊(yùn)振涵符汁號后艘得到棍公式致：免A．耗[～比(A甜→麥B)倘額∨再B]那濟(jì)∨少C德B．兔[～盒(A筑∨編B)邊俗∧聞B]謊熄∨廁C期C．趙[～范(～度A垮∨買B)古荷∨扶B]隙別∨稈C掉D．蹤[償(A交∨星B)藏含∨裝B]騎著∨肚C源姥(2魚)稀減少杠否認(rèn)勵(lì)符號戰(zhàn)的轄猶域語杰每個(gè)概否認(rèn)強(qiáng)符號陵～最續(xù)多只弓用到袖一個(gè)厲謂詞染符號口上，成毛并反嬸復(fù)應(yīng)閑用狄譜·后摩根肯定律巾。例劇如：謀以～巨A昂∨缸～僻B童代替演～今(A破∧獅B)奧以～盡A充∧次～渴B難代替引～血(A雁∨案B)超以插A廈代替次～撿(易～府A)缸以怪(脅x)定｛～些A鳳｝代撤替～初(忌x)裳A食以逮(娛x)司｛～答A青｝代狂替～勻(慌x)有A誘提問當(dāng)：碼設(shè)有兇公式奇(傭x)冤(情y)毒｛(乘y)銷P(康x,訂y)匪→導(dǎo)(引x)剛Q(礙x,子y)網(wǎng)｝，斷在經(jīng)均過對艷變量立標(biāo)準(zhǔn)維化后苗得到娛公式聰為：躬A．凈(兩x)娛(在y)鐘｛(疏y)測P(劈x,噸y)奧→伴(比y)很Q(耍y,突y)叮｝展B．詳(蛋x)籠(蹈y)性｛(冷x)隆P(揀x,玉x)陳→葉(但x)晨Q(攜x,落y)燃｝偏C．想(織x)布(阻y)擴(kuò)｛(鎮(zhèn)z)戲P(兄x,拍z)依→晴(動(dòng)q)詠Q(費(fèi)q,特y)寬｝咸D．撲(禾x)堡(避y)渣｛(惱z)須P(銀x,政z)傷→磚(舒q)裙Q(沈q,統(tǒng)z)未｝徹E．晝(絮x)授(義y)演｛(奇z)蜂P(名q,爸z)蟻→藏(禁q)低Q(隙q,途z)尸｝吊惰(3童)壓對變迅量標(biāo)濤準(zhǔn)化統(tǒng)講在任垂一量頂詞轄借域內(nèi)揮，受銷該量洽詞約化束的艙變量傘為一錘啞元顯(科虛構(gòu)石變量新)站，它梯可以枯在該雨轄域查內(nèi)處思處統(tǒng)沖一地留被另端一個(gè)痰沒有舟出現(xiàn)袋過的閑任意菜變量御所代聾替，侵而不傅改變株公式兼的真要值。鵝適宜壺公式歡中變欄量的己標(biāo)準(zhǔn)銷化意孔味著裙對啞心元改齡名以貪保證市每個(gè)鑰量詞憤有其沉自己泄唯一酸的啞昏元。約蟲(4背)晚消去房存在捆量詞煉候用礦Sk仗ol損em素函數(shù)殺代替錫存在淡的糾x,怠就可招以消錦去全扶部存托在量邀詞，抓并寫受成：徹(積y)凍P悠［誓g(梁y)煙,y盡］宵毫從一鍬個(gè)公嘩式消田去一匙個(gè)存貸在量陳詞的阿一般疏規(guī)那么弓是以吹一個(gè)量Sk董ol均em材函數(shù)干代替暴每個(gè)捎出現(xiàn)機(jī)的存浴在量趙詞的稈量化砍變量柿，而宣這個(gè)也Sk扭ol插e(cuò)m端函數(shù)荒的變栽量就蒙是由隔那些筐全稱辭量詞跪所約劇束的消全稱嚼量詞許量化陵變量沸，這煎些全慧稱量脈詞的雪轄域促包括省要被相消去竿的存刪在量慶詞的喇轄域克在內(nèi)顯。債Sk喂ol先em鹿函數(shù)輔所使職用的籃函數(shù)犁符號添必須靠是新嬸的，便即不凍允許黃是公著式中便已經(jīng)蒼出現(xiàn)慚過的舞函數(shù)愁符號模。例霜如：貍(賊y)娃(特x)烏P(日x,諸y)畜被〔懇(副y)陜P(幻g(刃y)潛,y迷)品〕代欠替，伐其中嘩g(郵y)接為一繞Sk御ol鉛em精函數(shù)受。內(nèi)究如果斷要消訴去的沙存在習(xí)量詞注不在學(xué)任何族一個(gè)萍全稱外量詞克的轄耕域內(nèi)厚，那么雹用不婆含變池量的遙Sk賽ol厲em輛函數(shù)殺即常姿量。拋例如魄，走(訂x)攔P(英x)途化為扔P(這A)稍，其貧中常畝量符紹號弟A枝用來押表示洽人們好知道席的存訴在實(shí)薪體。祖A城必須而是個(gè)篇新的諷常量龜符號棒，它座未曾惱在公邀式中柏其它奉地方腳使用殃過。演竹(5栽)何化為行前束石形毛貍把所魄有全見稱量模詞移榜到公躲式的僑左邊閉，并荷使每艇個(gè)量筒詞的耗轄域恒包括吃這個(gè)駕量詞殊后面朽公式辣的整樸個(gè)部草分。幸所得貿(mào)公式磁稱為嫌前束碰形。銳互(6拍)掩把母殿式化翁為合壓取范芳式耀殼任何溝母式錯(cuò)都可翼寫成督由一槽些謂夫詞公返式和訪(占或校)別謂詞坊公式脫的否競定的嶼析取攤的有承限集辛組成咽的合鉛取。盯這種煮母式做叫做旅合取架范式土。獵孕(7訓(xùn))截消去抖全稱妨量詞應(yīng)百消去泳明顯想出現(xiàn)莊的全估稱量給詞。何提問表：核對于霞公式以(袍z)盤(平y(tǒng))僵{舟(境x)少P(惜x,貿(mào)y,隊(duì)z)名∨秤(習(xí)q)哪(溉w)涉(掏e)鳳Q(惠q,搭w,亞e,罷z)抽，在依經(jīng)過墻消去俘存在廟量詞響后，可正確敵的公漿式為幫：算A．五(美y)捉{勉P(騾B,輪y,辯A)勁∨滾(膀w)叨Q(銜C,腿w,凈D,愿A)紀(jì)B．乓(呆y)送{識P(破B,掛y,減A)降∨庸(婦w)蔥Q(扒C,漂w,桌g(改w)播,A茄)哈,挪g(頂w)冬為一逝Sk低ol祥em邊函數(shù)握C．渠(捕y)摘{刮P(附g翁1軌(y脅),泡y,蔬A)緊∨延(粒w)抱Q(坦g趣２粘(y救),屋w,魚g漲３潛(w教),提A)吉式中收，(源g慣1盈(y預(yù))，餃g綢２院(y痰)和襯g也３此(w焦)為茅Sk索ol輝em曲函數(shù)介D．役(抵y)忍{慶P(芝g法1永(y隨),里y,鍵A)聲∨對(攜w)游Q(攝g筍２朋(y嫌),闖w,鑰g而３余(y蹲,w照),要A)珠式中鄭，(密g撇1剛(y鳥)，悟g置２落(y雷)和議g紫３肌(y淺,w跪)為惡Sk銅ol新em江函數(shù)攀紐(8掌)憂消去兼連詞票符號尺∧想景用｛捕A蜂，必B尿｝代然替跑(A爬∧筆B)錦，以含消去酷明顯唉的符惱號妻∧進(jìn)。反隨復(fù)代殿替的屈結(jié)果折，最告后得久到一鳥個(gè)有敗限集半，其昆中每巾個(gè)公幻式是諸文字挖的析著取。鏈任一迅個(gè)只沒由文局字的付析取于構(gòu)成展的合栽適公忘式叫翻做一紫個(gè)子裂句。衰飾(9絲)賓更換增變量笛名稱洲系可以掀更換繩變量清符號紫的名聚稱，容使一藍(lán)個(gè)變聯(lián)量符濃號不蔥出現(xiàn)韻在一撤個(gè)以蘿上的瘦子句離中。曾2攤、例忽擾將下剃列謂貼詞演蹲算公計(jì)式化決為一身個(gè)子弟句集敗歪(梯x)遣｛柱P(佳x)禮→沃｛鑄(潑y)垮［齊P(內(nèi)y)饞→P叨(f那(x脊,y毅))無］遍∧游～蹈(拖y)芹［剝Q(漠x,崇y)箏→P疼(y里)昨］｝皇｝迎3蟲、說頑明躍虎并不項(xiàng)是所刊有問予題的拒謂詞沖公式晨化為育子句蛙集都視需要扯上述堅(jiān)9括個(gè)步瓣驟。雹對于壩某些氏問題亡，可槐能不牙需要贊其中迎的一視些步采驟。鄰3.射4.藍(lán)2潔輝消解垮推理畫規(guī)那么株1梁、消梳解式囑繳令隙L燦1繞為任鋸一原催子公嚴(yán)式，咽L把2想為另冒一原荒子公竊式；簡L腫1慣和煮L已2但具有笑相同脊的謂榜詞符珠號，據(jù)但一慨般具鄙有不縮同的惜變量頭。已富知兩耀子句來L佛1活∨α綢和～蜂L箱2喇∨β槳,直如果那L運(yùn)1斤和以L很2碰具有誼最一分般合下一者纏σ快，那罩么通婦過消胸解可香以從深這兩領(lǐng)個(gè)父郵輩子暢句推度導(dǎo)出抗一個(gè)刷新子蘿句含(蠟α∨磨β押)批σ遮。這魚個(gè)新家子句雙叫做煎消解柿式。曠它是再由取朗這兩牢個(gè)子竭句的孫析取狐，然似后消危去互量補(bǔ)對記而得磁到的孝。革2矮、消稻解式販求法犬喊(1閃)我假言黑推理款稅父輩臂子句路P適扶藝傾～布P耽∨埋Q(共即重P→牌Q)靈\吹

繼

遮

袋

單

療/

糠\心

疫

息

筆

存/播消解頂式厭Q

承(2液)椒合并西遞纏(3處)牧重言燙式險(xiǎn)遵(4寫)味空子滅句洽(佛矛盾策)滲～鍋P父

康

決

渴慚迅P乎\鳴

住

常

貼

斯/

撥\痰

訪

聯(lián)

怪/朋N園IL渠悉(5助)霧鏈?zhǔn)嚼?亭三段搭論必)府塔即取鋼各子爸句的匯析取副，然崖后消裝去互帖補(bǔ)對披。向說明盤：廣對合蹲并、稅重言曾式、葡鏈?zhǔn)綒?拆三段弓論福)礎(chǔ)請同吳學(xué)們難自行滴閱讀旋。大3.號4.喉3感殘含有抹變量避的消嘆解式闖1制、消性解式嘆求法濁螺為了策對含物有變彎量的誓子句趣使用纖消解誤規(guī)那么聾，必秤須找名到一感個(gè)置嶄換，妨作用味于父僻輩子便句使壩其含汁有互懇補(bǔ)文胳字。傘2放、例也子現(xiàn)筍P通(x牧)萄∨港Q(恒x)慶喬～屑Q搞［精f(潔y)尿］奪監(jiān)揀越置換眼σ智=坑｛故f(房y)燙/x車｝晨海犯盡P院［父f(捎y)白］耀3.患4.升4革誕消解駐反演異求解父過程滋1攜、基碰本思布想攜熱把要惜解決皺的問溫題作惹為一燦個(gè)要請證明哭的命遭題，粗其目旦標(biāo)公悉式被即否認(rèn)老并化伯成子克句形丘，然榆后添場加到柳命題猜公式申集中抗去，宰把消莫解反邊演系蒜統(tǒng)應(yīng)習(xí)用于艙聯(lián)合劑集，距并推使導(dǎo)出最一個(gè)酬空子續(xù)句厚(N濾IL腦)等，產(chǎn)獨(dú)生一怪個(gè)矛糊盾，勵(lì)這說桌明目動(dòng)標(biāo)公鹽式的薯否認(rèn)梨式不顧成立座，即擦有目在標(biāo)公株式成荷立，您定理杰得證拒，問洞題得耐到解翅決，晶與數(shù)歸學(xué)中趕反證偉法的構(gòu)思想奸十分識相似腸。哥2孟、消壞解反棕演翼攤反演塘求解撿的步丸驟律嘗給出匹一個(gè)淘公式槍集埋S果和目夫標(biāo)公蟻式顏L窮，通古過反素證或疼反演觀來求諒證目憲標(biāo)公聰式膚L踢，其否證明傳步驟依如下柄：趙徹(1掏)搶否認(rèn)皇L封，得聚～陵L盟；躺宏(2痛)濾把～距L敗添加騎到凱S射中去痕；涉福(3限)曠把新瘋產(chǎn)生判的集墳合｛糟～訊L柏，釀S籠｝化沉成子漂句集祝；勉弱(4兼)涌應(yīng)用第消解哨原理談，力柜圖推圾導(dǎo)出版一個(gè)亮表示草矛盾仆的空獅子句削NI閑L嶺。格素反演鍬求解巧的正胡確性瞇滾設(shè)公禿式后L竊在邏激輯上性遵循東公式劫集連S奸，那倉么按奪照定念義滿娘足豈S傅的每德個(gè)解櫻釋也斧滿足抖L非。決榆不會(huì)漫有滿京足犬S遼的解令釋能工夠滿宮足～坊L貢的，澤所以燕不存爪在能柄夠滿童足并酷集伴S喚∪爐｛～牢L圾｝的貫解釋桃。如朗果一疼個(gè)公吸式集沈不能夫被任件一解攔釋所燒滿足淺，那貓么這情個(gè)公昂式是兄不可兄滿足鍋的。核因此焦，如垂果非L娛在邏棵輯上銅遵循揉S測，那躺么旬S籃∪憂｛～晃L廈｝是飄不可冬滿足抖的。無可以思證明灣，如票果消誓解反稈演反腿復(fù)應(yīng)煎用到三不可掃滿足淘的子恐句集該，那虧么最意終將娃要產(chǎn)級生空論子句里NI殼L燙。因鐵此，劣如果啞L隔在邏媽輯上狗遵循勾S護(hù)，那燒么由爛并集趴S拌∪葡｛～叨L辯｝消鳴解得暫到的勺子句敵，最捉后將苗產(chǎn)生狗空子搬句；串反之徑，可向以證艷明，友如果貿(mào)從吩S攏∪姓｛～承L于｝的訊子句柿消解異得到卸空子蜻句，燃那么耐L芳在邏狗輯上辯遵循顫S踩。傾3匯、反終演求鐮解過婚程見那步驟馬：描籮(1責(zé))澡把由衛(wèi)目標(biāo)嶺公式灣的否害定產(chǎn)棒生的絹每個(gè)閃子句即添加涉到目夫標(biāo)公節(jié)式否攪定之捎否認(rèn)料的子岔句中造去。誰險(xiǎn)(2葡)美按照轉(zhuǎn)反演品樹，協(xié)執(zhí)行階和以蓄前相跡同的周消解磚，直瓶至在箱根部捷得到芳某個(gè)炭子句過止。脆蜘(3父)寺用根恥部的示子句呆作為苦一個(gè)狐答復(fù)萬語句荒。際考分析定：貫喚答案灑求取聞涉及惱到把告一棵跳根部嫂有誓NI督L莖的反胖演樹乞變換盛為在屯根部睬帶有去可用總作答趨案的蒙某個(gè)跪語句毀的一讓顆證扭明樹雜。由垮于變鋒換關(guān)橡系涉斤及到秧把由癢目標(biāo)奧公式比的否件定產(chǎn)鋪生的異每個(gè)蛋子句凈變換拘為一孔個(gè)重速言式商，所廢以被撓變換毅的證牛明樹意就是望一棵閃消解績的證恰明樹曉，其窗在根汁部的自語句連在邏蛙輯上憂遵循弊公理槐加上奉重言砍式，格因而縱也單紙獨(dú)地遲遵循祝公理譽(yù)。因持此被存變換留的證鉗明樹樸本身缺就證德明了仆求取共方法障是正急確的瓜。夫例：丙儲蓄大問題淹前提感：每標(biāo)個(gè)儲鮮蓄錢回的人第都獲舞得利碑息。漢結(jié)論血：如簽果沒取有利量息，宋那么脖就沒蓄有人狡去儲茅蓄錢滔思考娃：東應(yīng)用盡消解雪反演想求解罰如下閥問題那么：誦“攝如果苦無論持約翰拳(J設(shè)oh淹n)躺到哪嗎里去螺，菲鄭多(洲Fi辱do旁)也險(xiǎn)就去喜那里錫，那遷么如劣果約窄翰在漁學(xué)校殖里，睬菲多繭在哪俊里呢菜?燭〞

滅3.音5聲規(guī)那么寸演繹渾系統(tǒng)誠教學(xué)撫內(nèi)容霸：規(guī)刺那么演野繹系恒統(tǒng)屬妹于高嚷級搜飽索推鎖理技戀術(shù)，酷用于悄解決戒比擬堅(jiān)復(fù)雜鄉(xiāng)的系考統(tǒng)和末問題從。本柄節(jié)介傳紹規(guī)翅那么演管繹系形統(tǒng)的層定義幸及其意三種置推理黨方法林：規(guī)間那么正貓向演江繹系有統(tǒng)、祖規(guī)那么漂逆向穗演繹隊(duì)系統(tǒng)尊和規(guī)鳳那么雙貢向演嬌繹系的統(tǒng)。凈教學(xué)逼重點(diǎn)因：規(guī)奉那么演鍛繹系預(yù)統(tǒng)的涼定義冤、正財(cái)向推瓣理和遷逆向蔑推理小過程犧。映教學(xué)松難點(diǎn)桶：雙糊向演漂繹的搭匹配上問題嬸等。塔教學(xué)耳方法靜：課過堂教薦學(xué)為祖主。危通過笛比擬進(jìn)揭示蝴正向俯推理暢、逆荒向推晌理和蜜雙向貴推理樂的特妥點(diǎn)。涉教學(xué)火要求繡：掌街握規(guī)旋那么演奪繹系葉統(tǒng)的急定義比和正炊向推漏理、澆逆向課推理曬的過賊程，悄了解拐規(guī)那么翻雙向澡演繹頑系統(tǒng)捏。細(xì)寧規(guī)那么顏演繹戶系統(tǒng)灶的定攻義：欺迎基于秒規(guī)那么喜的問揚(yáng)題求媽解系稀統(tǒng)運(yùn)塘用下跳述規(guī)綱那么來摸建立秘：魯棉If士→杯Th儲en尊礎(chǔ)其中由，浪If昂局部淡可能翼由幾芽個(gè)抄if廳組成穩(wěn)，而忘Th味en邊局部厲可能杠由一駁個(gè)或圈一個(gè)瀉以上仔的觀th沖en姻組成描。睜行在所摟有基洪于規(guī)酷那么系甘統(tǒng)中辯，每討個(gè)椅if日可能萌與某墨斷言孫(a哨ss民er至ti帥on袖)橡集中照的一較個(gè)或卵多個(gè)皺斷言衛(wèi)匹配讀。有疏時(shí)把躬該斷貧言集帳稱為即工作輪內(nèi)存難。在粒許多憐基于框規(guī)那么挪系統(tǒng)惹中，宋th與en享局部偵用于返規(guī)定咬放入走工作卡內(nèi)存釋的新傾斷言淹。這攝種基相于規(guī)仙那么的績系統(tǒng)陸叫做戰(zhàn)規(guī)那么嚼演繹汽系統(tǒng)透(r晝ul釋e蠅ba砌se具d使de返du串ct塔io棒n筒sy歐st僵em監(jiān))合。在限這種亂系統(tǒng)廁中，套通常驕稱每吵個(gè)頑if鋼局部喜為前嘆項(xiàng)著(a般nt班ec慮ed挺en聞t)嚴(yán)，稱貌每個(gè)潑th僑en欄局部細(xì)為后遞項(xiàng)袋(c藍(lán)on斤se厘qu部en駁t)肥。鴉3.纖5.雅1潑規(guī)那么爹正向臉演繹桂系統(tǒng)乓1搜、定吉義歉泛正向告規(guī)那么垃演繹吃系統(tǒng)丸是從載事實(shí)輕到目縣標(biāo)進(jìn)百行操魄作的姥，即沫從狀同況條將件到武動(dòng)作霜進(jìn)行棋推理扮的，辯也就槍是從準(zhǔn)if拒到述th擋en促的方展向進(jìn)違行推晉理的隊(duì)。腦2喘、正承向推罵理過旁程善達(dá)〔揀1蓮〕事航實(shí)表罵達(dá)式貫的與損或形茫變換敞促把事營實(shí)表襲示為舞非蘊(yùn)央涵形幼式的齒與或悅形，效作為邊系統(tǒng)箏的總專數(shù)據(jù)裙庫。頑具體幻變換心步驟迎與前冊述化資為子撒句形販類似斜。勝臣注意期：我辣們不述想把筋這些葛事實(shí)惡化為蔽子句獲形，嗓而是么把它乓們表推示為羽謂詞料演算強(qiáng)公式病，并寫把這答些公輪式變鼻換為蠅叫做圈與或譜形的獻(xiàn)非蘊(yùn)果涵形辯式。報(bào)匠例：珍有事飽實(shí)表復(fù)達(dá)式賞熄山(閥u)惱(羽v)技｛株Q(奴v循，摘u)籮∧紹～［嶼(R么(v掌)畏∨累P(戒v)重)疼∧邪S(奮u直，束v)沙］｝膛把它埋化為糕綿畢Q(楚v,它A)振∧嘆｛［飯～政R(活v)球∧嗽～劑P(兩v)平］候∨追～談S(錄A,搏v)誕｝負(fù)融對變升量更惑名標(biāo)涼準(zhǔn)化拋，使歐得同沿一變攔量不圈出現(xiàn)深在事綠實(shí)表鳴達(dá)式?jīng)龅牟环蛲餍σ想m取式栽中，布得：磨咽為Q(譜w,灶A(yù))歐∧稅｛［負(fù)～碎R(家v)駝∧逢～掃P(純v)懇］沃∨李～丈S(午A,境v)漆｝墊計(jì)〔印2揚(yáng)〕事尚實(shí)表運(yùn)達(dá)式遞的與眨或圖梨表示奉協(xié)將上兩例與范或形肯的事抬實(shí)表噸達(dá)式耕用與見或圖扔來表猾示，摩見圖微3.正1森。扭圖迅3適.1鞠謙一個(gè)昌事實(shí)暖表達(dá)洗式的更與或柳樹表鳳示頌暈一般煮把事底實(shí)表申達(dá)式漂的與丘或圖閉表示駱倒過腰來畫意，即伍把根松節(jié)點(diǎn)棗畫在界最下粉面，過而把悉其后梅繼節(jié)售點(diǎn)往紗上畫渠。上斬節(jié)的濫與或搜圖表知示，編就是球按通帳常方撿式畫價(jià)出的罪，即最目標(biāo)腫在上挎面。趟序〔勇3目〕與期或圖會(huì)的釣F堤規(guī)那么煙變換橡悅這些對規(guī)那么深是建樸立在側(cè)某個(gè)汪問題摧轄域辱中普本通陳亡述性腸知識擦的蘊(yùn)準(zhǔn)涵公欠式基外礎(chǔ)上液的。墾把允帖許用作作規(guī)嗎那么的高公式艷類型裂限制毀為下柔列形冷式：怠L→抬W循雁式中蕩：倚L裁是單下文字松；遣W兔為與允或形需的唯蠶一公旺式。嗚緩將這瓜類規(guī)研那么應(yīng)箏用于爬與或花圖進(jìn)蹲行推索演。夕假設(shè)蟲有一乓條規(guī)傅那么氧L=占>W句，根塞據(jù)此感規(guī)那么夕及事債實(shí)表受達(dá)式沾F(活L)挑，可鞏以推虧出表術(shù)達(dá)式屯F(拒W)墊。幼F(叢W)禁是用朗W環(huán)代替壟F朱中的牧所有粗L師而得單到的蓋。當(dāng)惑用規(guī)膜那么壟L=睡>W弦來變定換以化上述睬方式賴描述疏的生F(男L)差的與珠或圖異表示足時(shí)，糞就產(chǎn)架生一親個(gè)含胸有廊F(偵W)賽表示適的新友圖；旱也就五是說絲，它懂的以堤葉節(jié)銅點(diǎn)終冬止的概解圖嫁集以薄F(獵W)菌子句震形式勇代表原該子宵句集播。這奧個(gè)子孔句集核包括騰在群F(畫L)面的子老句形列和茫L=堅(jiān)>W希的子兼句形隱間對悅L牛進(jìn)行猴所有澡可能乞的消堂解而街得到掀的整群集。陶該過劃程以參極其殿有效家的方刮式達(dá)毅到了億用其繩它方煎法要命進(jìn)行在屢次鴨消解炮才能攜到達(dá)志的目日的。屆奮〔勺4寬〕作誕為終象止條翻件的膚目標(biāo)蓬公式禾辰應(yīng)用海F紀(jì)規(guī)那么赴的目給的在臭于從介某個(gè)描事實(shí)么公式神和某莫個(gè)規(guī)內(nèi)那么集蠢出發(fā)賽來證串明某撓個(gè)目病標(biāo)公形式。債在正呆向推泊理系飼統(tǒng)中皂，這撲種目幫標(biāo)表峽達(dá)式死只限飛于可桿證明閣的表喬達(dá)式授，尤些其是宵可證州明的菜文字鑄析取扮形的勤目標(biāo)討公式撤表達(dá)瞇式。隙用文瞇字集岔表示心此目厚標(biāo)公歇式，再并設(shè)棕該集昌各元彼都為店析取溜關(guān)系惜。扭唯結(jié)論屋：漢責(zé)當(dāng)正賓向演園繹系挺統(tǒng)產(chǎn)幟生一莫個(gè)含煙有以拜目標(biāo)晨節(jié)點(diǎn)識作為故終止挎的解觀圖時(shí)俯，此雕系統(tǒng)商就成奶功地姻終止渣。蹲3.蠅5.餅2融規(guī)那么晝逆向獨(dú)演繹氧系統(tǒng)喬1造、定獻(xiàn)義抖邪基于大規(guī)那么頂?shù)哪娣Q向演賊繹系楊統(tǒng)，降其操鐮作過扶程與窗正向獻(xiàn)演繹摧系統(tǒng)在相反事，即貪為從柔目標(biāo)它到事迫實(shí)的學(xué)操作鄉(xiāng)過程買，從達(dá)th毀en鋪到繳if殿的推械理過抽程。譯2善、逆事向推途理過訂程站仆〔努1胃〕目斯標(biāo)表袖達(dá)式桐的與個(gè)或形贊式蘋油逆向作演繹言系統(tǒng)內(nèi)能夠確處理艘任意燃形式嚼的目錘標(biāo)表哈達(dá)式和。首層先，欄采用醬與變仿?lián)Q事閘實(shí)表馬達(dá)式在同樣丸的過爸程，狼把目后標(biāo)公醋式化盾成與脖或形滔。嗓莖〔棉2櫻〕與譽(yù)或圖敗的嘆B圍規(guī)那么墾變換搭濕B尾規(guī)那么隆是建菊立在芹確定蘿的蘊(yùn)遼涵式預(yù)根底辦上的紗，正較如正牢向系社統(tǒng)的判F屋規(guī)那么史一樣匠。不姓過，者我們秋現(xiàn)在斤把這割些食B愧規(guī)那么刮限制司為議W→壞L倆(3浮.4今)難形式鋸的表忙達(dá)式抖。其訓(xùn)中，腹W較為任揭一與暑或形鞋公式佛，棒L勢為文地字，絮而且梨蘊(yùn)涵評式中裳任何貞變量看的量斤詞轄皮域?yàn)榈麄€(gè)詳蘊(yùn)涵場式。見槐〔屈3蹄〕作蠟為終敲止條被件的揮事實(shí)狀節(jié)點(diǎn)上的一壽致解目圖干拐逆向溜系統(tǒng)愁成功吧的終牌止條捕件是瘡與或紹圖包匪含有爬某個(gè)籃終止牌在事謎實(shí)節(jié)遭點(diǎn)上傍的一陡致解亦圖。乏提問隔：畜逆向奪推理悶與正躺向推毒理的貨區(qū)別杏有哪譽(yù)些？筍3.境5.券3明規(guī)那么到雙向戲演繹蔑系統(tǒng)植1.孫基于樹規(guī)那么玻的正探向演拳繹系議統(tǒng)和待逆向壇演繹沫系統(tǒng)虎的特醒點(diǎn)和散局限搶性蛇塔正向恥演繹讀系統(tǒng)押能夠僚處理史任意漂形式肝的潑if硬表達(dá)鐵式，井但被拉限制利在殿th對en給表達(dá)怒式為岔由文叛字析給取組添成的什一些辛表達(dá)貫式。堅(jiān)逆向講演繹呈系統(tǒng)膠能夠照處理別任意揪形式憤的佩th曬en籌表達(dá)佛式，濤但被并限制戚在柴if拔表達(dá)抬式為睡文字夫合取促組成煩的一轟些表地達(dá)式袖。雙漿向塞(會(huì)正向份和逆兄向圖)厚組合膊演繹慰系統(tǒng)出具有植正向派和逆哥向兩粗系統(tǒng)家的優(yōu)臟點(diǎn)，疤克服餐各自哭的缺巨點(diǎn)。校2.曾雙向粒(示正向油和逆?zhèn)ハ蜴I)貝組合嬸演繹酒系統(tǒng)府的構(gòu)抱成克層正向涂和逆碎向組急合系然統(tǒng)是踢建立碰在兩蹤個(gè)系榨統(tǒng)相務(wù)結(jié)合無的基甲礎(chǔ)上喘的。譽(yù)此組愚合系她統(tǒng)的攝總數(shù)鏡據(jù)庫研由表筍示目圣標(biāo)和紐表示禮事實(shí)陳的兩詠個(gè)與砌或圖砍結(jié)構(gòu)仿組成箏，并丹分別礦用凝F嗎規(guī)那么付和頌B駕規(guī)那么可來修屠正。悄3.刷終止黨條件獎(jiǎng)拾泄組合劍演繹籠系統(tǒng)離的主萄要復(fù)尋雜之險(xiǎn)處在槐于其包終止籌條件門，終蕩止涉毒及兩隙個(gè)圖癥結(jié)構(gòu)膽之間初的適鵲當(dāng)交有接處縣。當(dāng)踢用扔F泛規(guī)那么盒和架B輸規(guī)那么塞對圖氧進(jìn)行刮擴(kuò)展掃之后增，匹用配就氏可以恥出現(xiàn)陪在任初何文忙字節(jié)杏點(diǎn)上胖。申償在完趣成兩斷個(gè)圖藥間的陸所有恭可能嫂匹配貝之后雀，目仆標(biāo)圖冤中根例節(jié)點(diǎn)抗上的涉表達(dá)嫩式是掛否已果經(jīng)根城據(jù)事還實(shí)圖肅中根需節(jié)點(diǎn)除上的緞表達(dá)縱式和諷規(guī)那么獄得到賓證明葵的問乞題仍模然需亦要判患定。心只有劍當(dāng)求云得這玉樣的申一個(gè)頓證明此時(shí)，蠻證明悟過程堵才算漆成功濤地終姜止。次假設(shè)能競夠斷揮定在嫩給定逝方法外限度耀內(nèi)找鉛不到攻證明根時(shí)過添程那么億以失釋敗告勻終。

蠶3.閉6傍產(chǎn)生滿式系伐統(tǒng)部教學(xué)堅(jiān)內(nèi)容盛：本逗節(jié)介麗紹產(chǎn)頸生式貧系統(tǒng)喂的定址義、蹈組成再和推惑理技價(jià)術(shù)。濕教學(xué)灘重點(diǎn)捕：產(chǎn)族生式戒系統(tǒng)號與規(guī)遮那么演融繹系批統(tǒng)的達(dá)差異仆和產(chǎn)掀生式燦系統(tǒng)供的組寺成。代教學(xué)感難點(diǎn)葵：產(chǎn)鑒生式危系統(tǒng)臭的控或制策低略等慨。搜教學(xué)扔方法舊：課串堂教蹄學(xué)和需實(shí)驗(yàn)陡相結(jié)煌合。瓶重點(diǎn)聽講解嗽原理晨，通蒼過實(shí)烈驗(yàn)進(jìn)潮一步捷領(lǐng)會(huì)蒜系統(tǒng)星的精晶髓。妻充分猴利用處網(wǎng)絡(luò)址課程哭中的臂多媒乘體素飲材來攏表示連抽象胡概念肺。寨教學(xué)咱要求逼：掌僅握產(chǎn)鈔生式舊系統(tǒng)省的組閥成結(jié)圓構(gòu)，儀通過者實(shí)踐救掌握數(shù)產(chǎn)生煎式系根統(tǒng)的君設(shè)計(jì)迅和工劍作過枕程。院況定義紅：克秒在基義于規(guī)都那么系段統(tǒng)中盛，每溫個(gè)冶if朋可能默與某甚斷言貴(a輛ss親er槳ti瀉on魂)墾集中料的一命個(gè)或協(xié)多個(gè)遷斷言技匹配特，赴th粉en礎(chǔ)局部劣用于的規(guī)定甲放入軟工作教內(nèi)存賣的新過斷言姻。當(dāng)葛th華en不局部奇用于惠規(guī)定種動(dòng)作樓時(shí)，死稱這塔種基湯于規(guī)跟那么的末系統(tǒng)御為反多應(yīng)式領(lǐng)系統(tǒng)規(guī)(r積ea辟ct數(shù)io右n棚sy肚st沖em晌)富或產(chǎn)骨生式坡系統(tǒng)團(tuán)(p姜ro獸du座ct果io搭n刺sy智st奪em殺)價(jià)。壺提問奏：衫產(chǎn)生蘆式系屯統(tǒng)與軟規(guī)那么豆演繹身系統(tǒng)坑有什院么區(qū)翠別？爭3.噴6.邪1出產(chǎn)生麻式系澡統(tǒng)的姻組成豆1.酬產(chǎn)生姐式系少統(tǒng)的光組成寄襲繪產(chǎn)生銜式系墾統(tǒng)由法3詳個(gè)部睛分組化成，間即總宏數(shù)據(jù)哭庫以(筆或全燦局?jǐn)?shù)孟據(jù)庫闊)忙、產(chǎn)鍛生式償規(guī)那么致和控碗制策歲略，腥如圖納3.用2萍所示版。腰圖藏3.掘2餅產(chǎn)生孫式系軟統(tǒng)的傭主要盲組成騾漁總數(shù)犯據(jù)庫傲有時(shí)柄也被傍稱作系上下際文，迎當(dāng)前給數(shù)據(jù)款庫或臟暫時(shí)伯存儲響器。吊總數(shù)穿據(jù)庫滴是產(chǎn)知生式顯規(guī)那么到的注過意中殖心。害產(chǎn)生毀式規(guī)鋼那么的臺左邊卵表示塵在啟睬用這撥一規(guī)牽那么之料前總冬數(shù)據(jù)傍庫內(nèi)川必須匠準(zhǔn)備略好的利條件漂。例倦如在概上述和例子故中，銳在得振出該愧動(dòng)物守是食隙肉動(dòng)垮物的才結(jié)論斬之前桃，必腰須在啞總數(shù)尸據(jù)庫醉中存錯(cuò)有銷“左該動(dòng)京物是垮哺乳畢動(dòng)物陵〞夠和和“林該動(dòng)點(diǎn)物吃薦肉取〞根這兩神個(gè)事泛實(shí)。飄執(zhí)行凱產(chǎn)生臘式規(guī)吐那么的獸操作覺會(huì)引萄起總繞數(shù)據(jù)獨(dú)庫的甜變化閑，這襖就使心其他游產(chǎn)生糕式規(guī)匪那么的妥條件述可能假被滿告足。穿簽剝產(chǎn)生緒式規(guī)玉那么特是一怖個(gè)規(guī)號那么庫冷，用忙于存靜放與編求解澤問題遭有關(guān)吵的某勞個(gè)領(lǐng)嘴域知腐識的屬規(guī)那么蔽之集確合及展其交寬換規(guī)標(biāo)那么。礙規(guī)那么振庫知方識的謹(jǐn)完整錫性、背一致怠性、類準(zhǔn)確穗性、似靈活抹性和起知識吃組織餅的合連理性讀，將吸對產(chǎn)掉生式叔系統(tǒng)右的運(yùn)捆行效診率和再工作豐性能式產(chǎn)生里重要僑影響孫。晌期控制悲策略視為一瑞推理槽機(jī)構(gòu)少，由碎一組扒程序啟組成妹，用傳來控搞制產(chǎn)危生式握系統(tǒng)棉的運(yùn)穴行，劍決定挺問題牲求解跌過程興的推稈理線借路，夾實(shí)現(xiàn)宿對問盲題的拆求解歌。產(chǎn)覺生式努系統(tǒng)街的控楊制策新略隨繼搜索治方式母的不練同可給分為毅可撤址回策帖略、嫌回溯疼策略襯、圖隨搜索豪策略侮等。絞2.寄產(chǎn)生墳式系屠統(tǒng)的雄控制劉策略忙愁慚控制浩策略紐的作造用是根說明顧下一猾步應(yīng)偶該選濱用什揮么規(guī)沈那么，丹也就顯是如丸何應(yīng)飾用規(guī)業(yè)那么。手通常逃從選病擇標(biāo)準(zhǔn)那么到攔執(zhí)行憶操作差分銜3耕步：悠匹配岔、沖蜓突解俱決和齊操作包。濃絹〔厲1技〕匹互配適疲在這搶一步缺，把條當(dāng)前傘數(shù)據(jù)貍庫與訴規(guī)那么題的條健件部隨分相腦匹配繪。如裂果兩宵者完唯全匹優(yōu)配，涉那么把看這條賀規(guī)那么溜稱為非觸發(fā)赤規(guī)那么到。當(dāng)浙按規(guī)癥那么的鬧操作詢局部熔去執(zhí)苦行時(shí)成，稱與這條亂規(guī)那么壞為啟咸用規(guī)適那么。棟被觸圖發(fā)的途規(guī)那么討不一王定總邀是啟婆用規(guī)地那么，蹈因?yàn)榇羁赡芘e同時(shí)呼有幾紹條規(guī)限那么的尾條件城局部妙被滿督足，瀉這就醉要在壓解決娘沖突贈(zèng)步驟濾中來凍解決涉這個(gè)島問題虛。在深復(fù)雜漸的情郊況下主，在歲數(shù)據(jù)用庫和列規(guī)那么柿的條瓜件部噴分之妹間可紛能要陸進(jìn)行斬近似藝匹配途。缸劈〔際2尾〕沖透突解階決化凱當(dāng)有克一條確以上唐規(guī)那么佩的條獎(jiǎng)件部郵分和徒當(dāng)前濤數(shù)據(jù)懇庫相曾匹配淡時(shí)，弄就需嘴要決笑定首砍先使卡用哪劑一條縫規(guī)那么脊，這孕稱為濱沖突鎮(zhèn)解決義。察?！睬?恐〕操西作轎惑操作六就是翼執(zhí)行誤規(guī)那么循的操銹作部嘗分，單經(jīng)過即操作姨以后全，當(dāng)墳前數(shù)勇?lián)焯饘⒈凰滦薷莫?jiǎng)。然悔后，普其他料的規(guī)抗那么有宇可能到被使字用。茂3.敘6.石2恒產(chǎn)生猜式系報(bào)統(tǒng)的緞推理陜1.閥正向例推理惱殊絞從一達(dá)組表蔬示事偉實(shí)的見謂詞揭或命害題出疲發(fā)，未使用能一組倦產(chǎn)生詢式規(guī)焦那么，幅用以芒證明訓(xùn)該謂覆詞公窩式或米命題送是否刃成立艦。耗性一般搶策略推：先來提供墓一批輩事實(shí)墨〔數(shù)積據(jù)〕慨到總術(shù)數(shù)據(jù)臟庫中彎。系艇統(tǒng)利提用這川些事料實(shí)與乏規(guī)那么堡的前嫩提相堡匹配耽，觸撫發(fā)匹撲配成晃功的心規(guī)那么同，把梨其結(jié)亂論作昏為新誘的事邀實(shí)添捉加到蛛總數(shù)詢據(jù)庫貿(mào)中。讀繼續(xù)睛上述粗過程綠，用舌更新承過的勸總數(shù)沉據(jù)庫捆的所赤有事侵實(shí)再給與規(guī)強(qiáng)那么庫紹中另顯一條方規(guī)那么啊匹配駕，用散其結(jié)繳論再穩(wěn)次修鋸改總嬌數(shù)據(jù)辨庫的射內(nèi)容撒，直乳到?jīng)]娛有可朽匹配旅的新隙規(guī)那么女，不爸再有秘新的挺事實(shí)寺加到饑總數(shù)建據(jù)庫侍中。敘2.途逆向塘推理鏡叫竄從表之示目喊標(biāo)的嫂謂詞榨或命堡題出泛發(fā)，蠟使用社一組散產(chǎn)生略式規(guī)障那么證譜明事燦實(shí)謂緊詞或渠命題浪成立把，即菠首先趣提出壞一批鉆假設(shè)哈目標(biāo)帥，然逃后逐筍一驗(yàn)墊證這憐些假壓設(shè)。齊史年使一般步策略暢：首寇先假賴設(shè)一漂個(gè)可寬能的騙目標(biāo)的，然蹈后由昨產(chǎn)生斯式系駱統(tǒng)試盜圖證喊明此京假設(shè)休目標(biāo)茫是否桃在總窄數(shù)據(jù)雖庫中辟。假設(shè)現(xiàn)在總赴數(shù)據(jù)這庫中姐，那么撐該假秀設(shè)目淹標(biāo)成嘗立；創(chuàng)否那么歲，假設(shè)月該假朽設(shè)為汪終葉柳〔證龜據(jù)〕側(cè)節(jié)點(diǎn)廁，那么縮詢問料用戶播。假設(shè)雨不是僚，那么抄再假軍定另禮一個(gè)饞目標(biāo)賓，即那么尋找禍結(jié)論共局部塔包含背該假序設(shè)的悟那些戚規(guī)那么頌，把共它們戒的前鍵提作努為新喊的假偶設(shè)，蔽并力蘿圖證熟明其諒成立絕。這柱樣反神復(fù)進(jìn)摘行推恭理，些直到臣所有緒目標(biāo)耗均獲之證明古或者淚所有座路徑羨都得統(tǒng)到測室試為軍止。悶3.瞎雙向債推理誕軋兄雙向逆推理統(tǒng)的推川理策致略是痰同時(shí)令從目并標(biāo)向陪事實(shí)條推理素和從屋事實(shí)宴向目跪標(biāo)推攻理，腹并在咐推理擦過程鴉中的幫某個(gè)敵步驟摟，實(shí)墻現(xiàn)事球?qū)嵟c置目標(biāo)沫的匹泊配。霞3.盟6.貸3潛產(chǎn)生時(shí)式系坡統(tǒng)舉洗例曲說明根：釋請同耽學(xué)們雖課后濟(jì)認(rèn)真醒閱讀恥本部娘分內(nèi)爸容，寨并以僑此為雀參考概進(jìn)行鍵實(shí)驗(yàn)搞準(zhǔn)備備！鄰思考腰：雨規(guī)那么變演繹狐系統(tǒng)清和產(chǎn)畢生式粱系統(tǒng)洋有哪職幾種斧推理圣方式齡?銳各自蝕的特守點(diǎn)為搜何譜?銳3.薄7注系統(tǒng)堆組織菠技術(shù)僵教學(xué)慰內(nèi)容章：系慎統(tǒng)組機(jī)織技綱術(shù)屬配于高訪級搜蓮索推湯理技膏術(shù)，時(shí)能夠手用于慨求解門比擬咱復(fù)雜越的系鞠統(tǒng)。桐本節(jié)是簡要掏介紹彩三種支系統(tǒng)句組織粗技術(shù)嶄：議便程表罷法、蹦黑板翅法和艱△弊極小獨(dú)搜索先法。敗教學(xué)拳重點(diǎn)刻：系軍統(tǒng)組長織技只術(shù)如昏何實(shí)送現(xiàn)模撓塊之鼠間的寸合作岡。躍教學(xué)掏難點(diǎn)視：無燙要求誰。圣教學(xué)懂方法蝴：課管堂教模學(xué)。咐教學(xué)溉要求真：了江解系弓統(tǒng)組跑織技久術(shù)的吳根本繁原理妥。梳3.戰(zhàn)7.煙1維議程戶表仔1.旱定義冠歷灣議程娛表偽(a贏ge蔬nd巾a)群是一純個(gè)系沙統(tǒng)能絞夠執(zhí)鉛行的填任務(wù)甘表列夏。與將每個(gè)階任務(wù)漠有關(guān)康的有酸兩件攀事，丸即提毯出該螺任務(wù)詳?shù)睦砼炗珊蛣?chuàng)表示洲對該摧任務(wù)釋是有沃用的裕證據(jù)隔總權(quán)遺的評膊價(jià)。該2.輛模塊孤間的含合作眾原雅從組孫織大農(nóng)系統(tǒng)歡的觀延點(diǎn)看沖，議穿程表販方法晃的意頓義在垃于它睛允許貸幾個(gè)仰獨(dú)立俱模塊暈進(jìn)行筋通訊唐。其羅通訊持方法拴是每丈個(gè)模崗塊可雹將支聽持佛(蠶或反暫對流)準(zhǔn)某個(gè)危具體驅(qū)任務(wù)匪的證眠據(jù)，孟加到葉一個(gè)騾證明予選擇換該任渾務(wù)是塞正確算的表息中。麻這樣仔就使辟系統(tǒng)雪能夠曲選出巨從各殼方面會(huì)都有莖充分鞋證據(jù)集的任論務(wù)。貢雖然言各模達(dá)塊共皂同使盜用關(guān)銀于為按什么宋要執(zhí)塊行各擇項(xiàng)任房務(wù)的葛證據(jù)收，但紗一個(gè)遞模塊魯并不壁需要嘴了解驢其它私模塊高如何抗工作炸，以小及它饒們所于包含應(yīng)的知?jiǎng)?lì)識。趟這樣蒙，議皇程表欲方法歐便具遇有大痕系統(tǒng)猛中模提塊化反的一晝切優(yōu)緩點(diǎn)，價(jià)而無絡(luò)相互謙隔離你的缺處點(diǎn)。匪3.洪7.價(jià)2資黑板聽法幫1.蓮定義步錫品黑板化法繼(t申he紗B稿la柄ck草bo飲ar腦d淺Ap弦pr襖oa氧ch蘋)宅首先翻是在狀HE復(fù)AR株SA涌Y-娃Ⅱ拜語音煉理解盜系統(tǒng)編中發(fā)踩展起聲來的才。它舊的思錦想比燃較簡發(fā)單。閃整個(gè)壩系統(tǒng)予由一檔組稱爬為知止識資判源蟻(K得S)宅的獨(dú)魂立模扯塊和戶一塊桑黑板分組成漢。這昏里，郵知識快資源內(nèi)含有恐系統(tǒng)避中專梳門領(lǐng)蘭域的你知識要，而賣黑板圍那么是旗一切負(fù)KS?？梢皂懺L問倘的公品用數(shù)護(hù)據(jù)結(jié)浸構(gòu)。脹2.眾模塊油間的斗合作研肝您當(dāng)一匯個(gè)做KS疤被激帶發(fā)時(shí)幅，它脾檢查雹當(dāng)時(shí)城黑板考上的聯(lián)內(nèi)容右，并挪應(yīng)用編其知浮識產(chǎn)覺生一壤個(gè)新超的假眉設(shè)寫喘到黑吧板上挽，直萌到完盈成任賊務(wù)為豬止。變當(dāng)時(shí)肢間表逮沒有殖發(fā)現(xiàn)韻未解未決的高活動(dòng)呢記錄教時(shí)，拐系統(tǒng)就便停仗止執(zhí)罩行。紋3.燦7.梢3院Δ雜-絡(luò)極小腫搜索效法煮1勢、定歇義糕搖Δ樣值表愉示一另假設(shè)庫的級夏別與絕參加毀競爭輪的最擱佳假?zèng)]設(shè)的絞級別境之差滑，提扇供了沃一種乎選擇奶最有灣希望垂假設(shè)傳的技虹術(shù)。脾2巡、工向作過份程見占一次過接受斥一串節(jié)輸入廳，順香序地玻處理圖，使低其形銅成一獲個(gè)關(guān)筆于輸減入的西統(tǒng)一乒而相織容的詞解釋嗚。津Δ畫-向極小顏法是注這樣匯來解鑒決這裝類問拖題的于：在誠適當(dāng)扒的時(shí)叼刻，徐觸發(fā)燕某因KS泊，然悅后為慢它生息成所討有它旨認(rèn)為肢是可居能的游假設(shè)敗，并聯(lián)賦給肝某個(gè)野假設(shè)層一種岔級別殿。由談這些紀(jì)級別爭計(jì)算健出的燈Δ峽值，雁表示瓦一假營設(shè)的在級別袍與參臘加競雁爭的外最正確占假設(shè)暢的級籌別之掛差。練而在限該假述設(shè)最糊后導(dǎo)枯致不鏟相容箭時(shí)，非再考茶慮參陰加競達(dá)爭的泰另一鎮(zhèn)假設(shè)蹈。

鑰3.哭8寺不確陡定性浙推理及教學(xué)喝內(nèi)容蛛：本就節(jié)介耕紹兩鳳種不鋪確定使性僅(u味nc宗er凍ta鬼in膽ty拌)攜，即高關(guān)于今證據(jù)兵的不零確定暴性和屑關(guān)于凈結(jié)論嗓的不磨確定鄰性。傻教學(xué)縮要點(diǎn)夢：不再確定霞性如基何表朽示和遙推理應(yīng)。必教學(xué)飾難點(diǎn)隨：不縫確定赤性的填推理肉。愛教學(xué)格方法渠：課肌堂教蒜學(xué)為狐主。且教學(xué)剛要求懸：了珍解不景確定梁性的膽表示社和推倍理方蛛法。鴿3.燭8.暢1權(quán)關(guān)于磨證據(jù)娘的不宴確定慮性絕1.掃不確稱定性絞的表腦示催瘡一般雁通過圾對事組實(shí)賦訂于一廊個(gè)介雨于創(chuàng)0躺和健1微之間無的系束數(shù)來覺表示巷事實(shí)充的不洞確定香性。膚1百代表版完全乓確定丑，通0門代表夫完全加不確拼定。進(jìn)這個(gè)少系數(shù)磨被稱怕為可田信度郵(俱也有攪一些干專家問系統(tǒng)膽，如塑MY爸CI蝦N飽和盆EX代PE涉RT陜等，認(rèn)取可脆信度慰的范危圍為熊-1澤到秘+1頁)夾。繩2.軌不確德定性魔的處澆理真摩當(dāng)規(guī)征那么具漢有一午個(gè)以節(jié)上的暢條件養(yǎng)時(shí)，辦就需丸要根歸據(jù)各拘條件奧的可煙信度之來求狡得總員條件穴局部束的可甚信度憐。已疾有的炎方法凳有兩妄類：妥誕〔變1煉〕以脹模糊晌集理賤論為疾根底岔的方孩法罵憶按這育種方利法，賤把所掃有條烤件中倡最小桌的可次信度楚作為認(rèn)總條毒件的泰可信業(yè)度。鴿這種去方法鉗類似啞于當(dāng)盼把幾照根繩城子連耐接起陳來使棒用時(shí)片，總志的繩斥子強(qiáng)擊度與脫強(qiáng)度危最差映的繩貪子的曾相同桌。遷夕〔薄2