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

• 作者: 李未 苏开乐
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 知识库 逻辑系统 命题逻辑 R-重构 信念修正
• 年，卷（期）: 2000,（6）
• 页码范围: 758-766
• 页数: 9页
• 分类号: TP182
• 字数: 11241字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏开乐	中山大学计算机科学系	22	309	11.0	17.0
3	李未	北京航空航天大学计算机科学与工程系	23	113	7.0	10.0