刘叙华 孙永强 林凯 朱长虹 陆汝占 吴茂康

文字 遗传因子 单子句 语义归结 强蕴涵 算子模糊逻辑 归结原理 定理证明 可信度估计 Fuzzy逻辑 算法 完备性 子句 PI归结 子句集 碰撞 Fuzzy推理 法的实现 超归结 谓词符号 逻辑结果 算子Fuzzy逻辑