在《分析篇》中对这些进行了更详尽的描述；在该篇中说明了为什么这些推理中一些可进入三段论而另一些却不能。
In the Analytics a more explicit description has been given of these points; it is there shown why some of these reasonings can be put into syllogisms and some cannot.
一项来自于中世纪决疑法，自下而上的研究方案指出，道德推理的核心是那些详尽描述的范例，而非原则。
On a "bottom up" alternative drawn from Medieval casuistry, it is richly described paradigm cases, not principles, that have the central role in moral reasoning.
派生：派生(Derivations)描述如何通过推理或数学计算将一种形式的信息转换成另一种形式的信息。
Derivations: Derivations describe how information in one form may be transformed into information in another form through an inference or mathematical calculation.
最后采用谓词逻辑和产生式表示法相结合的方法作为知识库中的推理规则描述方法。
At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.
许多语用学家认为语用推理无法用形式系统来刻画，只能用非形式的甚至是隐喻性的语汇来描述。
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.
由于空间问题固有的复杂性和不确定性，空间关系的描述和推理普遍采用定性方法以符合人们的空间认知行为。
Because of the complexity and uncertainty inherent in spatial space, the description and reasoning of spatial relation often use qualitative method in accordance with spatial cognition.
利用隶属度和模糊综合评判的概念和方法有效地处理了领域知识描述和诊断推理中的不确定性问题。
The concept and the method of membership and fuzzy comprehensive judgement are used to deal with the field knowledge description and the uncertain problem in diagnosing inference.
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic.
描述一种基于定性推理的网页分类方法，即通过对网页属性与样本集的相关性来得出结果。
This paper describes a novel method for Webpage classification that under qualitative reasoning, which obtains the result by attribute of Webpage and relevance of swatch.
同时利用贝叶斯网络实现概率推理，便于描述故障特征的变化及对变压器故障原因的快速分析。
At the same time, probability reasoning can be realized by BN, which can be used to describe changes of fault symptoms and analyze fault reasons of transformer.
描述逻辑系统可以提供一些典型的推理服务，例如，概念分类、概念的可满足性、概念的实现和知识的一致性检测等。
Description logic system offer a set of typical inference services, such as the classification, satisfaction and realization of concept, knowledge consistency checking, etc.
通过对设计重用和基于实例推理机制的研究，提出了基于知识产品开发过程模型重用的建模方法，并对其进行了详细描述；
Through research on design reuse and Case-Based Reasoning, modeling method based on product development process model reuse is presented and described in detail.
首次提出了采用自适应神经模糊推理系统(ANFIS)建立全局负荷模型，描述电力负荷的非线性、变结构特性。
ANFIS (Adaptive Neural Fuzzy Inference System) is first presented to obtain the global load model for describing the nonlinear characteristics of the electric load in the paper.
本文最后对现有描述语言和本体语言进行了比较，并研究了本体推理机的推导过程。
At last, the comparison of current definition language and ontology language is given and the reasoning process of the ontology reasoning system is discussed.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
A computer can reason about statements in these formal languages automatically using logical inference rules.
如果依赖文件不存在，并且未在另一个描述块中作为目标列出，则推理规则可以从具有相同基名称的另一个文件创建缺少的依赖项。
If a dependent file does not exist and is not listed as a target in another description block, an inference rule can create the missing dependent from another file with the same base name.
如果描述块后面没有紧跟命令块，NMAKE 将查找匹配的推理规则。
NMAKE looks for a matching inference rule if a description block is not followed by a commands block.
通过对裂缝中气液二相流体临界渗流现象的分析推理，建立描述这一现象的随机混合渗流数学模型。
Based on analyzing the micro critical seepage phenomena of gas-liquid two-phase flow in a single fracture, a random and compound mathematical model was constructed to describe this phenomenon.
如果描述块的目标没有依赖项或命令，推理规则可以更新目标。
If a description block's target has no dependents or commands, an inference rule can update the target.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
Results show that the conceptual design model of mechanical product based on polychromatic sets can be described and reasoned with formal method, and programmed easily.
描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
推理是多数思考的基础，也常被简单地描述成生成并传达我们对某些观点和结论的想法的过程。
Reasoning is the basis of much of our thinking. It is often described simply as the process of thinking through and communicating our reasons for holding certain views or conclusions.
本体表示语言与描述逻辑相结合，为本体推理的合理性和有效性提供了保证。
This ontology description languages and description logic had combined together, which ensured the ontology reasoning rationality and validity.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
对于智能系统中的两种推理机制，即正向规则推理和类比推理，进行了较详细的描述。
Two kinds of reasoning mechanism, the forward regular reasoning and the reasoning from analogy, are described in detail.
介绍主观贝叶斯方法数学理论，描述其在不确定性推理中的应用，给出两种求解方法。
This paper introduces the mathematics foundation of Subjective Bayes Method, describes application of reasoning under uncertainties and provides two ways to solve the uncertain question.
Cyc是一个推理引擎以及一些用CycL语言描述的陈述组成的数据库。
Cyc is an inference engine and a database of statements in a language called CycL.
基于人工智能中树图推理的思想，提出一种对复杂系统进行定性描述和推理的方法。
A method on the qualitative representation and inference of the complex systems has been proposed based on the thought of tree inference in artificial intelligence.
基于人工智能中树图推理的思想，提出一种对复杂系统进行定性描述和推理的方法。
A method on the qualitative representation and inference of the complex systems has been proposed based on the thought of tree inference in artificial intelligence.
应用推荐