人工智能知识的表示——一节谓词逻辑&产生式&框架
一阶谓词逻辑表示法
谓词的一般形式:
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）个体是谓词
谓词公式
连接词
量词
一阶谓词逻辑表示法的特点
产生式表示法
确定性规则知识的产生式表示
不确定性规则知识的产生式表示
产生式系统
规则库
综合数据库
控制系统
产生式表示法的特点
框架表示法
基本概念
框架：一种描述所论对象（一个事物、事件或概念）属性的数据结构。
一个框架由若干“槽”（对象某一方面的属性）组成，每一个“槽”划分为若干“侧面”（一个属性用于描述相应属性的一个方面）。