论文部分内容阅读
在分析DeepWeb中不相容知识的单调性、动态性、模糊性的基础上，提出了基于tableau的不完备知识处理的模型生成方法IK-tableau。该模型采用非经典逻辑表示方法，将Deep Web信息表示为逻辑公式集合，采用模型生成算子对逻辑公式进行扩展。通过IK-tableau方法，能够找出Deep Web搜索中的不完备知识，并可以进行修正，生成知识模型；同时利用该模型可以进一步指导Deep Web搜索。