決策推理與決策支持系統(tǒng)(編輯修改稿)
2025-06-19 05:50 本頁面
【文章內(nèi)容簡介】 次關聯(lián)的信息結(jié)構(gòu) ? 可以用 BNF形式定義知識 基本概念 知識 ::=信息列 關聯(lián) 信息列 | 信息列 關聯(lián) 知識列 | 知識列 關聯(lián) 信息列 | 知識列 關聯(lián) 知識列 | 信息列 ::=信息 |(信息 的一個序列） 知識列 ::= (知識 的一個序列） 關聯(lián) ::=各種關聯(lián)運算符 基本概念 ? 知識的分類 1) 事實 ：指人類對于客觀事物屬性的值或狀態(tài)的描述，不包含任何變量，可以用一個值為真的命題陳述，或者用一種狀態(tài)的描述來表達。 例如： 大海是藍色的 我今年 18歲 今天很熱 基本概念 2) 規(guī)則 ：指可以分為前提（條件）和結(jié)論兩個部分，用以表達因果關系的知識。 一般形式為：如果 A， 則 B AB ? 可以用三段論推理形成一條推理鏈。 基本概念 3) 規(guī)律 ：規(guī)則知識可分為帶變量和不帶變量兩種形式。將帶變量的規(guī)則稱為規(guī)律。 ? 規(guī)律中的變量一旦被實例化為一個具體的值，則規(guī)律就變成了一條不帶變量的規(guī)則 ? 一條規(guī)律通過變量實例化，可以派生出許多規(guī)則。因此，在這種意義上規(guī)律表示了一類知識，比規(guī)則更寬泛。 基本概念 ? 知識的屬性 1) 真實性：應為經(jīng)過實踐檢驗的或者可用邏輯推理證明真?zhèn)蔚? 2) 相對性：在一定的條件和環(huán)境內(nèi)有效 3) 不完全性：許多知識是部分正確的 4) 模糊性：許多知識不是完全精確的 基本概念 5. 可表示性：可用某種方式加以描述 符號，圖形，形態(tài)，等等 6) 可存儲性：可存儲于人類大腦中，可以記錄在書本上，也可以存儲在電腦中。 7) 可傳遞性：知識可通過某種媒體進行傳遞。 8) 可處理性：知識可以利用各種方法和工具進行處理，從一種形式轉(zhuǎn)變?yōu)榱硪环N形式。 知識表示方法 一階謂詞邏輯 ? 一階謂詞演算 是一種形式語言，可用來表示各種“事實”，對知識表示和推理非常重要，在人工智能、知識工程等領域有重要作用。也可以作為知識庫系統(tǒng)的推理基礎。 知識表示方法 一階謂詞邏輯符號集及其知識表示 ? 常量符號：用大寫字母 A、 B、 C、 D等表示 ? 變量符號：用小寫字母 x、 y、 z等表示 ? 函數(shù)符號：用小寫字母 f、 g、 h等表示 ? 謂詞符號：用大寫字母 P、 Q、 R等表示 ? 邏輯符號： ? 否定 ? 合取 ? 析取 ? 限定量詞： ? 存在量詞 ? 全稱量詞 知識表示方法 ? 邏輯表達式構(gòu)成用語的定義 (1) 項（ iterm） ? 變量和常量 ? 若 t1, t2, …, t n為項，則 f(t1,t2,…,t n)為函數(shù) (2) 原子邏輯式 若以 p為謂詞符號， t1, t2, …, t n為項，則謂詞符號對于項的作用為： p(t1,t2,…,t n)是函數(shù) 知識表示方法 ? 謂詞演算語言 邏輯表達式的幾個實例 (1) WRITE(STUDENT,PAPER) (2) WRITE(x, y) (3) ? WRITE(STUDENT,COMPUTERCHESS) (4) (?x) WRITE(x,COMPUTERCHESS) (5) MARRIED[father(JOHN),mother(JOHN)] (6) LIVES(JOHN,HOUSE)? COLOR(HOUSE,YELLOW) (7) OWNS(JOHN,CAR) = COLOR(CAR,GREEN) 知識表示方法 語義網(wǎng)絡表示 1. 語義： 是指語義學的符號和表達式同它所描述的對象之間的關系。 2. 語義網(wǎng)絡： 以網(wǎng)絡形式表示人類知識構(gòu)造的一種圖形工具，是一種有向圖。 語義網(wǎng)絡既可以作為人類聯(lián)想記憶的心理學模型，又可作為計算機內(nèi)部知識表達的一種形式。 它既能表達事實性知識，也可以表達事實之間的聯(lián)系。 知識表示方法 3. 語義網(wǎng)絡中的符號 ? 節(jié)點： 語義網(wǎng)絡所描述的各種對象，表示各種事物、概念、屬性及知識實體，有標識，并且可以是一個語義子網(wǎng)絡，形成分層描述。 ? 有向邊（弧）： 表示所連接的語義對象之間存在的某種語義聯(lián)系（關系），也有標識。 ? 無向邊（短線） ：語義網(wǎng)絡中的節(jié)點一般采用具有若干屬性的元組或框架來表示，由節(jié)點引出的帶標識的短線（無向邊）表示各個屬性值 更可愛 是 是 是 是 烏鴉 鳥 企鵝
環(huán)評公示相關推薦
鄂ICP備17016276號-1