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.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
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.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
应用推荐