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

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

繼

遮

袋

單

療/

糠\心

疫

息

筆

存/播消解頂式厭Q

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

康

決

渴慚迅P乎\鳴

住

常

貼

斯/

撥\痰

訪

聯

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

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

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

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