结合优先级和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方面．分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法．它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性．     

用分层ATMS实现缺省逻辑

Ｒｅｌｉｅｒ的缺省逻辑存在着局限性．它无法表示缺省规则之间的优先级，无法处理缺省规则中析取，并且不满足累积性．虽然Ｂｒｅｗｋａ提出带优先级的缺省逻辑和累积缺省逻辑，但不能完全克服上述局限性．本文介绍了分层ＡＴＭＳ，然后指出用分层ＡＴＭＳ实现的缺省逻辑能克服现有缺省逻辑中的局限性．     

结合优先有和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方向。分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法,它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性。     

模糊缺省推理的理论和方法研究

在一种含有补余律的模糊抽象代数系统上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；从可应用性出发对模糊缺省规划进行了深入的讨论，该推理机制不仅增加了在量的描述方面的知识表达能力，而且在一定程度上解决了扩张存在性问题，提高了推理的效率。     

模糊缺省推理的理论和方法研究

在一种含有补余律的模糊抽象代数系统（即ＦｕｚｚｙＢｏｏｌｅ代数）上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；从可应用性出发对模糊缺省规则进行了深入的讨论。该推理机制不仅增加了在量的描述方面的知识表达能力，而且在一定程度上解决了扩张存在性问题，提高了推理的效率。     

能够表示缺省知识的模糊推理算法(Ⅰ)

本文在文献[1]提出的理论基础上,利用J.E.Baldwin的真值限定概念,提出了一组在离散隶属函数下的能够表示缺省知识的模糊推理算法。     

正规统计缺省扩充的证明

讨论了带有误差参数的统计缺省理论．引入了闭正规统计缺省概念，指出存在正规统计缺省理论没有在ε内的统计扩充，但在添加封闭性后每个正规闭统计缺省理论都有扩充．证明了半单调性和正交性等基本性质，对闭正规统计缺省理论的证明作了研究，论证了在一定条件下序列的存在性蕴涵统计扩充的存在性，给出了相容正规缺省理论扩充存在的充要条件．     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

能够表示缺省知识的模糊推理方法

模糊推理是人工智能中的一种不精确推理方法。本文采用基于max—⊙复合运算下的新的复合推理规则,在基于R_b的模糊推理框架中,利用可能性量化语句,提出了一种能够表示缺省知识的模糊推理方法,从而,提高了模糊推理表示和知识处理的能力。     

带优先级的基于论据的非单调逻辑

分析了常规非单调逻辑的局限性，通过介绍带优先级的非单调逻辑和累积缺省逻辑，指出非单调逻辑不仅需引入优先级而且须基于论据．提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理．     

模糊描述逻辑的统计缺省扩展

该文对模糊描述逻辑进行统计缺省扩展,它以模糊描述逻辑为主要框架,将模糊或不精确知识的表示与推理有机地整合在一起,通过在模糊描述逻辑中引入统计缺省推理,构建了一种同时具有TBox,ABox和统计缺省规则的知识库系统.     

异构数据联合式的真值发现算法

互联网上提供的同一事实的信息通常会存在冲突,影响数据集成和知识发现.为了甄别真值,提出了一种基于距离的异构数据联合真值发现算法.首先,关于同一数据项,基于数据源声明值与真值的距离,计算数据项向量;采用KMeans聚类算法,获得数据项初始聚类.然后,迭代进行信任分析和聚类,即在每个类簇内,采用最优化思想,联合异构类型数据,更新事实的可信度和数据源的类簇内可靠性,重新计算每个数据项向量,再次聚类,迭代直至类簇达到稳定.实验结果表明:由于细粒度的数据源质量划分,联合考虑异构数据类型,可以获得更高的真值发现准确度.     

含缺省约束的基于模型诊断方法

目前已有的诊断系统一般都默认有完备而可靠的模型，但在实际中常无法实现．因此，在目前已知的对待诊断设备的可靠描述之外．提出了可加入假设性的信息作为对无法完备模型的补充．并且这些假设采用了从规范缺省理论中的规则转化而成的公式的形式．进一步给出了在加入这些假设后的情况下，含缺省约束的基于模型的诊断、中心诊断、蕴含、蕴含式及本原蕴含等概念，证明了含缺省约束的基于模型的中心诊断与缺省本原蕴含的直接关系．并指出这种刻画即为含缺省约束的基于一致性中心诊断和中心溯因诊断的刻画的一般化情形．从而将理论与实现联系了起来。     

A nonmonotonic linguistic certainty factor model

ＡｎｏｎｍｏｎｏｔｏｎｉｃｌｉｎｇｕｉｓｔｉｃｃｅｒｔａｉｎｔｙｆａｃｔｏｒｍｏｄｅｌＱｉｕＹｕｈｕｉ￣１，ＬｕｏＸｕｄｏｎｇ￣２（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＳｏｕｔｈｗｅｓｔＣｈｉｎａＵｎｉｖｅｒｓｉｔｙ，Ｃｈｏｎｇｑ...     

基于真值限定的多条件模糊推理算法

本文依据J .F .Baldwin的真值限定概念 ,给出了在离散隶属函数下的一组基于MAX -⊙复合运算和模糊关系Rb 的多条件模糊真值推理算法。     

表示和处理缺省知识的模糊推理系统的研究

本文应用ｍａｘ－⊙复合运算下，基于模糊关系Ｒｂ的推理方法，提出能够表示和处理缺省知识的模糊推理方法、算法，并用Ｔｕｒｂｏ－ｐｒｏｌｏｇ语言，设计并实现了表示和处理缺省知识的模糊推理系统。     

文学翻译中文化缺省的补偿策略

文化缺省是指原文作者与其意向读者交流双方所共有的相关文化背景知识的省略。翻译是一种跨语言、跨文化的交际活动,原文作者与译文读者之间存在文化背景和思维方式的差异,文学作品的文化缺省会造成文化信息损失,因此,译者在翻译过程中需要进行适当的补偿。本文结合夏延德教授和柯平教授的翻译补偿策略,从注释法、增益法、释义法和归化法等手段来分析文学翻译中文化缺省的翻译补偿策略。     

假设检验中原假设与备择假设的关系

本文研究了在单边假设检验中原假设和备择假设的选取问题,对原假设和备择假设交换后产生不同结果一类问题解释其原因并给出相应的解决办法。