A computer can reason about statements in these formal languages automatically using logicalinference rules.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
2
At the same time implemented machine proof of some mathematical theorems (Group theory) and logicalInference of statements.
与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。
3
Blurring control is a kind of computer digital controlling technology on the basis of blurring set theory, blurring language variable and blurring logicalinference.