ai程序設(shè)計(jì)語(yǔ)言ppt課件(編輯修改稿)
2025-06-01 07:55 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 readchar(X). ? 運(yùn)行時(shí)，會(huì)在對(duì)話窗口提示輸入一個(gè)目標(biāo)，若輸入目標(biāo) run(X). 則輸出 first，然后按一個(gè)鍵接著輸出 second，再按一個(gè)鍵，就結(jié)束了 ? 外部目標(biāo)運(yùn)行時(shí)， Prolog尋找所有解 sspu 王帥 人工智能 目標(biāo)段 Predicates run(char) Clauses run(X): write(“first”), readchar(X). run(X): write(“second”), readchar(X). Goal run(X). ?運(yùn)行時(shí)，直接顯示運(yùn)行結(jié)果，輸出 first，然后按一個(gè)鍵，就結(jié)束了 ?注意：在有內(nèi)部目標(biāo)時(shí)， Prolog只尋找第一個(gè)解 sspu 王帥 人工智能 程序執(zhí)行和匹配法則 ?Prolog的程序執(zhí)行過(guò)程就是不斷地匹配規(guī)則，在匹配過(guò)程中對(duì)變量實(shí)例化，其實(shí)就是謂詞歸結(jié)推理 ?在推理過(guò)程中，使用的是 “ 試探 返回 再試 ” 的回溯方法來(lái)對(duì)問(wèn)題求解，也就是深度優(yōu)先的算法，順著一條路一直往下走，直到走不下去了，就返回交叉路口，選另一條路再試 sspu 王帥 人工智能 Predicates likes(symbol,symbol) tastes(symbol,symbol) food(symbol) Clauses likes(bill,X): food(X),tastes(X,good). tastes(pizza,good). tastes(dumpling,bad). food(dumpling). food(pizza). Goal likes(bill,What). sspu 王帥 人工智能 Lisp語(yǔ)言 ?Lisp是 List Processing 的縮寫，是計(jì)算機(jī)的表處理語(yǔ)言，處理的都是符號(hào)表。 1960年由麥卡錫發(fā)明的。 ?Lisp語(yǔ)言以 1941年 Church提出的 λ演算為理論基礎(chǔ)的， λ演算是與圖靈機(jī)等價(jià)的一種計(jì)算模型 ?80%的早期 AI軟件都是用 Lisp語(yǔ)言寫成的 sspu 王帥 人工智能 Lisp語(yǔ)言基本結(jié)構(gòu) ? Lisp語(yǔ)言的程序和數(shù)據(jù)具有統(tǒng)一的結(jié)構(gòu)，就是符號(hào)表達(dá)式（ S表達(dá)式）， S表達(dá)式的基本組成元素是原子 ? 原子 ?文字原子：相當(dāng)于標(biāo)識(shí)符，如 ABC ?串原子：引號(hào)引起的字符串，如 “ aaa” ?數(shù)字原子：由正負(fù)號(hào)、小數(shù)點(diǎn)和數(shù)字組成 ? S
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1