给出了相干命题逻辑自然推理系统NR的自动证明算法。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
启发式概率估计是当前国外自然推理研究的新兴的热点问题之一。
Heuristic probability estimate is one of the popular issue of natural reasoning in foreign psychological research currently.
智能应用、机器推理和自然语言处理。
Intelligent applications, machine reasoning and natural language processing.
人类推理的最终努力是,减少简化自然现象中为数众多的原理,同时将大量的特殊性结果,解析成少数的一般性成因。
The utmost effort of human reason is to reduce the principles productive of natural phenomena to a greater simplicity and to resolve the many particular effects into a few general causes.
Stair确实代表了人工智能的一个新潮流，它集成了学习、视觉、导航、搬运、规划、推理、言语和自然语言处理等多项技术。
Indeed, Stair represents a new wave of ai, one that integrates learning, vision, navigation, manipulation, planning, reasoning, speech and natural-language processing.
1713年牛顿在进一步阐发其经典代表作“自然哲学的数学原理”的证据与推理过程的注释里写道。
In the General Scholium (from the 1713 edition) of his masterpiece Mathematical Principles of Natural Philosophy (1686), Newton writes.
但是当那些内容远没有成为常识的时代，当我们如今已经接受的，自然科学和最终原理还未被采纳的时代，我们不能寄希望于纯粹的推理。
At the time it was very far from commonsense and it's a mark of how far we have come that we now accept the ultimate principles of science are ones that we cannot hope to base on pure reason.
如果我们不信任的理论推理，我们特别信任的应用，如理论的自然主义。
If we distrust theoretical reasoning, we distrust particular applications of it, such as the theory of naturalism.
人们做这样事的方法就是从自然之中取得线索并且他们试图造庞大的并联网络以便能够推理。
And one way people do this is they take a hint from nature and they try to construct massively distributed networks to do aspects of reasoning.
隐喻和转喻是自然的推理图式。
与自然科学不同的是在法律推理中起公理作用的命题是“价值判断”，作为价值判断难以为公众达成一致。
But not like the natural science, the axiom of legal reasoning is "value-judgment", and the values can not be agreed by all the people.
模糊逻辑推理能够反映自然语言要素信息传递特性。
Fuzzy logic inference can reflect the information transmission characteristic of key elements of the natural language.
比方说，亚里士多德的自然科学统治西方思想达两千年，他相信人可以通过从公理推理来认识现实。
Aristotle, for example, whose natural science dominated Western thought for two thousand years, believed that man could arrive at an understanding of reality by reasoning from self-evident principles.
数学归纳法推理是典型的三段论，而不是完全归纳法，其基础是自然数列的性质，而不是逻辑公理。
Mathematic induction is a typical syllogism, it is not complete induction, its base is the property of natural sequence, but not logic axioms.
自然科学基于逻辑推理而不是凭经验得来的方法来探究事物的本质。
Inquiry into the nature of things based on logical reasoning rather than empirical methods.
推理作为基本的思维单位，自然体现在翻译过程中。
And as a basic thinking unit, inference is often reflected in the translation process.
通过使用抽象和逻辑推理，数学从计数，计算，测量和系统的研究自然对象的形状和运动演进而来。
Through the use of abstraction and logical reasoning, mathematics evolved from counting, calculation, measurement, and the systematic study of the shapes and motions of physical objects.
但仿佛，机器，在某些领域具有推理能力是再自然不过了。
It seems like the natural thing to suggest, machines can reason in at least some areas.
通过语义分析可以理解自然语言语句，并进行深入的知识获取和推理，使计算机能够与人类无障碍的沟通。
By semantic parsing, the natural language sentence can be understood and knowledge acquirement and inference become possible. Consequently computer and human being can communicate freely.
产生式系统是人工智能系统中最典型的一种基本结构，是人工智能系统中最自然的知识表示及推理的方法。
Production system is the most typical basic structure and the most natural method for knowledge showing and ratiocinating in artificial intelligence system.
自然语言中某些单词、词组等通过模糊集合的描述和模糊推理转换成计算机可以接受的数学模型，就可以实现计算机控制。
Through description of fuzzy set and fuzzy deduction, some words and phrases from natural language can be transfered into mathematical models acceptable to the computer to realize computer control.
文本推理在自然语言处理的应用中占有极为重要的位置，本文介绍了基于知网的一种推理方法，该方法以语义网络的形式表示知网中的知识，利用“标记传递”实现推理。
Text inference is central to natural language applications. This paper presents an inference method based on HowNet, which organizes knowledge with semantic net and infers with marker passing.
这一论证基于错误的推理，而且它不能证明该课程会自然而然地给阿克默出版公司带来同样的效果。
This argument is based on problematic reasoning and it does not follow that the course will automatically bring the same results to Acme Publishing.
这一论证基于错误的推理，而且它不能证明该课程会自然而然地给阿克默出版公司带来同样的效果。
This argument is based on problematic reasoning and it does not follow that the course will automatically bring the same results to Acme Publishing.
应用推荐