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

著录项

• 来源
  《软件学报》 |2000年第6期|758-766|共9页
• 作者

  苏开乐; 李未;

  展开▼
• 作者单位

  中山大学计算机科学系;

  广州;

  510275;

  南京大学计算机软件新技术国家重点实验室;

  南京;

  210093;

  北京航空航天大学计算机科学与工程系;

  北京;

  100083;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 专家系统、知识工程;
• 关键词

  知识库; 逻辑系统; 命题逻辑; R-重构; 信念修正;