| 摘要: |
| 关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库,该文给出了一个维护和更新的形式转换系统,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中.作为一种特殊情形,也得到了一个R-重构的能行产生机制.该文给出的转换系统不仅具有可靠性,而且也具有完备性. |
| 关键词: 知识库,逻辑系统,命题逻辑,R-重构,信念修正. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高科技项目基金（No.863-306-ZT06-03-1）、广东省自然科学基金（No.970376）和南京大学计算机软件新技术国家重点实验室开放课题基金资助。 |
|
| Structural Operational Semantic Approach to Knowledge Base Maintenance |
|
SU Kai-le
|
| Abstract: |
| In this paper, the authors give a transition system for those abstractive knowledge bases with the form of so-called assertion set, which plays an important role in knowledge representation and processing, so that each such knowledge base possibly with contradictions can be eventually transferred into a consistent version of it. This leads to a calculus-like mechanism for producing R-reconstruction. This transition system is proved to be sound and complete. |
| Key words: Knowledge base, logical system, proposition logic, R-reconstruction, belief revision. |
