Boole算子Fuzzy逻辑中的广义归结原理

王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子句集上.从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性.我们在文献[2]中提出了Boole算子Fuzzy逻辑(以下简称BOFL),同时将归结方法简洁自然地引入BOFL.在BOFL中,一般地,对任意给定的公式G,可以将G转化成形如{λ_1,…,λ_m,λ_(m+1)∨C_1,…,λ_(m+n)∨C_n}的子句集S,其中λ_1,…,λ(m+n)是Fuzzy算子,C_1,…,C_n是不含Fuzzy算子的普通形式的子句,则对于任意的Fuzzy算子λ,公式G是λ-恒假的当且仅当子句集S是λ-恒假的.在将归     

Horn集上的输入半锁归结原理

归结原理是1965年由Robinson提出的一种重要的定理机器证明方法。1970年,Loveland和Luckham提出了线性归结,这是对归结原理的重要改进。一种特殊的线性归结——输入归结在计算机上极易实现。可惜,输入归结是不完备的。1974年Henschen和Wos研究了一种特殊子句集,即所谓Horn子句集。输入归结对于Horn集是完备的。1981年,陆汝铃对Horn集上的正单项有序归结和有序输入归结进行了研究,并得到很好的结果。     

自动定理证明中含有等词的Horn集上的输入半锁反驳

本文的主要结果是文献[1]的推广。 众所周知,等词(equality)由于它的自反性、对称性、可传性以及替换性,它在谓词演算中有着特殊的地位。这样的特殊性也反映在自动定理证明中,一个含有等词的E不可满足子句集,在各种反驳策略中,除了使用归结原理(resolution)以外,还必须使用调解(paramodulation)这一推理规则。尽管如此,我们仍然可以把不含等词的不可满足子句集上的许多性质和证明技术,推广到含有等词的不可满足子句集上去。例如在文献[2]的第八章中,就有相应的输入调解、单位调解和线性调解等等。     

使用归结和调解的输入反驳与单元反驳不等价

Chang和Lee在文献[1]中给出了如下结果: 定理8.4 如果子句集S有使用归结和调解的输入反驳,则S与函数自反公理集的并集有使用归结和调解的单元反驳。     

带边紧致曲面上自同胚的不动点集

设S是一个连通紧致曲面(以下简称曲面)。一个问题是S的任一闭子集A能否作为S的某个自同胚g的不动点集以及g是否同伦于恒同映射.H.Schirmer(1971)对无边曲面证明了当A≠φ时,存在S的自同胚以A为不动点集;当A=φ时,除有不动点性质的射影平面外,存     

仿射李代数的三阶自同构

给出仿射李代数的自同构的一些性质和三阶自同构的共轭分类，并具体算出第一共轭类的不动点集。作为一个结论，得到仿射李代数的三阶自同构共轭的充要条件是其不动点集同构。     

λ-Horn集上的λ-单元锁归结

我们于1984年提出了算子Fuzzy逻辑的概念和λ-归结方法,并得到若干理论结果。从中可以看到,在实际中很大一类不确定知识和规则,可以用λ-Horn子句集描述,例如著名的专家系统MYCIN中的知识和规     

Caristi型不动点定理及应用

本文引入了关于单值映像、集值映像、映像对、映像族的一类新的Caristi型不动点定理,运用所得结果得到了关于扩张映像的一类新的不动点定理,改进或推广了文[6～9]的一些结果。     

广义线性半锁归结

文献[1,2]提出的广义归结方法,把归结方法引入到了一般的公式集(广义子句集)中,使得对问题的描述更为自然,并证明了广义线性归结和广义锁归结的完备性。文献[4]在分析了(常义)线性归结和锁归结不相容的基础上,提出了(常义)线性半锁归结方法,并证明了其完备性。广义线性归结和广义锁归结也是不相容的,为此,本文引入了广义线性半锁归结方法,并     

带对合的流形的协边类与其不动点集的协边类间的关系

一、引言 Stong在文献[1]中曾指出不动点集的协边类不能决定带对合流形的任何东西。本文讨论了带对合的流形(M~(2n-k),T)(k=1,2,3,4),其不动点集F~n为常维数的情况。主要结果是 定理 对于任意的α∈J_(2n-k)~(n-k),β∈l_n~(n-k)(k=1,2,3,4)满足x(α)=x(β),则存在(M~(2n-k),T),其不动点集为F~n,使得[M~(2n-k)]=α,[F~n]=β。     

Banach空间中集值非扩张映象的不动点定理

本文在某种边界条件下,得到两个关于Banach空间中集值非扩张映象的不动点的存在性定理。关于集值非扩张映象不动点的存在性问题有很多人讨论过(例如见引文[1—4])。但至今,对映Banach空间中具正规结构的弱紧凸集到     

关于集压缩算子的某些不动点定理

本文研究了严格集压缩算子的拓扑度计算,并给出了某些不动点定理。本文的结论,推广和改进了已知文献中的一系列结果。     

关于集值映象的几个随机不动点定理

本文讨论可分完备度量中多值映象的随机不动点定理。1.定义和符号本文处处假定(X,d)是一完备度量空间,(Ω,■)为一可测空间,■为X的一切Borel子集的σ-代数,2~x表X的一切子集的集合族,CB(X)为X的一切非空有界闭集的集合族。设     

集值非扩张映像的重合点与不动点

本文在凸度量空间中讨论了集值非扩张映像对的重合点和非扩张映像列的公共不动点的存在性问题,所得结果是单值情形的推广和发展。为叙述方便,先给出如下的定义。     

“不动点算法及其应用”国际学术讨论会在广州召开

“不动点算法及其应用”国际学术讨论会于今年9月22日至24日在广州中山大学召开.这次会议是由中山大学高等学术研究中心主办的.不动点算法专家、美国斯坦福大学运筹学系的伊夫斯(B.C.Eaves)教授作为特邀代表参加了会议,并就不动点算法的发展作了若干专题学术报告.来自国内十多所高等院校     

关于模糊语义紧致性的若干定理

较系统地分析了抽象公式集上的模糊语义及其所导出的逻辑结论算子的各种紧致性之间的关系,在适当的条件下证明了模糊语义的紧致性和逻辑紧致性分别与它所导出的逻辑结论算子的紧致性和连续性等价。又,在公式集为自由代数的情况下给出了模糊语义紧致性的一个一般性定理,证明了凡由连续函数生成的模糊语义都是紧致的。     

概率度量空间的性质与集值映象的不动点

本文研究概率度量空间的度量化及其上的集值映象的不动点的存在性问题。本文的结果改进和推广了文献[1—6]中的重要结果。     

“不用归纳的归纳证明”与相对完备性

一、引言 一等式公理集确定了一个簇,即满足该公理集的全体模型。由一阶等式逻辑的完备性,等式e在一簇上为真,当且仅当应用等式推理规则,e从相应的公理集可证。在计算机科学的许多分支中,如抽象数据类型的代数描述及代数语义等,我们关心的不是满足一等式集的全体模型,而只是某一类特定的模型,如所谓初始模型。相对于这样的语义,等式推理规则不再完     

关于映象的弱半导映象与映象方程

一、引言 本文引入映象的弱半可微、弱半导映象,并应用于研究带锥的(B)空间中的(包含凝聚映象方程等在内的)一类1集压缩映象方程 T(x)—x=θ (1)的正解(集)、相应映象的正固有值、正固有元(集)等问题。引入并使用了这类映象的不动点指数。本文改进、发展了Petryshyn、Amann、Edmunds等、Schaefer等的一系列结果。