[計(jì)算機(jī)軟件及應(yīng)用]第6章邏輯程序設(shè)計(jì)語言范型邏輯程序設(shè)計(jì)理論基礎(chǔ)(已修改)
2024-12-20 02:30 本頁面
【正文】 2022年 1月 4日星期二 程序設(shè)計(jì)語言范型 Programming Languages Paradigms 教師： 張榮華 華北電力大學(xué)計(jì)算機(jī)系軟件教研室（保定） 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第三部分 第六章 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 3 內(nèi)容 ? ? ? 謂詞演算 ? 基于謂詞演算的知識(shí)表示 ? 謂詞演算推理規(guī)則 ? ? 搜索 ? 推理 ? 置換與合一 ? 自然演繹推理 ? 歸結(jié)演繹推理 ? 子句集化簡(jiǎn) 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 4 ? 邏輯程序設(shè)計(jì) ? 邏輯程序設(shè)計(jì)支持 說明性程序設(shè)計(jì)范型 ? 根據(jù)問題的高層描述來構(gòu)建程序 ? 告訴計(jì)算機(jī) “ 什么是真的 ” 和 “ 需要做什么 ” ，而不是 “ 怎樣做 ” 。 ? 程序員把精力放在問題（ 封閉的問題世界 ）的描述上，而不是寫一些諸如 “ 下一步做什么 ” 之類的底層算法指令。 ? Prolog是目前唯一廣泛使用的邏輯程序設(shè)計(jì)語言 ? Prolog（ Programming in Logic） ? 20世紀(jì) 70年代初、法國馬賽大學(xué) ? 主要應(yīng)用于 人工智能 （人類智能活動(dòng)的模擬）領(lǐng)域相關(guān)問題的求解。 ? 易于表達(dá)人的 邏輯思維 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 5 ? 【 例 1】 ：水平線與垂直線問題。 ? 使用兩個(gè)謂詞： vertical/2 和 horizontal/2 vertical(line(point(X,Y),point(X,Z))). horizontal(line(point(X,Y),point(Z,Y))). vertical(line(point(1,1),point(1,3))). yes 事實(shí) 查詢 /目標(biāo) horizontal(line(point(1,1),point(2,Y))). Y = 1 。 no horizontal(line(point(2,3),P)). P = point(_G434,3) 。 no 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 6 ? 【 例 2】 求解以下六個(gè)英語單詞的縱橫字謎問題。 ? abalone, abandon, anagram, connect, elegant, enhance 事實(shí) 規(guī)則 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 7 a a b l o n e a n a g r a m o c n n e c t a a d n e e e a t h n e a a d n b o n l e e a t n g n e h n e c a a a o e a a r m c n e t 查詢 /目標(biāo) 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 8 內(nèi)容 ? ? ? 謂詞演算 ? 基于謂詞演算的知識(shí)表示 ? 謂詞演算推理規(guī)則 ? ? 搜索 ? 推理 ? 置換與合一 ? 自然演繹推理 ? 歸結(jié)演繹推理 ? 子句集化簡(jiǎn) 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 9 ? 知識(shí)閾值理論 ? 知識(shí)是一切智能行為的基礎(chǔ) ? 智能取決于知識(shí)的數(shù)量及其可運(yùn)用的程度。 ? 要使計(jì)算機(jī)具有智能，就必須使它具有知識(shí)。 ? 知識(shí)表示方法（知識(shí)表示語言） ? 謂詞演算（一階謂詞邏輯表示法） ? 產(chǎn)生式表示法 ? 語義網(wǎng)絡(luò)表示法 ? 框架表示法 ? 腳本表示法 ? 面向?qū)ο蟊硎痉? 等等 ?? 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 10 ? 選擇知識(shí)表示方法的重要性 【 例 】 缺角棋盤問題 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 11 內(nèi)容 ? ? ? 謂詞演算 ? 基于謂詞演算的知識(shí)表示 ? 謂詞演算推理規(guī)則 ? ? 搜索 ? 推理 ? 置換與合一 ? 自然演繹推理 ? 歸結(jié)演繹推理 ? 子句集化簡(jiǎn) 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 12 謂詞演算 ? 這里討論的謂詞演算 ? ⑴ 一階謂詞演算 （ firstorder predicate calculus） ? 全稱量化變量和存在量化變量?jī)H可以指向論域中的對(duì)象，而不允許指向謂詞和函數(shù)。這樣的謂詞演算語言稱為一階謂詞演算。 ? ? ⑵ 二值邏輯 ? 不討論其它邏輯形態(tài) ? 多值邏輯、多維邏輯、缺省邏輯、動(dòng)態(tài)邏輯 ),()( k a t eg e o r g el i k e sl i k e s? 邏輯程序設(shè)計(jì)語言范型 邏輯程序設(shè)計(jì)理論基礎(chǔ) 第六章 13 謂詞演算 ? 【 例 】 用謂詞表示命題 P：星
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1