| 分布式知识库系统DKBS/TH—1中推理与查询接口的设计与优化 |
| |
| 引用本文： | 韦鹓,王克宏,谢树煜.分布式知识库系统DKBS/TH—1中推理与查询接口的设计与优化[J].烟台大学学报(自然科学与工程版),1989(2). |
| |
| 作者姓名： | 韦鹓 王克宏 谢树煜 |
| |
| 作者单位： | 烟台大学
(韦鹓)，清华大学
(王克宏)，清华大学(谢树煜) |
| |
| 摘 要： | 本文介绍了一个分布式知识库系统DKBS/TH—1的结构模型。它以PROLOG作为推理工具,Unify关系数据库系统作为存放知识的机构,二者之间通过一阶谓词逻辑的子集Horn子句进行联系.分布式系统中各结点之间的通讯联系也由Horn子句来实现,本文还讨论了PROLOG与关系数据库的结合方法及查询优化的技术.
|
| 关 键 词： | 知识库 数据库 PROLOG 分布式系统 查询 Horn子句 |
The Research and Design of the Interface Mechanism of Inference and Querying in a Distributed Knowledge Base System DKBS/TH-1 |
| |
| Wei Yuan,Wang Kehong,Xie Shuyu.The Research and Design of the Interface Mechanism of Inference and Querying in a Distributed Knowledge Base System DKBS/TH-1[J].Journal of Yantai University(Natural Science and Engineering edirion),1989(2). |
| |
| Authors: | Wei Yuan Wang Kehong Xie Shuyu |
| |
| Institution: | Wei Yuan Wang Kehong Xie Shuyu
(Yantai University) (Qinghua University) |
| |
| Abstract: | A structrue model of a distributed knowledge base system DKBS/TH-1 was introduced and the combination between Prolog and the relational data base system was discussed. Problem of optimization was discussed also. |
| |
| Keywords: | Knowledge base system Data base system PROLOG Distributed base system Horn olause |
| 本文献已被 CNKI 等数据库收录！ |
