推理

We will research on aggregation inference and cardial aggregation inference.

我们将研究多级安全数据库系统属性关联集合推理问题和势集合推理问题。

When one is in his or her intuitive inference, the insula and anterior cingulated cortex are more active, and these areas are related with human social behaviors such as cooperation, trust, compassion and love; on the contrary, in rational inference, the active areas are parietal lobe and prefrontal.

人类在直觉推理时，大脑的脑岛、前扣带皮质区较活跃，这与该区连结的许多人类社会行为有关，包括合作、信任、同理心及爱情；相对的，在理性推理中，活化的区位为顶叶及前额叶。

On the base of applied tech. and system structure, the key tech. are expressed in detail. It includes:Knowledge representation technology: it is described in two stages by "Depictive frame + Rule group"."Depictive frame" is used to reflect the factors concerning question field."Rule group" reflects the son-question in question field; knowledge management system: it is made up of knowledge-base editing component, factor classifying component, knowledge inspecting component and extractive knowledge component; uncertainty reasoning adopt method of elicitation search strategy and data drive controlled by member knowledge. It take reliability of compound proof at first. That can resolve the matching contradiction. Reasoning explanation introduce pre-text and followed method of resolving path. Knowledge discovery component take SLIQ as basic arithmetic. It provides classification model in two stage forms which aim at training suit. That is decision tree and productive rule.

在确定应用技术与系统结构的基础上，重点阐述了本文的核心技术，这包括：知识表示技术，采用&描述框架+规则组&的层次结构，&描述框架&用于描述问题域所涉及的因素，&规则组&反映问题域内的子问题；知识管理系统，由知识库编辑构件、因素分类构件、知识检测构件和知识求精构件组成；不确定性推理机采用启发式搜索策略，元知识控制的数据驱动，以复合证据可信度优先作为匹配冲突消解的策略，推理解释采用预置文本与求解路径追踪的方法；知识发现，采用SLIQ快速可伸缩算法，分类模型用判定树与产生式规则两种形式描述。

For the models by MMFI is a nonlinear differential equation with variable coefficients and the 'nonlinearity' brings discommodiousness to analyse the nature and quantification of a control system, it applies brim linearization method to better MMFI. By transforming 'triangle wave' membership functions of the base elements into 'rectangle wave' membership functions, we get three models which represent different aspect respectively. By simulating second order system and analysing the errors of the results, a conclusion is drawn, that is, the model obtained by brim linearization method has a good precision in contrast with the real model.

由于模糊推理建模法得到的模型是变系数非线性微分方程，这种&非线性&对该控制系统的某些定性或定量分析带来不便，因此应用边缘线性化方法对模糊推理建模法进行改进，将基元的隶属函数由&三角波&改成&矩形波&，从而得到了三个模型，这三个模型各有侧重，通过对二阶系统进行仿真，分析仿真结果，从而给出了关于边缘线性化方法的结论，即由边缘线性化方法得到的系统模型对该系统的真实模型有较高的逼近精度。

At present, the research of function of inference is mainly consisted of connective inference and elaborative inference.

但是，研究者都忽视了日常生活中常见的另外一种推理类型，即信息精确化推理。

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.

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

Reason: no individual section in teaching material for plausible reasoning, no proper position in examinatorial outline, teacher's education concept lag behind. Supposition is almost being forgotten when we are teaching and is ignoring by student.

原因有：教材没有单独介绍合情推理的章节；考纲中没有给合情推理合适的地位，所以在教学中猜想几乎处于被遗忘的地位；学生猜想的意识被忽视。

Further, these bystanders seem to have both spatial and featural representations related to rival abilities, which they can use to make correct inferences depending on what kind of information is available to them.

这种行为对以前的传递性关系推理模型提出了质疑，它表明，这些鱼在其特定的生存和生殖条件下已经形成了鲜明的推理机制。

But either formalistic reasoning or dialectical reasoning has unique way of expression and argumentation, they also exert different systematic and politics function.

但无论是形式推理还是实质推理都有其独特的言说和论证方式，也发挥着不同的制度性功能及政治性功能。

The rapid development of standard modules and modular robots is introduced. According to the characteristics of the conceptual design of modular robots and mechanism of case-based reasoning in AI, a new methodology and CAD system, and a top-down case-based reasoning flow are s ug gested.

论文中介绍了近年来发展迅速的模块机器人的标准模块和基本拓扑关系，根据模块机器人概念化设计的特征，结合人工智能应用中基于事例的推理机制，提出了面向任务和基于事例的计算机辅助设计方法和应用软件的框架，以及实现自上而下的计算机推理的流程。

Shop assistant: Please check at the door.

店员：请您到门口柜台交费。

In the end, transportation of PAHs in the environmental matrix was preliminarily investigated and discussed according to PAHs data of soils and sediments from a certain region in Shanghai. The result indicated that there are two or more pathways on PAHs transportation in the environmental matrix.

最后，对上海特定地区内PAHs在环境介质中的迁移径途进行了分析讨论，结果表明上海市土壤和沉积物等环境介质中PAHs的迁移存在多种途径。