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

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

用分层ATMS实现缺省逻辑

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

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

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

一种基于证据表达的缺省推理继承网络算法

缺省推理的继承网络算法在解决常识性推理问题时遇到了新的困难,即不确定性,本文提出了证据表达,最大熵原理和证据继承的三种技术,实现了一种基于证据表达的缺省推理继承网络算法。     

正规统计缺省扩充的证明

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

不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架,给出一种基于规则的命题逻辑缺省溯因诊断的求解方法     

带有约束的缺省逻辑

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

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

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

语义网中模糊本体的描述逻辑

为了使用语义网上的表达能力强的模糊知识来表示、推理模糊本体,我们将提出一种新的基于描述逻辑的模糊扩展,称之为带比较表达式的模糊描述逻辑（FCDLs）。FCDLs的语法和语义有标准化的定义,并且,FCDLs的公理和断言也有明确的指定。FCDLs结合模糊描述逻辑（FDLs）的模糊概念和扩展的模糊描述逻辑（EFDLs）的削减概念。因此,FCDLs可以使用语义网上的模糊知识来表示、推理模糊本体。     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

Vague ALC(D):一种基于vague集的模糊描述逻辑

针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑——vague ALC(D).介绍了用隶属度区间来表示模糊知识的vague集,给出了vague ALC(D)的语法和语义,指出了它的推理问题,同时也给出了相应的tableaux算法.vague ALC(D)能够更准确地表示和推理含有数值信息的模糊知识,增强了模糊描述逻辑的表达能力和推理能力.     

浅析《儒林外史》英译本中的"文化缺省"

本文以《儒林外史》英译本为依托,探讨了文化缺省在翻译中的重要性,对其做了分类分析,把文化缺省分为三类:待补偿型文化缺省、可植入型文化缺省和可隐去型文化缺省。并提出了处理文化缺省现象的具体途径与方法。     

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

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

面向语义Web的直觉模糊粗描述逻辑

分析了面向语义Web的直觉模糊粗描述逻辑的研究现状和存在的问题,基于(I, T)-直觉模糊粗集理论将直觉模糊描述逻辑和粗描述逻辑进行了集成,即提出了一种新的直觉模糊粗描述逻辑．针对与本体语言OWL 2等价的描述逻辑SROIQ(D),对SROIQ(D)进行了扩充,具体提出了直觉模糊粗描述逻辑IFRSROIQ(D),给出了IFRSROIQ(D)的语法、语义和性质,证明了IFRSROIQ(D)的推理问题（包括知识库可满足性、概念可满足性、概念包含、逻辑推导、ABox一致性推理等）都可以归约到基于完备格的描述逻辑L*-SROIQ(D)上对应的推理．     

利用Matlab的模糊逻辑入门

模糊逻辑意味着近似推理,信息选粒,用词计算。无论在学者中间还是在各种类型的编程员中间,模糊逻辑现在已成为热门的话题。在任何一个现实过程中,模糊总是存在的。这种模糊可能是由数据输入的判读产生的,或者是从用于描述信息属性的规则中产生的。模糊逻辑提供了一种推理结构,它使人类的推理能力能应用于基于人工知识的系统。     

基于模糊描述逻辑的CBR的事例相似性

针对用于基于事例推理(CBR)的描述逻辑不能表示和推理模糊语义知识的局限问题,将模糊描述逻辑F-SHIQ(D)引入CBR中,定义F-SHIQ(D)范式,据此表示包含模糊语义知识的CBR事例,提出同时考虑事例描述概念和隶属度相似性的事例相似性方法,并与现有基于描述逻辑的CBR进行对比。结果表明,在包含模糊语义信息的领域,基于F-SHIQ(D)的CBR能提升事例表示和事例相似性度量的准确性,有助于提高事例检索效率。     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。     

描述逻辑研究进展

介绍了描述逻辑系统的结构,对基本的描述逻辑语言以及推理机制进行了描述。重点概述了描述逻辑的动态扩展、模糊以及概率扩展的研究状况,并根据其应用领域对描述逻辑的研究趋势及其更新进展进行了介绍。     

动词及其论元的缺省与求解

本文从动词逻辑配价的角度讨论了动词及其逻辑论元的缺省现象以及它们的求解问题,提出了6条求解规则VR1-4和AR1-2.这有助于解决中文信息处理中的语义问题.     

动词及其论元的缺省与求解

本文从动词逻辑配价的角度讨论了动词及其逻辑论元的缺省现象以及它们的求解问题,提出了6条求解规则:VR1-4和AR1-2。这有助于解决中文信息处理中的语义问题。