面向deepweb不确定知识表示的动态模糊描述逻辑

deepweb信息量大，主题专一，信息质量好。然而deepweb信息存在着不确定问题，因此难以对其进行知识表示和推理。基于动态模糊逻辑理论，提出了一种新的描述逻辑，即动态模糊描述逻辑(dfdls)。给出了dfdls形式化定义以及dfdls的语法和语义，设计了dfdls的tableau的推理算法和策略。采用动态模糊描述逻辑对面向deepweb的不确定知识进行表示并实现合理的推理和利用，能更好地表达deepweb的动态和模糊信息。