###
DOI:
Journal of Software:2000.11(6):758-766

知识库维护的结构操作语义方法
苏开乐
(中山大学计算机科学系,广州,510275;南京大学计算机软件新技术国家重点实验室,南京,210093)
Structural Operational Semantic Approach to Knowledge Base Maintenance
SU Kai-le
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2371   Download 2434
Received:January 27, 1999    Revised:June 21, 1999
> 中文摘要: 关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库,该文给出了一个维护和更新的形式转换系统,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中.作为一种特殊情形,也得到了一个R-重构的能行产生机制.该文给出的转换系统不仅具有可靠性,而且也具有完备性.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家863高科技项目基金(No.863-306-ZT06-03-1)、广东省自然科学基金(No.970376)和南京大学计算机软件新技术国家重点实验室开放课题基金资助。 本文研究得到国家863高科技项目基金(No.863-306-ZT06-03-1)、广东省自然科学基金(No.970376)和南京大学计算机软件新技术国家重点实验室开放课题基金资助。
Foundation items:
Reference text:

苏开乐.知识库维护的结构操作语义方法.软件学报,2000,11(6):758-766

SU Kai-le.Structural Operational Semantic Approach to Knowledge Base Maintenance.Journal of Software,2000,11(6):758-766