描述了形式系统W与形式系统SW形式推理之间的关系。
The relation of inference between the formal system wand the formal system SW is also described.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
道德推理的最基本形式——在道德上相当于学会爬行——是将他人的利益与自己的利益进行权衡。
The most elementary form of moral reasoning—the ethical equivalent of learning to crawl—is to weigh others' interests against one's own.
当我们的父母、同龄人和学校老师把数词及其书面形式引入我们的认知经验时，它们改变了我们的定量推理方式。
Number words and their written forms transform our quantitative reasoning as they are introduced into our cognitive experience by our parents, peers and school teachers.
派生：派生(Derivations)描述如何通过推理或数学计算将一种形式的信息转换成另一种形式的信息。
Derivations: Derivations describe how information in one form may be transformed into information in another form through an inference or mathematical calculation.
这一推理的另一种形式。
这种推理方法同样适用于其他各种形式的公共建设。
The same reasoning applies, of course, to every other form of public work.
该部分的主要想法是社会科学推理，包括如果X，则Y形式的条件陈述。
The main idea in this section is that social scientific reasoning involves conditional statements of the form if X then Y.
激活被试的规则意识，能明显的促进推理成绩的提高，但是这种促进作用受到题目形式的影响。
Activated the consciousness of rules, the grades of the students were obviously improved, but the improvement was influenced by the form of questions.
或然性推理由于其结论不必然为真，在形式逻辑体系中一直未受到重视。
The probable inference has been ignored all the time because its conclusion is not always true.
此外，有时也运用辩证推理形式。
隐喻是一种形式的类比推理涉及分类，蕴涵和推理。
Metaphors as a form of reasoning by analogy involve categorization, entailment and inference.
文中提出了新的用于多种形式数学模型发现推理的组合模板匹配方法和误差判别切换算法。
In this paper, the new combination sample match method and error criterion switch algorithm using to discover the different form of mathematics model are presented.
法律解释的合法性结构应当是由形式理性的法律推理、“价值理性”的价值判断和交往理性的社会认同构成的完善的法律——社会过程。
The legal structure of law interpretation is a social process constituted of law inference of form rationality, value judgment of value rationality and social identity of association rationality.
许多语用学家认为语用推理无法用形式系统来刻画，只能用非形式的甚至是隐喻性的语汇来描述。
In the eyes of many, pragmatic inference has often been seen as a subject that defies formal characterizations and is describable only in non-formal, sometimes metaphorical terms.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
A computer can reason about statements in these formal languages automatically using logical inference rules.
然而，或然性推理不要求推理前提绝对真实可靠，也不要求推理形式严格有效，因此，在侦查推理中被大量运用。
However, since it is unnecessary for its premise to be absolutely credible and its inference pattern to be strictly effective, it has been used in great extent in criminal investigation.
科技翻译中常采用的推理形式主要为因果式、上下文式、类比式和隐喻式。
In EST translation the chief forms of inference employed are those of cause and effect, context, metaphor and analogy, etc.
针对概念衍生矩阵方法，给出该方法所需知识的框架表达形式，以及相应的概念推理机制。
In allusion to idea generation matrix, represents the knowledge included in the method based on frame, and proposes a correspondent mechanism of concept reasoning.
深入研究了在面向对象的环境下，专家系统中知识表达的实用形式、知识库的建立模式以及推理机制的具体实现方法；
This thesis also deeply studied knowledge expression method, the mode of establishing knowledge base, the realization method of inference mechanism under O-O environment.
二难推理的规则仅仅是保证推理形式有效的规则，并不涉及前提内容的真实与否。
The regulations of dilemma inference are merely to guarantee the efficacy of the form of dilemma inference, it doesn't relate to whether the premise content is correct or not.
以谓词的形式实时记录设计全过程，为后续自动推理模块提供接口。
Record the whole design process with predicts, supplying interfaces to automatic deduction module.
科技翻译中常采用的推理形式主要为因果式、上下文式、类比式和隐喻式。
In EST translation the chief forms of inference employed are those of cause and effect, context, metaphor and analogy, etc. and logic inference is of practicability and necessity.
逻辑学家研究意义，目的是为了寻求逻辑理论背后的基础假定，以保证推理形式的有效性。
The motive of Logicians who study meaning problem is to guarantee validity of reasoning through finding the back theories of Logics.
如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。
If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.
有两种主要形式的道德理性，有两个主要形式的推理有关。
There are two main forms of moral rationalism, associated with two major forms of reasoning.
贝叶斯方法的特点是使用概率去表示所有形式的不确定性，学习或其他形式的推理都用概率规则来实现。
The characteristic of the Bayes method is to use probability to express the uncertainty of all forms, learning and the reasoning of other forms are all realized with the rule of probability.
本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。
In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
应用推荐