孙吉贵 安直 王湘浩 朱长虹 欧阳丹彤 刘叙华 李卫华 曾宪昌 龚振和

路径数 负子句 基子句 调解法 Horn集 线性归结 锁归结 单位归结 文字 二值逻辑 算子模糊逻辑 算子Fuzzy逻辑 归结原理 零子 Fuzzy逻辑 互撞 广义归结 调解式 微型机 限定词 广义锁归结 强蕴涵 矩阵表示 线性演绎 结合算子格 支撑集 相容性问题 归结式 归结方法 单子句