恒假水平相关论文
<正>王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子......
为了在模糊推理中求得公式为真程度的下界和上界,算子模糊逻辑显示使用[0,1]区间中的实数作为算子描述模糊命题的可信程度,其公式......