论文部分内容阅读
A numeric reasoning method has been established.With this method,computations oflogical values are only needed instead of step-by-step matching reasoning.Reasoning time ofthis model is at most O(n~2).