本项目在已有工作基础上，对算子模糊逻辑及推理方法做进一步研究。使用算子显示地描述模糊命题的不确定性，将对模糊推理中对模糊命题的不一致性和不完全性的处理转化为对算子的计算过程。通过形式演绎描述和处理人类基于知识的推理形为的规律和特征。将一阶逻辑中的归结方法及其一些改进方案推广到布尔算子模糊逻辑中，通过引进公式恒真水平和恒假水平的概念，证明了其广义完备性。通过对布尔算子模糊逻辑的初步研究，还促进我们进一步修正和改进已有的算子模糊逻辑中的某些结论，对建立良好的实用定量模型的方法以做了有益的探索。我们正对布尔算子模糊逻辑做进一步的研究，有望获得实质性进展。 2100433B
