郑逢斌 李凡 孟丹 徐扬 王艳丽 刘艳丽 邱忠媛 赵俊 林孔元 秦克云

空子句 真值指派 支持集策略 谓词演算 智能机器人 自动推理 支持集 格蕴涵代数 故障诊断 不确定命题 删除策略 人工智能技术 可能性度量 问题求解 常规逻辑 专家系统 必要性度量 一阶谓词 非链格蕴涵代数上的四值命题逻辑系统LP4（X） 子句集 反演法 概率逻辑 计算机 机器人学