精品ppt—人工智能原理及其應(yīng)用—第一章概述(編輯修改稿)
2024-11-12 03:32 本頁面
【文章內(nèi)容簡介】 識 —— 如問題當(dāng)前狀態(tài)和目標狀態(tài)等 b) 過程性知識 —— 如引起狀態(tài)改變的操作、算子等 c) 控制性知識 —— 如從多個操作中選擇最佳操作的知識等 第二章 知識表示 敘述性知識、過程性知識、控制性知識 例：南京 北京 by air or train 第二章 知識表示 二、知識表示的概念 1. 知識表示的定義 實際上就是對知識的一種描述，即用一些約定的符號把知識編碼成一組計算機可以接受的數(shù)據(jù)結(jié)構(gòu)。 2. 知識表示的要求 難點：知識太龐大；特征的刻劃難于精確；知識經(jīng)常變化 第二章 知識表示 1) 表示能力 2) 可利用性 3) 可組織性與可維護性 4) 可實現(xiàn)性 5) 自然性與可理解性 第二章 知識表示 3. 知識表示觀點 1) 陳述性觀點 2) 過程性觀點 第二章 知識表示 1) 表示能力 2) 可利用性 3) 可組織性與可維護性 4) 可實現(xiàn)性 5) 自然性與可理解性 第二章 知識表示 3. 知識表示觀點 1) 陳述性觀點 2) 過程性觀點 第二章 知識表示 三、知識表示方法 1. 狀態(tài)空間法 (p169) 基于解答空間的問題表示和求解方法就是狀態(tài)空間法，它是以狀態(tài)和操作為基礎(chǔ)來表示和求解問題的。 狀態(tài)（ state） ： 是為描述某類不同事物間的差別而引入的一組最少變量Sk0,Sk1,…,S kn的有序集合，其矢量形式如下 : Sk= {Sk0,Sk1,…,S kn} 第二章 知識表示 操作（算符） ：使問題從一種狀態(tài)變化為另一種狀態(tài)的手段。 狀態(tài)空間 ：用以描述該問題的全部可能狀態(tài)及其關(guān)系。三元狀態(tài)（ S,F,G）： 初始狀態(tài)集合 S， 操作符集合 F， 目標狀態(tài)集合 G。 問題求解過程： 用適當(dāng)?shù)摹盃顟B(tài)”及“操作”描述問題；從初始狀態(tài)出發(fā)，每次使用一個“操作” ，直到目標狀態(tài)為止；從初始到目標狀態(tài)所使用的算符序列就得到該問題的一個解。 第二章 知識表示 例：八數(shù)碼難題（ p178） 2 8 3 1 4 7 6 5 1 2 3 8 4 7 6 5 第二章 知識表示 2. 謂詞邏輯法 一階謂詞演算是一種形式語言，其根本目的在于把數(shù)學(xué)中的邏輯論證符號化。它是命題邏輯的擴展。 1) 邏輯基礎(chǔ) 命題 ：一個陳述句稱為一個斷言。凡有真假意義的斷言稱為命題。 優(yōu)點：簡單、明確； 缺點：無法描述事物結(jié)構(gòu)、邏輯特征、共性。 第二章 知識表示 謂詞演算 ： a) 語法和語義 問題的狀態(tài)就是一批事實，它可以用一組語句來描述。 謂詞邏輯的基本組成部分：謂詞符號、 變量符號、函數(shù)符號和常量符號，并用園括弧、方括弧、花括弧和逗號隔開，以表示 論域 內(nèi)的關(guān)系。 第二章 知識表示 謂詞 +客體（常量變量或函數(shù)） 例： INROOM(robot,r1) MARRIED(father(li),mother(li)) 謂詞與函數(shù)的區(qū)別：謂詞具有真值，而函數(shù)值是論域中的某個個體。 第二章 知識表示 b) 連詞和量詞 連詞： ﹁ ∨∧→ 真值表（ p29） 量詞： c) 謂詞公式（合式公式） 項 原子謂詞公式 合式公式 第二章 知識表示 d) 自由變元和約束變元 量詞的轄域 2) 謂詞表示舉例 猴子摘香蕉問題（ p35） a c b 第二章 知識表示 a) 根據(jù)問題，定義所需謂詞： AT(x,y)、 ONBOX、 HB 其中 x的個體域是 {monkey,box,bannana}， y的個體域是 {a,b,c} b) 用謂詞描述初始和目標狀態(tài)： 初始： AT(monkey,a)、 AT(box,b)、 ﹁ ONBOX、 ﹁ HB 第二章 知識表示 目標： AT(monkey,c)、 AT(box,c)、 ONBOX、 HB c) 用謂詞定義引起狀態(tài)改變的操作 GOTO(u,v)、 PUSHBOX(v,w)、 CLIMEBOX、 GRASP 這些操作有相應(yīng)的先決條件以及動 作后的結(jié)果 第二章 知識表示 d) 應(yīng)用謂詞公式求解該問題 這里只給出結(jié)果。具體求解的方法， 可以是狀態(tài)空間搜索或是問題歸約 求解等。 第二章 知識表示 3) 謂詞邏輯表示的特點 優(yōu)點： 自然、明確、精確、靈活、模塊
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1