提出了结合人工神经网和符号推理的多重故障诊断方法，给出了该方法的定义和算法。
A new approach which combines ANN and symbolic inference is presented, and its definitions and algorithms are given.
计算力学是一个全新的理论框架，主要研究动力学系统中的几何状态空间如何支持符号推理计算。
Computational mechanics is a new theory frame to analyze how geometric state space structures support computation in dynamics systems.
人们普遍认为，高智商的人能够很容易地抓住思想，做出区分，进行逻辑推理，并使用语言和数学符号来解决问题。
It is generally agreed that a person of high intelligence is one who can grasp ideas readily, make distinctions, reason logically, and make use of verbal and mathematical symbols in solving problems.
符号是客观世界的抽象表示，而推理和思考，就是按既定规则对它进行操作。
Reasoning and thinking involves manipulation, according to established rules, of symbols which are abstract representations of the real external world.
介绍一种用循环多层感知器神经网络实现符号逻辑推理系统的方法。
A method of implementing symbol logic inference system using recurrent multilayer perceptron neural networks is presented in this paper.
此方案在推理过程中运用了约束传播和符号代数的方法，预测所有可能合理的配置信息。
The basic idea in this approach is to predict all reasonable spatial configurations of a mechanism using constrain spread and sign algebra.
根据模糊推理估计集成不确定边界，利用双曲正切函数代替符号函数实现软切换连续控制。
The integration uncertain border value is estimated by fuzzy inference and the soft switch control is accomplished by tanh (x) function replacing SGN (x).
本文以地图符号的视觉变量和地图要素的表示等级为依据，详细介绍了地图设计专家系统中点状符号设计的推理模型。
On the basis of the visual variables of map symbol and the represent grade of map elements, this paper introduces the inference model of point symbol design in map design Expert System.
符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.
我们把大多数注意力放在符号化的意义，以及逻辑推理上(实际上他们已经是了)。
We pay the most attention to contents as symbolized meanings with specific logical implications (which they also are).
怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。
How to get rid of this kind of dilemma? The outlet lies in correctly unveiling the structural relation of relational reasoning and symbolizing it.
本学位论文主要介绍一种用于符号几何计算、几何推理以及视化几何对象的面向几何对象语言的设计与实施。
This thesis presents the design and implementation of a geometric-object-oriented language for symbolic geometric computation, reasoning, and visualization.
目前，几何自动推理的主要方法有：基于数值计算的方法、基于符号计算的方法、基于规则的方法和基于图论的方法。
Now, the main methodology of AGD includes: numeric based method, symbol based method, rule base method and graph based method.
传递性推理的心理效应主要包括端点锚定效应、系列位置效应、符号距离效应、一致性效应、转换效应、方向效应。
MENTAL EFFECTS of transitive inference, mainly include end-anchoring effect, translation effect, directional effect, serial position effect, and symbolic distance effect.
根据苏珊·朗格的理论，艺术是一种通过非推理性符号创造出来的幻象，每一艺术形式都包含一个主要的艺术幻象和诸多由其他艺术形式渗透进来的“二级幻象”。
Langer's theory, art is an image created by non-inferential symbols. Each art form is composed of a main art image and many "secondary images" which are set-through by other art forms.
若命题符号化是错误的，则最终的推理结果必然错误。
If symbolic notation is error, it will cause mistake of result of conclusion.
人们普遍认为，高智商的人有这样一些特点：理解力强，辨别力强，逻辑推理能力强，并且在解决问题的过程中善于利用文字或数学符号。
It is generally agreed that a person of high intelligence is one who can grasp ideas readily, make distinctions, reason logically, and make use of verbal and mathematical symbol in solving problems.
数理逻辑是研究推理逻辑的，采用数学符号化的方法给出推理规则来建立推理体系。
Mathematical logic is to study the logic of reasoning, using mathematical symbols of the reasoning given way to establish rules of reasoning system.
模块化是优化本体推理的一种有效手段，提出了一种针对推理的模块提取方法，该方法通过分析符号解释域的边界与公理之间的关系计算出基于边界的模块。
The proposed module extraction method is capable of identifying relevant axioms in an ontology based on the notion of boundaries of symbols, with respect to a given reasoning task.
模块化是优化本体推理的一种有效手段，提出了一种针对推理的模块提取方法，该方法通过分析符号解释域的边界与公理之间的关系计算出基于边界的模块。
The proposed module extraction method is capable of identifying relevant axioms in an ontology based on the notion of boundaries of symbols, with respect to a given reasoning task.
应用推荐