布尔算子Fuzzy逻辑中归结的广义完备性

本文在布尔算子Ｆｕｚｚｙ逻辑中引入公式的恒假水平的概念，证明了归结原理在定性和定量这两种度量意义下的广义完备性．

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

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

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

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

布尔算子模糊逻辑中一种新的假说修正方法

在基于具有某种程度的不一致性的知识进行推理的过程中，为了消除知识的不一致性，只能将这些知识看成假说，并通过对假说进行修正以重新获得一个一致的假说．文中基于布尔算子模糊逻辑，给出了一种新的假说修正方法，这种方法能够在一定程度上更多地保留被修正知识的合理成分，以便在以后有机会得到恢复．

形式布尔算子的命题逻辑

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的 .布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性 ,将经典命题逻辑作为其特例 .

布尔算子Fuzzy逻辑中的锁归结原理

本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Ｆｕｚｚｙ逻辑中，并且证明了布尔算子Ｆｕｚｚｙ逻辑的锁归结方法和一种特殊的广义锁归结方法是广义完备的。

强保持传递布尔矩阵的线性算子

该文研究强保持传递布尔矩阵的线性算子,证明了这类算子将细胞仍变为细胞(细胞是仅有一个非零元的布尔矩阵),从而必为双射.

应用布尔遗传算子求解N皇后问题

应用回溯法求解规模较大的N皇后问题时,时间开销巨大。从提出布尔遗传算子角度,增强遗传算法局部搜索性能,与具有良好全局搜索性能的矩阵遗传算子组合应用,对N皇后问题求解。采用自然数和二进制互换的编码方式,应用N皇后的约束条件构造适应度函数,保证了算法的全局收敛性。通过与回溯法和相关遗传算法比较,实验证实了该方法应用于求解N皇后问题,具有良好的搜索效率和求解质量。

基于两种新型遗传算子的优化组合遗传算法

针对遗传算法中全局搜索与局部搜索之间的矛盾,应用二进制编码对搜索空间描述精细、容易位值计算的特点,从矩阵遗传算子和布尔遗传算子的角度,分别对全局搜索和局部搜索的性能进行改进,并将二者组合应用,构造基于这两种新型遗传算子的优化组合遗传算法,避免了传统遗传算法中杂交率和变异率参数的选取,保证了算法的全局收敛性。实验结果表明,该算法具有更好的整体搜索性能,对应用二进制编码遗传算法求解复杂非线性优化问题具有重要借鉴意义。

用户使用关键词和布尔逻辑方法检索联机公共目录的实践

目前人们日益广泛地使用关键词和布尔逻辑方法检索联机公共目录，出现了图书馆用户检索利用方面的一些问题：用户使用这种检索的困难程度如何？他们是否一直依靠这种检索方法而排斥其它检索方法？本文试图依据一所使用西北联机一体化总成系统的高校图书馆的实践来回答这些问题。

不确定性在推理过程中传播的行为特征

在布尔算子模糊逻辑中，证明了前提的不确定性在推理过程向结论传播时，恒真水平呈递增趋势，而恒假水平保持不变的特性．从而在定性的意义上说明了随着推理过程的深入，结论的不确定性将会越来越分明，但其可靠性不可能有根本性的提高．

基于SROIQB的语义Web服务建模和组合

提出了一种基于SROIQB的语义Web服务建模和组合方法。首先,从OWL-S所提供的原子服务和组合流程语义描述出发,详细分析了原子服务的IOPE属性与顺序、选择、乱序、条件、迭代、循环、分支和汇合等组合流程的控制结构,将原子服务的输入、输出语义视为描述逻辑的概念,将原子服务和组合流程分别建模为描述逻辑中的原子角色和布尔角色公式,基于概念和角色蕴含公理对语义Web服务的可实现性、可执行等功能语义进行刻画。其次,将本体中概念的上下位关系等价表示为描述逻辑的概念蕴含公理,在描述逻辑的框架下建立了领域本体与语义Web服务的联系,将语义Web服务的并发和顺序组合问题归结为基于描述逻辑知识库的蕴含关系判定和一致性检查等推理问题。从而在描述逻辑的框架内,对语义Web服务组合问题,提出了一种既具有足够的建模能力,又保证组合推理过程可判定的新方法。

一种求解N皇后问题的优化组合遗传算法

基于遗传算子优化组合思想,采用二进制编码方式,选择矩阵遗传算子和布尔遗传算子组合应用对N皇后问题求解,避免了常规遗传算法的杂交率和变异率选取.从N皇后问题的约束条件角度,构造适应度评价函数,保证了算法的全局收敛性.实验结果表明,本文算法具有良好的搜索效率和求解质量,运行一次在收敛代数内可以搜索到多个解,当皇后数N较大时,搜索到解的效率越明显好于常规遗传算法.

一种三角域上的C^n插值方法

用投影算子和泰勒算子的布尔和作插值算子，给出了任意三角域上的一种Ｃｎ插值方法．这种方法构造简单，逼近精度阶为Ｏ（３ｎ＋３）．

任意三角域上的C^1有理插值方法

本文描述了任意三角域上Ｃ１有理插值的一种布尔和方法．这种方法构造简单，计算方便，逼近精度为Ｏ（ｈ９），代数精度集为｛ｘｉ，ｙｊ，０≤ｉ＋ｊ≤３｝．最后给出了一个数值例子．

Boole算子Fuzzy逻辑

将算子Fuzzy逻辑建立在Boole代数上,从而提出了Boole算子Fuzzy逻辑(简称BOFL),并且在BOFL中引进了λ-归结推理方法,BOFL系统可以用于模糊知识的定性描述,并且BOFL更自然地将经典逻辑作为它的特例。

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

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

Boole算子Fuzzy逻辑中推理的形式结构

在Boole算子Fuzzy逻辑中引入公式的恒真水平和恒假水平的概念,讨论了不确定性推理的形式结构,并推广了开放逻辑中的认识进程理论,给出了一种描述人类在具有不确定性、不一致性和不完全性知识下推理过程的方法。这种方法能够刻划具有不确定性知识的增长和修正以及认识的进化,反映了人类在推理过程中不断修正错误和进行信念的积累,从而得到有用结论的动态特征。

Linear Operators Strongly Preserving M-P Inverses of Matrices over Some Antinegative Commutative Semirings

Let S be an antinegative commutative semiring having no zero divisions or finite general Boolean Algebra and μ(S) the set of n×n matrices over S. In this paper we characterize the structure of the senigroup n,(S) of linear operators on μn,(S) that strongly preserve the M-P inverses of matrices.

计算技术与计算机科学

【正】 Y98-61364-711 9908287稀疏型点对多点通信的转移状态的缩减=Forwardingstate reduction for sparse mode multicast communication[会,英]/Tian,J.& Neufeld,G.//1998 IEEE INFO-COM,Vol.2.—711～719(MaG)