智能逻辑精华优选人工智能资料汇编.pptVIP

第二章人工智能逻辑

第二部分;描述逻辑

DescriptionLogics;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;Tom:Student 或者 Student(Tom)

定理：概念C是可满足的，当且仅当C不包括于?。

－语义网络(SemanticNetworks)

在众多知识表示的形式化方法中，描述逻辑在十多

DDL＝DL＋Action

?has-child.

例如：John有个孩子叫Mary

Father(John,Mary)

即检测是否有T的模型I使得C≠?？

Male)?(?has-child.

C?D(C?D?C?D，D?C);*;*;*;*;*;*;*;{x|Student(x)}，{x|Married(x)}

－关系解释为对象之间的二元关系

实例检索：检索属于某个概念的所有实例的集合

Action采用TBox中的词汇描述前提和成果

{x|Student(x)}，{x|Married(x)}

提出动态描述逻辑，用来描述主体中的动态知识以及推理。

即检测是否有T的模型I使得C≠?？

◆概念断言——表示一种对象是否属于某个概念

Male(y) ?规则

◆描述逻辑的结构算子

为了考虑在时间上的变化，或