推理上的

On the basis of the assessed results, the predicted value of reliability is inferred by the fuzzy inference system.

在评估结果的基础上，再应用模糊推理理论对可靠性的预计值进行推理。

Deffering from others' work, the essay sets all concept, mathematical model and reasoning on relational database such that uncertain reasoning has new qualities: Subjectivity and Calculability.

本文有别于他人的研究工作是将所有的概念、数学模型及推理基于各种关系数据库上考虑，使得本文的不确定推理具有新的特点：客观性和可计算性。

On the basis of research on CBR, the application of CBR in CAFD wasintroduced in detail.

在基于实例推理技术研究的基础上，详细介绍了基于实例推理技术在CAFD 系统中的应用。

Based on the possibility theory, this paper presents an inference model which contains the classical inferences," modus ponens " and "modus tollens".

在可能性理论的基础上，提出了一种新的将经典的假言推理作为它的特例的推理模式，其推理机制是借助于基于max-min合成的矩阵积来实现的。

To overcome volatility clustering problems,an adaptive neuro-fuzzy inference system is combined with a nonlinear generalized autoregressive conditional heteroscedasticity model that is tuned by adaptive support vector regression so as to tackle the problem of time-varying conditional variance in residual errors.

针对传统的自适应模糊推理系统无法解决波动聚类现象，通过分析自适应模糊推理系统和非线性广义自回归条件方差的特性，提出了融合自适应模糊推理系统和非线性广义自回归条件方差的调谐模型。调谐模型实质是指在对ANFIS和NGARCH进行独立运行的基础上，对运行结果进行动态调谐操作，从而提高系统的预测精度。最后，结合实际的项目数据，证明调谐模型提高了传统ANFIS对于波动聚类现象的应对能力，获得较好的运行效果

On the basis of the many-valued logics tableau reasoning,an automated reasoning expansion method based on set sign is presented.

在多值逻辑Tableau推理的基础上，提出了一种基于集合符号的自动推理扩展方法。

Human-machine interface design requires significant expert knowledge and empiristic data. Supported by case-based reasoning method, a human-machine interface design and evaluation system has been proposed and built for the re-use of ergonomics design experiences.

针对人机界面设计与评价在一定程度上依赖于专家知识和以往经验的特点，将基于范例推理引入到人机界面设计中，提出了基于范例推理的人机界面设计与评价系统架构，并分析了架构的组成。

As a user, he or she can only choice rules for reasoning, can't add rules for reasoning If some new rules want be used for reasoning, the software developer must recode the software But it' impossible for users The thought is very fascinating that users can add some new rules for reasoning but the software doesn't need be recoded, not only for users, but also for the software developer This technology can make computers reasoning more powerfully, or reasoning more quickly by some new rules be used, and it can be adjusted for different teaching books, and it can become perfect itself.

让用户能够向软件添加自己所需要的推理规则而无须修改程序，对用户和开发者都是非常有吸引力的想法。这使得计算机能利用新规则或定理证明更多的题目或能更快的证明题目，并且能更好地适应不同特色的教学用书，从而使软件在自动解题方面能不断完善。从理论上说，由用户添加推理规则并非难题。但要想用起来方便，推理快捷，却不容易。

Retroduction is a model form of inference which is:□q→(pq→◇p. There are two characteristics about this logic fo...

该逻辑表达式有两个主要特征：一是推理前提在形式上保真；二是推理的结论具有或然性

The model is called the Default Logic for GCI Inference, or DLg, an adapted version of Reiters (1980) default logic and its refinements.

根据一般会话含义非单调性推理的特点，本文在Reiter的缺省逻辑理论的基础上创制了一般会话含义推理的缺省逻辑方案。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。