知识的广义二叉树表示及其并行有序逻辑推理的实现

A GENERALIZED BINARY TREE KNOWLEDGE REPRESENTATION AND ITS PARALLEL ORDERED INFERENCE PROCEDURE IMPLEMENTATION

本文根据笔者在贵州师范大学计算机中心VAX——11计算机上用PASCAL语言开发的通用智能数据库系统GNAIDB,给出了知识的一种时空冗余极小的、基于知识空间而不是基于单一知识的广义二叉树表示及其并行有序逻辑推理算法。

By means of the general database management system of the parallel ordered inference procedures built up by the writer with PASCAL on a VAX-11 Computer in the Computing Center of Guizhou Normal University a generalized binary-tree knowledge representation is proposed, and an algorithm of the parallel ordered inference procedures based on knowledge space instead of single piece of knowledge is given.