王飞 刘全 伏玉琛 李未 卢延鑫 崔志明 刘大有 王松昕 林作铨 凌兴宏 龚声蓉 孙吉贵

非单调逻辑 内涵方法 逻辑性质 论证逻辑 语义 当且仅当 谓词逻辑 人工智能 外延方法 逻辑基础 超协调逻辑 知识推理 自动推理 可能世界 集合符号 基于规则 超协调性 相干逻辑 平凡性 不确定性推理 非经典逻辑 Tableau