布尔算子相关论文
<正>王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子......
本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Fuzzy逻辑中,并且证明了布尔算子Fuzzy逻辑的锁归结方法和一种特殊的广义锁归结......
大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁,限制某此子旬间的归结以减少无用子句的......
在布尔算子模糊逻辑中,证明了前提的不确定性在推理过程向结论传播时,恒真水平呈递增趋势,而恒假水平保持不变的特性,从而在定性的意义......
大量冗余子句的产生是导致归结方法低效率的根本原因。在布尔算子模糊逻辑中施行归结时,使用删除策略能够在水平浸透的过程中减少无......
目前人们日益广泛地使用关键词和布尔逻辑方法检索联机公共目录,出现了图书馆用户检索利用方面的一些问题:用户使用这种检索的困难程......
在基于具有某种程度的不一致性的知识进行推理的过程中,为了消除知识的不一致性,只能将这些知识看成假说,并通过对假说进行修正以重新......