知识库管理系统GKBMS的研究

The Research of the Knowledge Base Management System GKBMS

本文以关系知识模型为基础,用谓词演算和关系演算描述了一个知识库管理系统GKBMS.该系统既支持逻辑程序设计,又支持知识库的查询,并提供了专家系统的开发环境.

Based on the relational knowledge model, the knowledge base management system GKBMS is introduced in this paper. GKBMS combines predicate calculus with relational calculus. GKBMS not only supports logic programming and the knowledge base retrieving, but also can be used as an environment of building expert systems.