本项目以Deep Web为主要背景,研究不完备知识处理的基本理论和逻辑模型,在充分研究Deep Web、不完备知识处理、推理方法理论的基础上,提出了用混合逻辑表示面向Deep Web的不完备知识的理论与方法,简化了知识推理的tableau策略;提出了提高Deep Web搜索预处理能力的理论与方法,提高了知识库中知识的可信度和可依赖性的理论与方法;实现了处理不完备知识的混合逻辑tableau自动推理器和模型生成器。申请发明专利4项,其中2项已获授权;获得软件著作权4项;在国内、外核心期刊和国际会议发表学术论文24篇,其中SCI、EI检索20篇;成果通过省级以上鉴定2项;培养博士研究生4名、硕士研究生9名。
英文主题词Deep Web; incomplete knowledge; logical model