模糊描述逻辑的统计缺省扩展.docVIP

模糊描述逻辑的统计缺省扩展 　　摘 要：该文对模糊描述逻辑进行统计缺省扩展，它以模糊描述逻辑为主要框架，将模糊或不精确知识的表示与推理有机地整合在一起，通过在模糊描述逻辑中引入统计缺省推理，构建了一种同时具有TBox，ABox和统计缺省规则的知识库系统。 　　关键词：模糊描述逻辑 统计缺省扩展 缺省可满足性 　　中图分类号：TP18 文献标识码：A 文章编号：1674-098X（2012）12（c）-00-02 　　描述逻辑（Description Logic，DL）[1]是知识表示的形式化工具，表达能力和可判定性很强。 　　针对模糊知识处理，Umberto Straccia 结合模糊逻辑扩充了描述逻辑，提出一种模糊描述逻辑FALC，从而能表示和推理模糊或不精确知识[2-3]。 　　人类通常在信息模糊和缺乏的情况下也可以推出合乎常理的结论。Reiter[4]提出了缺省逻辑，文献[5-6]提出统计描述与缺省逻辑之间的联系。Gregory R.Wheeler在文献[7-8]中提出统计的缺省逻辑，是经典缺省逻辑的推广，，由Reiter缺省带上单位区间中实数作限制而得的缺省规则之集以及带约束的事实之集构成的集合序对所组成。已有的对缺省逻辑的研究中，一般把所有的规则都看作是缺省规则，或添加一些优先级或构造有序的缺省理论[9]。但是仍存在不足，甚至导致更为复杂的问题。董明楷