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

摘要

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