计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
A computer can reason about statements in these formal languages automatically using logical inference rules.
系统运行结果表明，各功能模块计算准确，逻辑推理性较强，在一定程度上提高了数据处理的自动化和智能化水平。
The operation of the system shows that each function module has more accurate calculation or better logical inference, that the...
应用推荐