資源描述：
《邏輯程序設計語言范型(邏輯程序設計理論基礎).ppt》由會員上傳分享，免費在線閱讀，更多相關內(nèi)容在教育資源-天天文庫。
1、03八月2021程序設計語言范型ProgrammingLanguagesParadigms教師：張榮華華北電力大學計算機系軟件教研室（保定）邏輯程序設計語言范型邏輯程序設計理論基礎第三部分第六章邏輯程序設計理論基礎第六章-3內(nèi)容1.邏輯程序設計概述2.知識的表示2.1謂詞演算2.2基于謂詞演算的知識表示2.3謂詞演算推理規(guī)則3.知識的利用3.1搜索3.2推理3.2.1置換與合一3.2.2自然演繹推理3.2.3歸結演繹推理3.2.4子句集化簡邏輯程序設計理論基礎第六章-41.邏輯程序設計概述邏輯程序設計邏輯程序設計支持說明性程序設計范型根據(jù)問題的高層描述來構建程序
2、告訴計算機“什么是真的”和“需要做什么”，而不是“怎樣做”。程序員把精力放在問題（封閉的問題世界）的描述上，而不是寫一些諸如“下一步做什么”之類的底層算法指令。Prolog是目前唯一廣泛使用的邏輯程序設計語言Prolog（ProgramminginLogic）20世紀70年代初、法國馬賽大學主要應用于人工智能（人類智能活動的模擬）領域相關問題的求解。易于表達人的邏輯思維邏輯程序設計理論基礎第六章-51.邏輯程序設計概述【例1】：水平線與垂直線問題。使用兩個謂詞：vertical/2和horizontal/2vertical(line(point(X,Y),poi
3、nt(X,Z))).horizontal(line(point(X,Y),point(Z,Y))).vertical(line(point(1,1),point(1,3))). yes事實查詢/目標horizontal(line(point(1,1),point(2,Y))). Y?=?1?; nohorizontal(line(point(2,3),P)). P?=?point(_G434,3)?; no邏輯程序設計理論基礎第六章-61.邏輯程序設計概述【例2】求解以下六個英語單詞的縱橫字謎問題。abalone,abandon,anagram,connect,
4、elegant,enhance事實規(guī)則邏輯程序設計理論基礎第六章-71.邏輯程序設計概述aabloneanagramocnnectaadneeeathneaadnbonleeatngnehnecaaaoeaarmcnet查詢/目標邏輯程序設計理論基礎第六章-8內(nèi)容1.邏輯程序設計概述2.知識的表示2.1謂詞演算2.2基于謂詞演算的知識表示2.3謂詞演算推理規(guī)則3.知識的利用3.1搜索3.2推理3.2.1置換與合一3.2.2自然演繹推理3.2.3歸結演繹推理3.2.4子句集化簡邏輯程序設計理論基礎第六章-92.知識的表示知識閾值理論知識是一切智能行為的基礎智能取決
5、于知識的數(shù)量及其可運用的程度。要使計算機具有智能，就必須使它具有知識。知識表示方法（知識表示語言）謂詞演算（一階謂詞邏輯表示法）產(chǎn)生式表示法語義網(wǎng)絡表示法框架表示法腳本表示法面向?qū)ο蟊硎痉ǖ鹊取壿嫵绦蛟O計理論基礎第六章-102.知識的表示選擇知識表示方法的重要性【例】缺角棋盤問題邏輯程序設計理論基礎第六章-11內(nèi)容1.邏輯程序設計概述2.知識的表示2.1謂詞演算2.2基于謂詞演算的知識表示2.3謂詞演算推理規(guī)則3.知識的利用3.1搜索3.2推理3.2.1置換與合一3.2.2自然演繹推理3.2.3歸結演繹推理3.2.4子句集化簡邏輯程序設計理論基礎第六章-12
6、2.1謂詞演算這里討論的謂詞演算⑴一階謂詞演算（first-orderpredicatecalculus）全稱量化變量和存在量化變量僅可以指向論域中的對象，而不允許指向謂詞和函數(shù)。這樣的謂詞演算語言稱為一階謂詞演算。⑵二值邏輯不討論其它邏輯形態(tài)多值邏輯、多維邏輯、缺省邏輯、動態(tài)邏輯邏輯程序設計理論基礎第六章-132.1謂詞演算【例】用謂詞表示命題P：星期二下了雨。謂詞表示：weather（tuesday，rain）允許使用變量建立關于實體類的通用斷言weather（X，rain）謂詞演算符號（項）（以Prolog語言為例）由以下三部分組成：①英文字母，包括大寫和
7、小寫。②數(shù)字0，1……9。③下劃線_。以字母開始，后面可以跟這些合法字符的任意序列。邏輯程序設計理論基礎第六章-142.1謂詞演算謂詞演算符號（項）（以Prolog語言為例）①真值符號：true和false（保留符號）②變量符號:以大寫字母開始的符號表達式。③常量符號:以小寫字母開始的符號表達式。④函數(shù)符號:以小寫字母開始的符號表達式。⑤謂詞符號：以小寫字母開始的符號表達式。例如：likes（george，kate）%likes/2likes（george，sarah，tuesday）%likes/3likes（X，kate）friends（father_of(
8、david)，fathe
