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.

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

youdao

General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.

一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。

youdao

Answer Set Programming (ASP) is now a mainstream tool for the representation of non-monotonic knowledge.

回答集程序设计(asp)是一种主流的非单调知识表示工具。

youdao