荆继武 凌云 裴小兵 高济 李仁璞 古华茂 李安怀 张德栋 赵永升 王元珍 王勋

属性约简 合取范式 线形结构 SHOIND) 规则匹配 有向无环控制流图 分辨函数 Tableau 描述逻辑推理 布尔表达式树 可满足性 粗糙集 模糊逻辑公式 模糊集合论 Rough集 真值表 模糊变量