知识库维护的结构操作语义方法
| 外文标题 | Structural Operational Semantic Approach to Knowledge Base Maintenance |
| 文献类型 | 期刊 |
| 作者 | 苏开乐[1];李未[2] |
| 机构 | [1]中山大学计算机科学系!广州510275,南京大学计算机软件新技术国家重点实验室,南京210093,北京航空航天大学计算机科学与工程系!北京100083 [2]中山大学计算机科学系!广州510275,南京大学计算机软件新技术国家重点实验室,南京210093,北京航空航天大学计算机科学与工程系!北京100083 ↓ |
| 来源信息 | 年:2000卷:11期:6页码范围:758-766 |
| 期刊信息 | 软件学报ISSN:1000-9825 |
| 关键词 | 知识库;逻辑系统;命题逻辑;R-重构;信念修正 |
| 摘要 | 关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库,该文给出了一个维护和更新的形式转换系统,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中.作为一种特殊情形,也得到了一个R-重构的能行产生机制.该文给出的转换系统不仅具有可靠性,而且也具有完备性. |
| 收录情况 | PKU |
| 所属部门 | 计算机学院；校机关 |
| 链接地址 | http://d.g.wanfangdata.com.cn/Periodical_rjxb200006007.aspx |
| 人气指数 | 1 |
| 浏览次数 | 1 |
| 基金 | 国家科技攻关项目; 广东省博士启动基金; 国家重点实验室基金 |
全文
影响因子：
计算机学院
dc:title:知识库维护的结构操作语义方法
dc:creator:苏开乐;李未
dc:date: publishDate:2000-06-23
dc:type:期刊
dc:format: Media：软件学报
dc:identifier: LnterrelatedLiterature：软件学报.2000,11(6),758-766.
dc:identifier:DOI：
dc: identifier:ISBN:1000-9825
