相关逻辑L5系统的Curry性质

本文改进了Thistlewaite, MoRobbie和Meyer的结果,证明了在命题相关逻辑LR的Gentzen型形式系统L₅中,若多重集α是L₅-可证的,则存在α的L₅-证明τ具有Curry性质,从而简化了L₅可判定性的证明。并指出:在具体的机器实现中使用Curry性质,提高了L₅证明搜索的LR的自动定理证明的剪枝效率。     

在算子Fuzzy逻辑中带有相等关系的Fuzzy推理

本文提出了处理带有相等谓词的子句集的λ-Paramodulation方法.使得在Fuzzy推理过程中可以做Fuzzy等量替换.本文证明了:λ-Paramodulation与λ-锁语义归结方法相结合是完备的.     

Boole算子Fuzzy逻辑

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

关于归结原理中的取因子问题

本文提出了约化式的概念。证明了:在归结原理中,使用约化式和二元归结式的概念,而不使用因子的概念,归结原理仍然是完备的。     

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

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