范例库上的知识发现

本文着重探讨在范例库中引入一系列可以使用的知识发现技术，以提高范例推理系统的知识获取的自动化程度，这里提出了基于范例库上的修正规则的发现技术与算法，为此进行了实验与讨论。     

超声图像的半自动分割

提出了超声图像半自动分割的一种新方法。其基本思想是通过引入一种新类型的力场和一个控制点插入策略 ,将用户交互作为一个重要因素与 B样条蛇模型的搜索过程相结合 ;并可通过交互学习 ,实时地训练蛇模型的纹理统计参数 ,达到用户满意的分割结果。算法特别适用于必须经过用户交互的连续切片的分割。实验结果证明了算法的快速性和可靠性。     

压力容器焊接坡口选择的推定系统

分析了压力容器焊接坡口设计的基本原则和影响因素 ,从主观贝叶斯方法基础上得到焊接坡口选择的不精确推理的全概率推理模型 ,建立焊接母材库、焊材库和工艺库 ,实现了计算机辅助焊接坡口选择的推定系统。通过具体实例验证推定系统的实用性及合理性 ,并运用到压力容器生产的焊接坡口的计算机辅助选择与设计中。     

基于Vague集的双向近似推理

给出了一种新的Vague集间的上似度量方法，提出了Vague集间相似方向的概念，可以用它来描述两个相似Vague集中哪个所包含的信息更精确，并给出了一个判定方法，在此基础上给出了一种基于Vague集的双向近似推理方法，该方法更好地利用了Vague集信息的精确性，从而提高了推理的精确性和适用性，为智能系统中的近似推理提供了一个十分有用的工具。     

故障诊断的模糊Petri网模型

针对故障诊断系统知识具有不稳定性和模糊性的特点，给出了Petri网的定义和故障诊断的模糊Petri网模型，并以实际故障诊断为例，说明了该模型具有直观，表达能力强和易于推理的优点。     

信息分类中的一种模糊技术

把模糊交互熵和模糊似然函数的性质应用到模式聚类中，从而为模式聚类增加了新一种方法；最后给出安德林（IRIR）数据实验对比情况。     

基于规则的非精确反向推理专家系统

专家系统是人工智能的重要应用领域,基于反向推理的产生式系统是其最有效的知识表示形式和逻辑推理的基本模型.在详细分析其基本结构的基础上,采用规则和确定性因子描述不确定性知识,提出了反向非精确推理的算法,分析了解释机制、知识获取机制的实现手段,为专家系统的设计与开发提供了重要依据.     

四值非链格值命题逻辑系统LP4(X)的归结原理

基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果，给出了LP4(X)上的归结原理，并证明了其可靠性和完备性。四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构，其上归结原理的研究为归结算法的实现提供了理论基础，从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。     

语用推理中的隐含前提补足探析

Sperber和Wilson(1986／1995)创建的关联理论解释了语言意义和语境因素的相互作用，其明示—推理模式认为语用推理实质上是填补语义表征和语境之间信息空白的过程；是加工处理新旧信息和关联信息得出会话含意的过程。文章从隐含前提补足的角度探讨了关联推理模式对话语理解的解释力，及其对教学的指导作用。     

空间方向关系推理计算的NP完全性研究

空间方向关系推理问题的NP完全性证明是基于两个重要的变换基础之上的，其中一个变换是把空间方向关系推理问题变换为一个限定满足问题，基于这种变换，空间方向关系推理问题中的变量和值域相应地变换为限定满足问题中的空间目标和方向关系限制；另一个变换是从不全等3可满足问题到方向关系限定满足问题，基于这种变换，3可满足问题实例中的变量可以变换为两个方向关系限制。为此，一个满足所有目标方向关系限制的空间结构可以建立，从而可以证明空间方向关系推理问题的NP完全性性质。