人工智慧知識的表示——一節謂詞邏輯&產生式&框架

liuyiming2019發表於2020-11-08
人工智慧框架

人工智慧知識的表示——一節謂詞邏輯&產生式&框架

一階謂詞邏輯表示法

謂詞的一般形式:

P ( x 1 , x 2 , . . . , x n ) P(x_1,x_2,...,x_n) P(x1​,x2​,...,xn​)

  • 謂詞名P：刻畫個體的性質、狀態或個體間的關係(謂詞是一個整體的概括)。
  • 個體 x 1 , x 2 , . . . , x n x_1,x_2,...,x_n x1​,x2​,...,xn​:某個獨立存在的事物或者某個抽象概念。
  • 例
    （1）個體是常量：
    在這裡插入圖片描述
    （2）個體是變元：
    在這裡插入圖片描述
    （3）個體是函式：

在這裡插入圖片描述
（4）個體是謂詞
在這裡插入圖片描述

謂詞公式

連線詞

在這裡插入圖片描述
在這裡插入圖片描述

量詞

在這裡插入圖片描述

一階謂詞邏輯表示法的特點

在這裡插入圖片描述

產生式表示法

確定性規則知識的產生式表示

在這裡插入圖片描述

不確定性規則知識的產生式表示

在這裡插入圖片描述

產生式系統

規則庫

在這裡插入圖片描述

綜合資料庫

在這裡插入圖片描述

控制系統

在這裡插入圖片描述
在這裡插入圖片描述

產生式表示法的特點

在這裡插入圖片描述

框架表示法

基本概念

框架：一種描述所論物件（一個事物、事件或概念）屬性的資料結構。
一個框架由若干“槽”（物件某一方面的屬性）組成，每一個“槽”劃分為若干“側面”（一個屬性用於描述相應屬性的一個方面）。

框架表示例子

在這裡插入圖片描述

框架表示法的特點

在這裡插入圖片描述

相關文章