使用引理的锁语义归结原理——LI-归结原理

为了改进对于一阶逻辑中子句集是完备的2型IDI-归结原理的一个缺点,即在IDI归结中,只对其中一个亲本子句的归结文字有所限制,对另一个亲本子句的归结文字没有任何限制,本文提出了锁语义归结,简称LI-归结。即在这种语义归结原理中,象锁归结过程一样,每一次归结的两个亲本子句中的归结文字,都是该子句中有最小锁的文字,并证明了以一种固定的配锁方法,LI-归结原理对于一阶逻辑中的子句集是完备的。 使用引理的概念,将LI-演绎进行线性整理,从而引进了TLI-演绎的概念。     

布尔算子模糊逻辑中的广义半锁归结原理

大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁,限制某此子旬间的归结以减少无用子句的产生,从而能够提高归结方法的效率。在布尔算子模糊逻辑中,当相同谓词符号配相同锁时,广义锁归结方法是广义完备的。如果对配锁方式不加任何限制,则广义半锁归结方法是广义完备的。     

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。     

直觉模糊逻辑中的归结原理

在模糊逻辑归结原理的基础上，用（０，１）中的两个实数表示一个命题“真的程度”和“假的程度”，从而提出了直觉模糊逻辑，本文提出直觉模糊逻辑的归结原理，并证明其完备性。     

格值一阶逻辑中α-语义归结方法的相容性

为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给出了带有删除策略的α-语义归结的完备性;接着,给出了带有删除策略的α-语义归结算法,并证明了该算法的可靠性和完备性;通过实例说明了该算法的可行性.     

格值命题逻辑LP(X)中的语义归结方法

为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。     

一种算子模糊逻辑系统

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法．     

上下文相关模糊逻辑系统及其归结方法

提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统 ,该逻辑系统中命题的真值是不惟一的 ,它依赖于可能世界W中的个体 .文中还定义了逻辑联结词的运算和公式的语义模型 .最后研究该逻辑系统中的归结方法 .     

一种扩展的模糊描述逻辑

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

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

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

模糊限制语与礼貌原则

模糊限制语是把事物界定得更模模糊糊的词语。按其功能可把其分为变动型模糊限制语及缓和型模糊限制语两大类,前者属语义范畴,后者属语用范畴。两类模糊限制语在对话中根据上下文需要往往用来对模糊词进行修饰,使话语更得体,更符合礼貌原则。本文主要通过对狄更斯小说《远大前程》中的一段对话的分析,对上述观点进行阐述,并说明模糊限制语在人物性格刻画方面的独特功效。     

多Agent模糊概率信念逻辑

在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1）。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,从而建立多Agent模糊概率信念逻辑。在该逻辑中,给出多Agent模糊概率信念逻辑的语法和语义,并且证明了该逻辑系统的可靠性。     

模糊限制语与礼貌原则

模糊限制语是把事物界定得更模模糊糊的词语。按其功能可把其发为变动型模糊限制及缓和型模糊限制语两大类，前者属语义范畴，，两类模糊限制词在对话中根据上下文需要往往用来对模糊词进行修饰，使话语得体，更符合礼貌原则，本文主要通过狄更斯小说《远大前程》中的一段对话的分析，对上述观点进行阐述，并说明模糊限制语在人物性格刻画方面的独特功效。     

一种基于区间模糊理论的描述逻辑系统

为了使描述逻辑具有处理模糊信息的能力,Straccia给出了基于单值的模糊描述逻辑处理方法.在该方法的基础上,给出了基于区间模糊理论的描述逻辑系统,讨论了其语法、语义和该系统的计算性质.结果表明基于区间模糊理论的描述逻辑系统是基于单值的模糊描述逻辑方法的泛化,在实际中具有更广泛的应用范围.     

模糊限制语多功能性的认知研究——以情态助词must为例

模糊限制语具有多义性和多重语用价值。在不同的概念域中，模糊限制语分别具有客观描述功能、认识情态功能和施为功能。情态助词must多功能性的认知分析表明，其语义功能在不同的概念域中发生了隐喻扩展。概念域视域下的模糊限制语研究为其语义功能分析提供了一个新的视角，系统地概括了模糊限制语的多功能性，揭示了不同语义功能之间的内在联系，同时对模糊限制语的教学实践也有一定的现实指导意义。     

英、汉、日语模糊限制语的对比分析:类型及语义功能

模糊性是自然语言所共有的本质属性。作为模糊语言家族中的一分子,模糊限制语是语言中最普遍、最典型的模糊语言。文章拟考察是否相关英语模糊限制语的分类标准也适合汉语、日语模糊限制语的分类,并尝试性地从语法、语义、语用的角度对汉语、日语模糊限制语进行分类。分析发现,模糊限制语在这三种语言中有着共同的语义功能。     

布尔算子模糊逻辑中的删除策略

大量冗余子句的产生是导致归结方法低效率的根本原因。在布尔算子模糊逻辑中施行归结时，使用删除策略能够在水平浸透的过程中减少无用子句的产生，并且不牺牲归结的广义完备性，从而更快地示得子句集的恒假水平。     

归结策略的推理能力和复杂度

为了对基于归结原理的各种归结策略进行性能分析,本文提出了推理能力和复杂度两个概念,并证明了:有序语义归结的推理能力强于单元归结;(2)有序线性归结的复杂度是指数级的。     

模糊了还是精确了——换个角度看限制语

限制语（hedges）,也叫模糊限制语,通常被认为是使语义更为模糊的语词,但是如果换一个角度看问题,限制语似乎不仅仅有模糊语义的功能。从语和角度来看,限制语也能够精确语义。     

自动定量证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。