The transformation layer will apply an inference process (similar to forward-chaining) and check for each node in the plan tree to see which query transformations apply to that node.
Decision tree learning is one of the widely used and practical methods for inductive inference.
决策树学习是应用最广泛的归纳推理算法之一。
3
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.