The signature of a ruleset extracted from a given rule project is determined by the transitive closure of the ruleset parameters of that rule project and all the rule projects it referencies.
从给定规则项目提取的一个规则集的签名，由该规则项目和它引用的所有规则项目的规则集参数的传递闭包决定。
The results showed: (1) the solution of transitive reasoning with spatial and temporal contents supported the mental model theory, not the formal rule theory.
结果发现：（1）空间位置和时间关系的推理结果都支持心理模型理论，而不支持形式规则理论。
应用推荐