基于ATMS的知识库维护系统与开放逻辑的实现

来源 :计算机科学 | 被引量 : 0次 | 上传用户：zhuluzy

【摘要】

：

In this paper, a novel ATMS-based knowledge base maintenance system is proposed. Itenhances functions of the tranditional knowledge base maintenance systems as

【作者】

：

方思行凌卫新陆子强

【机构】

：

华南理工大学应用数学系,华南理工大学应用数学系广州510641,广州510641

【出处】

：

计算机科学

【发表日期】

：

1995年1期

【关键词】

：

正确性维护系统知识库维护系统开放逻辑 Higher mental processes Open logic ATMS Knowledge base main

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

In this paper, a novel ATMS-based knowledge base maintenance system is proposed. Itenhances functions of the tranditional knowledge base maintenance systems as it is a multiple con-text, open and non-monotonic system, and possesses capacities of describin

其他文献

Lotus Notes文档库分析

<正> 近年来,飞速发展的信息科学技术,尤其是Internet/Intranet信息技术,在现代企事业和工行政机构管理中逐渐扮演越来越重要的角色.由美国Lotu。公司推出的Lotus Notes群件

期刊

文档库NOTES数据模型数据管理Database management system Document database Groupware

一种多媒体数据库时态概述模型

<正>在多媒体数据库(MDBMs)中,所要展示的媒体可分为三类:静态、动态和混合类型.静态类型是

期刊

多媒体数据库数据库时态概念模型多媒体MDBMSConceptual temporal modelInteractive operation.

ORDBS中复杂对象的组装与导航

<正>下一代数据库的特点之一是结合关系模型和O一O模型的优点.我们研制的原型系统O一RBASE着眼于NF,关系模型与O一O模型相结合,扩展NFz模型成核心O一O模型,改造RDB的存储管理

期刊