一种基于语义Tableau的不相容知识处理方法

摘要：

Tableau作为自动推理的有效方法之一,在许多人工智能领域中有重要的应用.在Tableau基础上,该文提出了Tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正.采用了逻辑程序的方法,对数据库进行修正,解决了传统修正方法丢失信息、出现不相容等问题.

关键词：Tableau、完整性约束、不相容知识处理

所属期刊栏目：33

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金60273080;60473003

在线出版日期：2007-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：173-174,177