人工智能

For the problem of precision and real time control in the process of sulfuration, a new control model is put forward.

针对硫化工艺智能控制过程中的精确和实时性问题，提出了一种基于人工智能的新型控制模型，并将硫化过程中出现的所有噪声统一为一种噪声模型——"泛"噪声，系统控制过程中对该噪声进行自适应学习。

I think a closer look at the notion of strong superhumanity can show why that is.

我想对强势人工智能概念的进一步了解有助于理解这么说的原因。

"Strong superhumanity" would be more than cranking up the clock speed on a human-equivalent mind.

而强势人工智能则要比仅仅加快时钟速度要复杂得多。

And it's very likely that IA is a much easier road to the achievement of superhumanity than pure AI.

智力扩升这条路径很可能要比建造人工智能更容易达到超人智慧。

Defining the problem. Firstly, two important concepts------judicialreasoning and the explanation of law ------are introduced. After that,law-applying process is examined by way of syllogistic argument. Hence, the work of this paper is determined: to analyze the law-applying process on 3 phrases cognizanting of the facts, interpreting of law and making judicial judgment; to define the mission of Logic concerning the difficulties of AI in Law System, and therefore to introduce my understanding of the main task of logic in 21st Century: problematic reasoning.

首先解释了本文所使用的两个重要概念：法律推理和法律解释，而后以三段论的方式考察了法律适用的过程，最后说明本文所要作的工作：在事实认定，法律解释，司法判决三个阶段上以逻辑的手段分析法律适用是如何进行的；逻辑和法律的新的契合点——人工智能法律系统所面临的困境给逻辑学规定了什么样的任务，并由此提出我所理解的逻辑学在21世纪的研究重点：或然性推理。

In 2592, Doctor Gustaf Brackman, an unmatched genius in cybernetics, successfully "twined" the first human/AI pair, creating a symbiont.

在2592年，医生古斯塔夫布拉克曼，控制论的一个无与伦比的天才，成功地"盘绕"第一人/人工智能对，建立一个共生体。

From the point of modern logic, the logic developed from traditional logic to classical symbolic logic then to non-classical logic.

从现代逻辑学的视野来看，逻辑学从古至今经历着从传统逻辑到经典逻辑再到非经典逻辑的发展过程。20世纪80年代以来，非经典逻辑在计算机科学和人工智能领域获得了基础性的地位。

In the paper,the theory of artificial intelligence is applied to fault diagnosis of synchronous motor which is widely used in industry.

本文针对工业生产中使用的直流电动机，应用人工智能的相关理论对其故障进行了广泛深入的研究。

If years of work on artificial intelligence have taught us anything, it is that what makes for human insight is extremely difficult to replicate or systematize.

如果多年的人工智能研究给了我们启示，那就是带给人类真知灼见的事物往往无法复制和组织。

As one of effective automated reasoning methods, tableau has been applied to many important AI fields.

tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。