322限定推理 b 3、限定推理的形式化方法 a 例子: be is-block()∧i- block(b)∧ is-block(c) d(a)∧Φ(b)∧Φ(c)∧(x){(x)→is- block(x} →(Vx){is- block(x)→①(x) 令:①(x)=(x=a)∨(x=b)∨(x=c) (Vxfis-block(x)=((x=a)V(x=b)V(x=c))) A(①,)A(vx){Φ(x)→P(x∧(y){(y)→>Q(y →(Vx){P(x)→①(x)}∧(y){Q(y)→q(y 2021/12/14
3.2.2 限定推理 3、限定推理的形式化方法 a b c a b c 例子： is-block(a) ∧ is-block(b) ∧ is-block(c) Φ(a)∧Φ(b)∧Φ(c) ∧ (x){Φ(x)is-block(x)} (x){is-block(x)Φ(x)} 令：Φ(x)=(x=a)∨(x=b)∨(x=c) (x){is-block(x)((x=a)∨(x=b)∨(x=c))} A(Φ,φ) ∧(xi ){Φ(xi )P(xi )}∧(yi ){φ(yi )Q(yi )} (xi ){P(xi )Φ(xi )}∧(yi ){Q(yi )φ(yi )} 2021/12/14 16
3.23真值维持系统 1、工作原理 S=AUA,A为基本信念集;A为假设集。 论据变化 推玎 理机 真值维持系统 获取信息 修改信息 知识库 真值维持系统 2021/12/14 17
3.2.3 真值维持系统 1、工作原理 S=Δ∪A， Δ为基本信念集；A为假设集。 推理机 真值维持系统 知识库 论据变化 修 改 信 息 获 取 信 息 真值维持系统 2021/12/14 17
3.23真值维持系统 1、工作原理 在TMS中每个命题或规则称为节点,每个节点具有下列状态之一: 相信为真 OUT不相信为真,当前没有可以相信的理由 (1)支持表SL(N-节点表)(OUT节点表) (2)条件证明(CP(结论) (IN-假设) (OUT假设) 2021/12/14
3.2.3 真值维持系统 1、工作原理 在TMS中每个命题或规则称为节点，每个节点具有下列状态之一： IN 相信为真 OUT 不相信为真，当前没有可以相信的理由 (1)支持表 (SL (IN-节点表) (OUT-节点表) ) (2)条件证明 (CP (结论) (IN-假设) (OUT-假设) ) 2021/12/14 18