[計算機軟件及應用]人工智能與專家系統(tǒng)第四章 智能程序設計-文庫吧
2024-12-20 19:58 本頁面
【正文】 ,Y) if mother(X,Z), mother(Z,Y) goal: grandmother(“錢 ” ,”李 ” ) yes goal: grandmother(“孫 ” ,”張 ” ) no 第一節(jié) PROLOG語言的基本知識 詢問 ?含義 ——詢問對象之間某種關(guān)系是否成立的疑問句 ?形式 ?goal: 事實 1，事實 2，事實 3， … ，事實 n n為任意正整數(shù) ?注意： ?各個事實之間用逗號連接表示 “ 與 ” 關(guān)系 ?表示： “ 事實 1，事實 2，事實 3， … ，事實 n”同時成立嗎？ 第一節(jié) PROLOG語言的基本知識 四、項 項的定義 ?項 ∷ =常量 ∣ 變量 ∣ 結(jié)構(gòu) ?常量 ?原子：對象的名字、謂詞函數(shù)名（小寫字母開頭） ? 數(shù)字 ?變量 ?暫時不能命名或不需要命名的對象 ?以大寫字母開頭 ?匿名變量： on(_,a)。 mother(_,”李 ” ） ?自由變量和約束變量 第一節(jié) PROLOG語言的基本知識 ?結(jié)構(gòu) ?又稱復合項，是由一組其他對象組成的單個對象 ?包括： 函數(shù)項： readchar(X)、 mother(“李 ” , “孫 ” ） 表： [a,b,c] 表達式： 2*3+17 ?結(jié)構(gòu)的嵌套 accident(date(year,month,day),who,place) 第一節(jié) PROLOG語言的基本知識 項的匹配規(guī)則 （ 1）若 A、 B是項， A是自由變量，則 B無論是何值， A可以被 B匹配 （ 2）常量與自身匹配成功 （ 3）結(jié)構(gòu)的每一對應成分匹配，則匹配成功 第一節(jié) PROLOG語言的基本知識 五、表 概念 ?表是具有相同類型對象的有序集合 ?如： [1,2,3]、 [a,b,c]、 [a,b(f,c),d]、 [] 表頭、表尾 ?表頭 ——表中第一個元素 ?表尾 ——表中的其余部分，可以是另一張表 表的匹配 ?表中的常量完全相同才匹配 ?表中的變量可與任何對象匹配 ?表頭只與一個分量匹配，表尾可與一個表匹配 第二節(jié) PROLOG程序設計基礎(chǔ) 一、 PROLOG程序的組成 前提部分（條件） ——包括有關(guān)的事實和規(guī)則 問題部分（目標） ——問題求解的目標結(jié)果 二、 PROLOG程序的設計步驟 說明事實 定義規(guī)則 明確目標 第二節(jié) PROLOG程序設計基礎(chǔ) 三、判定規(guī)則中變量值的原則 在同一條規(guī)則中，所有相同名字的變量具有相同的內(nèi)容 如果規(guī)則頭中的變量被約束了，則規(guī)則體中的同名變量也被約束為相同的內(nèi)容 當規(guī)則頭中的變量未被約束時，如果規(guī)則體中的同名變量被約束了，則規(guī)則頭中的同名變量和規(guī)則體中的其他同名變量也被約束為相同的內(nèi)容 如果多條規(guī)則中有相同名字的變量，則這些同名變量不相關(guān) 只有規(guī)則在使用時，規(guī)則中的變量才被約束 第二節(jié) PROLOG程序設計基礎(chǔ) 四、 PROLOG程序的目標求解過程 匹配與回溯 predicates person(symbol, symbol) clauses pers
教學課件相關(guān)推薦
鄂ICP備17016276號-1