知识库维护的结构操作语义方法

关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库,该文给出了一个维护和更新的形式转换系统,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中.作为一种特殊情形,也得到了一个r-重构的能行产生机制.该文给出的转换系统不仅具有可靠性,而且也具有完备性.