摘要： Tableau作为自动推理的有效方法之一，在许多人工智能领域中有重要的应用。在Tableau基础上，该文提出了Tableau开放和封闭的推理标准，应用于数据库实例不满足完整性约束的不相容关系数据库中，并对其进行修正。采用了逻辑程序的方法，对数据库进行修正，解决了传统修正方法丢失信息、出现不相容等问题。
关键词:
Tableau,
完整性约束,
不相容知识处理
Abstract: As one of effective automated reasoning methods, Tableau is applied to many important AI fields. On the base of Tableau, an open and close new reasoning criterion is proposed. The criterion is applied to inconsistent relational database which database instances can not satisfy integrity constrains. Database can be repaired through logic programming, which can solve some problems such as losing information, arising new inconsistent.
Key words:
Tableau,
Integrity constraint,
Inconsistent knowledge processing
中图分类号:
刘 全;伏玉琛;凌兴宏;孙吉贵. 一种基于语义Tableau的不相容知识处理方法[J]. 计算机工程, 2007, 33(08): 173-174，.
LIU Quan; FU Yuchen; LING Xinghong ; SUN Jigui. Method of Inconsistent Knowledge Processing Based on Semantic Tableau[J]. Computer Engineering, 2007, 33(08): 173-174，.