刘叙华 俞成宜 刘清 江玉珍 邓铁清 谢铉洋 朱映辉 朱长虹 金芝 谢荣传

文字 知识库维护 问题求解 人工智能 锁归结 不一致集 专家系统 知识库协调性 模糊逻辑 二值逻辑 相容性问题 归结式 子句集 Rough真值 智能系统 数学体系 线性归结 研究者 语义归结 Rough集 单子句 数理逻辑 可延伸标示语言 非单调推理 算子Rough逻辑 非确定问题 互撞