第2章-知識表示技術(shù)(編輯修改稿)
2025-04-02 20:31 本頁面
【文章內(nèi)容簡介】 其獨立性，因此難于作完整的原理性解釋。 ? 表達能力受限 ： ? 由于規(guī)則格式單一，對復(fù)雜知識、不確定推理的表達顯得能力不足和呆板不靈活。 ? 大型 AI系統(tǒng)有效性降低 ： ? 產(chǎn)生式系統(tǒng)的強模塊性，使得規(guī)則間信息傳遞依賴于上下文的數(shù)據(jù)，而不能直接調(diào)用其他規(guī)則，因此求解陷于大量的規(guī)則檢索、匹配和操作，不能對執(zhí)行優(yōu)化序列或優(yōu)化回溯控制作出明顯反應(yīng)。 167。 謂詞邏輯表示法 1．謂詞和個體變量 謂詞邏輯是一種用句子的內(nèi)部結(jié)構(gòu)（主語、謂詞）為基本符號來研究人的思維規(guī)律的數(shù)理邏輯。 如“張比王小”，用謂詞表示為 Little(Zhang, Wang)。 Little是謂詞名（可以是一個字母）； Zhang、 Wang是主語或個體（次序不能顛倒）。 一、謂詞邏輯的一些概念 1．謂詞和個體變量 謂詞邏輯的一般形式為 P(x1, x2, … xi, … xn), i=1, 2, …, n 其中 P 稱為謂詞，用來刻劃個體的性質(zhì)或關(guān)系； xi 稱為個體變量（又稱變元），它表示獨立存在的事物，可以是一個抽象的概念，也可以是一個具體的事物。 一、謂詞邏輯的一些概念 1．謂詞和個體變量 幾個術(shù)語： 個體域 ： 個體變元的變化范圍，可以是有限的，也可以是無限的。 謂詞的元數(shù) ： 個體變元的數(shù)目。一元謂詞，多元謂詞。 謂詞賦值 ： 將 P賦予確定的含義， xi代表確定的個體。 謂詞的真值 ： 真、假。 一、謂詞邏輯的一些概念 2．聯(lián)結(jié)詞 在謂詞邏輯中， P(x1, x2, ? xi, … xn)叫原子謂詞公式（簡稱謂詞公式），用 P(x)表示。 原子公式可以通過“聯(lián)結(jié)詞”構(gòu)成謂詞合式公式。 在謂詞邏輯中定義了五種聯(lián)結(jié)詞： 一、謂詞邏輯的一些概念 (1)否定聯(lián)結(jié)詞 乛：用來否定原來的謂詞。如“乛 P”表示 P的否定，即“非 P”。 (2)合取聯(lián)結(jié)詞 ∧ ：用來表示并列的復(fù)合句子。如“ P∧ Q”表示 P和 Q的合取，即“ P與 Q”。 (3)析取聯(lián)結(jié)詞 ∨ ：用來表示可兼有的或。如 “ P∨ Q”表示 P和 Q的析取，即“ P或 Q”。 (4)條件聯(lián)結(jié)詞 → ：表示“如果 … 那么 … ”的詞句。如“ P → Q”表示 P是 Q的條件，即“若 P，則 Q”。 (5) 雙條件聯(lián)結(jié)詞 ：表示兩個謂詞互為條件。如“ P Q”表示 P和 Q相互作為條件，即 “若 P，則 Q；若 Q，則 P”，亦即“ P當且僅當 Q”。 → ← → ← 一、謂詞邏輯的一些概念 3．量詞 有些原子公式 P(x)對個體域中所有個體變元都具有T值，但有些則不然。在數(shù)理邏輯中用量詞來表示這個特點。 1) 全稱量詞“ ( )”，讀作“對于所有的 x”。 x?( )P(x)表示“對于個體域中所有的個體 x，謂詞 P(x)均為 T”。 x?2) 存在量詞“ ( )”，讀作“存在 x”。 x?( )P(x)表示“在個體域中存在某些個體 x，使謂詞 P(x)為 T”。 ?一、謂詞邏輯的一些概念 4．謂詞合式公式（又稱謂詞公式） 原子公式和聯(lián)結(jié)詞及量詞一起可以組成謂詞合式公式。 定義如下： 1) 原子謂詞公式是合式公式。 2) 若 A是合式公式，則乛 A是合式公式。 5) 經(jīng)過有限次地應(yīng)用規(guī)則 (1)~(4)所得到的公式是合式公式。 4) 如果 A是合式公式， x是 A中出現(xiàn)的任何變元，則 ( )A(x)和 ( )A(x)都是合式公式。 x??3) 若 A和 B都是合式公式，則 (A∧ B)， (A∨ B)， (A→B) 和 (A B) 都是合式公式。 → ← 一、謂詞邏輯的一些概念 5． 謂詞演算的等價式和蘊含式 等價 ：當兩個謂詞公式在其共同的個體域 E上，當 P Q是永真時。記作 P Q。 ?蘊含 ：當兩個謂詞公式在其共同的個體域 E上，當 P→ Q是永真時。記作 P Q。 ?在謂詞公式的演算過程中，常用的等價式和蘊含式可參見教材。 一、謂詞邏輯的一些概念 1． 用謂詞邏輯表示狀態(tài) 問題的狀態(tài)往往是一個或一批事實，它可以用一個或一組語句來描述，因此可用一個或幾個謂詞公式的合取來表示。 例：用謂詞公式表示變電所中負荷的供電狀態(tài)。 接線圖如圖 所示： B u sS w it c h 1B r e a k e rS w it c h 2二、謂詞邏輯表示法應(yīng)用舉例 1． 用謂詞邏輯表示狀態(tài) B u sS w it c h 1B r e a k e rS w it c h 2分析 ：只有在母線帶電，斷路器和隔離開關(guān)均在合位時，負荷才能供電。 LINK(Switch1, Bus) LINK(Breaker, Switch1) LINK(Switch2, Breaker) LIVE(Bus) CLOSED(Breaker) CLOSED(Switch1) CLOSED(Switch2) 謂詞公式 ： 二、謂詞邏輯表示法應(yīng)用舉例 2．用謂詞邏輯表示操作 操作由條件和動作兩部分組成。用謂詞邏輯表示操作時，條件可以寫成若干語句的合成。當狀態(tài)的事實使它們都為真時，該操作可以被選用。動作則表示操作。 例：用謂詞公式表示拉開刀閘 1 的操作。 B u sS w it c h 1B r e a k e rS w it c h 2二、謂詞
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1