Boole算子Fuzzy逻辑

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

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

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