刘吉锋 彭宏 朱兴军 黄庆彦 张立明 黄达尧 王能超 徐正权 李莹 孙吉贵 王家兵 程晓春 白洪涛 蔡致暖 黄乾 吴瑕 吕帅 徐畅 欧阳丹彤

算子模糊逻辑 调解 近似推理 布尔算子Fuzzy逻辑 扩展规则 子句 半扩展规则 SAT求解 模型检测 启发性搜索 模糊逻辑 恒假水平 定理机器证明 启发式策略 TABLEAU方法 广义归结 支持集策略 可信度 相似性关系 命题逻辑 安全协议 定理证明 可满足性问题 Fuzzy度量