利用tableau方法修正DeepWeb中不相容知识

作     者：刘全 崔志明 高阳 伏玉琛 凌兴宏 LIU Quan;CUI Zhiming;GAO Yang;FU Yuchen;LING Xinghong

作者机构：苏州大学计算机科学与技术学院江苏苏州215006 南京大学软件新技术国家重点实验室江苏南京210093 

出 版 物：《计算机科学与探索》 (Journal of Frontiers of Computer Science and Technology)

年 卷 期：2009年第3卷第1期

页      面：60-67页

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金 教育部重点科学研究基金 

主　　题：Deep Web IK tableau 不完备知识 逻辑模型 

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