给出了相干命题逻辑自然推理系统NR的自动证明算法。

This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.

youdao

启发式概率估计是当前国外自然推理研究的新兴的热点问题之一。

Heuristic probability estimate is one of the popular issue of natural reasoning in foreign psychological research currently.

youdao

智能应用、机器推理和自然语言处理。

Intelligent applications, machine reasoning and natural language processing.

youdao

It seems like the natural thing to suggest, machines can reason in at least some areas.

但仿佛,机器,在某些领域具有推理能力是再自然不过了

耶鲁公开课 - 死亡课程节选

John Locke accounted for the rise of private property from the state of nature by a chain of reasoning very similar to the one that Nozick and the libertarians use.

洛克从自然状态角度,解释了私有财产的兴起,他的推理思路,和诺齐克等自由主义者的思路相似。

耶鲁公开课 - 公正课程节选