计算机科学与探索 ›› 2009, Vol. 3 ›› Issue (1): 60-67.DOI: 10.3778/j.issn.1673-9418.2009.01.006
刘 全1,2+,崔志明1,高 阳2,伏玉琛1,凌兴宏1
LIU Quan1,2+, CUI Zhiming1, GAO Yang2, FU Yuchen1, LING Xinghong1
摘要: 在分析Deep Web中不相容知识的单调性、动态性、模糊性的基础上,提出了基于tableau的不完备知识处理的模型生成方法IK-tableau。该模型采用非经典逻辑表示方法,将Deep Web信息表示为逻辑公式集合,采用模型生成算子对逻辑公式进行扩展。通过IK-tableau方法,能够找出Deep Web搜索中的不完备知识,并可以进行修正,生成知识模型;同时利用该模型可以进一步指导Deep Web搜索。