CH2确定性知识表示

•知识  知识表示:符号结构+处理机制  人工智能的前提是要把知识表示给计算机理解和处理。知识转化为便于计算机搜索获取推理的数据结构。

命题：一定条件下可以判断真假的描述。1+1=10二进制正确，十进制错误。/北京是中国首都。

•谓词逻辑表示法

要学会把一段描述熟练的转化为谓词逻辑。

定义谓词，用连接词或量词连接谓词构成谓词逻辑=公式。

步骤：定义谓词和个体确切含义，给变元赋值，用连词连接

5个连词:  ﹁否定 ∧合取 ∨析取 

→蕴含 假的蕴含真的推出真的 如果，，那么

等价 相同为真  当且仅当

量词:全称量词 存在量词

谓词:常量，变量

谓词的阶，一阶谓词，个体域 ，谓词的项，几个项就是几元  没有变量或函数的谓词是命题。函数变量要小写。

解释：赋值

谓词逻辑表示：

事实性知识例子：计算机系张三喜欢编程

computer（张三）∧like（张三，program）

规则性知识

✪课堂例题：武汉是美的城市，但不是沿海城市

如果马良是男孩张红是女孩，那么马良比张红高

1定义谓词BCity（x）：x是个美的城市

YCity（x）:x是沿海城市

Boy（x）:X是男孩

Girl（x）:x是女孩

CH2确定性知识表示

例题2:

所有学生都穿彩色制服

任何整数或者为正数或者为负数

自然数都是大于零的整数

1.定义谓词

S（x）:x是学生 U（x,y）:x穿y  I（x）:x是整数P（x）:x是正数 Q（x）:x是负数 N（x）:x是自然数 L（x）:x大于零

2.用量词连词连接谓词

CH2确定性知识表示