02-知识表示方法

知识表示方法

状态空间

三元组：初始状态集，操作集，目标状态集

谓词逻辑

原子公式

基本组成

• 谓词符号：关系（首字母大写）
• 个体符号：常量（全大写）、变量（小写）、函数（函数名小写）
• 注意：==谓词内可以嵌套函数，但是不能嵌套谓词==

n元谓词

1. 一元谓词：性质、属性
2. 二元谓词：两个个体关系
3. 多元谓词：多个个体关系

分子公式

连词

符号	含义
$\lor$	或（析取）
$\land$	与（合取）
$\lnot$、~	非
$\longrightarrow$	蕴含（推理）关系，如果...那么...

谓词公式

量词

符号	含义
$\forall$	全称量词（针对变量），所有
$\exists$	存在量词（针对变量），至少有一个

置换与合一

什么是置换合一？

若F=P(x)

置换：$\theta$={a/x}

示例：G=F$\theta$ =P(a)

合一置换：一个置换使得两个不同谓词得到==相同示例==（不唯一）

最一般的合一：最简合一置换（唯一）

可以合一的条件

1. 谓词一致
2. 项数一致
3. 常量置换变量，函数置换变量

语义网络

组成

节点：实体、属性、状态、动作等

有向弧：表示联系

推理

匹配：问题构造语义网络片段，去匹配知识库中的片段

继承：建立结点栈，讲继承关系结点入栈，逐个出栈，将出栈实体属性加入解中