肖红 李爱中 司徒芊 安直 刘卓军 欧阳丹彤 孙吉贵 刘瑞胜 王湘浩 石生利

模糊逻辑系统 算子模糊逻辑 知识 零子 调解法 限定词 线性归结 算子Fuzzy逻辑 Horn集 归结原理 模态逻辑的自动推理 锁归结 归结式 归结推理 线性演绎 调解式 认识逻辑 算子格 归结方法 Fuzzy推理 模糊量词 文字 互撞 二值逻辑 形式化 相容性问题 完备性 广义锁归结 信念． 基子句

吉林大学 北京航空学院 吉林大学计算机科学系 吉林省计算机技术研究所