一种基于关系型构造的知识库协调性维护方法——序化分析法

摘要

本文提出了一种基于关系型构造的知识库协调性维护方法：序化分析法。这种方法可以在训管理层次上对推理知识进行知识冗余、矛盾和蕴涵等语义检查，并在工程知识处理平台ＲＥＫＰ上实现，在较大范围内处理了知识库的协调性问题。