推理模型

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.

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

Also, we give the definition of the population's states and establish the finite homogeneous Markov Chain Model of the population's states.

准确刻画了扩展相似推理学习算法中种群的状态空间，建立了扩展相似推理学习算法种群状态的齐次有限Markov链模型。

It is fitted to the intelligence interface and numerical value calculation. Through topology form and topology analysis as well as the graphical knowledge and the general network system equipment state analysis the graphic knowledge can be translated into inferable knowledge.

通过对可视化的电力系统结构图进行拓扑形成、拓扑分析及系统设备状态分析完成图形知识到计算推理所用知识的转化，从而得到既适合数值计算又适合智能推理的通用网络模型。

This paper takes advantage of interval algebra and rectangle algebra theories. and brings forward a new reasoning method based on combination of the MBR model's cardinal direction relation and rectangle algebra relation; And provides the composing method based on the direction relation matrix by using the direction relation matrix to denote the direction relations between the objects'MBRs.

本文以物体的MBR为模型，利用区间代数及矩形代数理论，提出了一种基于MBR的主方向关系与矩形代数关系相结合的推理方法；同时利用方向关系矩阵表示物体MBR之间的方向关系，得到了基于方向关系矩阵的组合推理方法。

Furthermore, we apply the learning algorithm's exact schema theory to individual programs and gain the transition matrix of this Markov Chain Model.

将扩展相似推理学习算法的精确模式定理应用到个体层次，得出了扩展相似推理学习算法种群状态Markov链模型的状态转移概率矩阵。

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快速可伸缩算法，分类模型用判定树与产生式规则两种形式描述。

This paper attempts to discuss a kind of non - exact inferences bassed on the model of possible worlds and explains their application in propositional logic and syllogism inference.

借助于可能世界模型，讨论了一类非精确推理，并将其应用于命题逻辑和三段论推理

On the basis of total analysis and summarization on basic knowledge, principle and expert experience of injection mould feed system as well as further research on the computer-aided design of injection mould feed system, according to the geometrical model of the plastic, applying technologies including feature-based modeling and identifying, RBR, CBR, oriented-object and database technology VC++ 6.0, SQL Server 2000, Object ARX, the paper conceives general structure and primary function module of the intelligent design of injection mould feed system, develops user-systemic interface, constructs knowledge rule library and case library of injection mould feed system, researches denotative method of knowledge rule library and case library, designs the ratiocinative mechanism of intelligent system design, and realize the intelligent design of injection mould feed system partly.

本文在对注塑模具浇注系统设计的基本知识与原则及专家经验全面分析总结，以及对计算机辅助浇注系统设计方法深入研究的基础上，以塑件几何模型为依据，应用基于特征的建模与识别技术、RBR和CBR推理技术、面向对象和数据库技术，以及VC++6.0、SOL Server 2000和Object ARX二次开发工具，在AutoCAD 2002平台上，构建了注塑模具浇注系统智能化设计系统的总体结构及主要功能模块，开发了系统的用户界面，建立了浇注系统设计的知识与规则库和事例库，研究了设计知识与规则和事例的表示方法，设计了智能化设计系统的推理机制，部分实现了注塑模具浇注系统的智能化设计。

Aiming at the characteristics of strong nonlinear, large delay, indeterminacy in pH neutralization in sugar mill, this paper combines fuzzy inference system with neural network and introduces an adaptive neuro-fuzzy inference system and builds the model of pH neutralization process.

针对糖厂pH中和过程具有强非线性，大滞后性，不确定性等特点，将模糊推理系统和神经网络相结合，介召了一种自适应神经模糊推理系统，并建立了pH中和过程的模型。

A kind of description logic tableaux based satisfiability reasoning algorithm for FALNUI is presented,and the correctness of the satisfiability reasoning algorithm is proved.

FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。