知识结构的三叉树表示和逻辑推理的实现

THE TRINARY-TREE REPRESENTATION OF KNOWLEDGE AND THE IMPLEMENTATION OF INFERENCE PROCEDURES

本文根据逻辑程序的要求,设计了知识结构的三叉树表示法,并给出了基于这种表示的推理过程的框架。

Given the requirements of logical programming, a trinary-tree knowledge representation is proposed in this paper, and a framework of inference procedures based on the representation is given.