刘观生 梅卫锋 吕震宇 夏安邦 曾文飞 宋方敏 颜玲 郭天晨 阎红灿 刘保相 郭星明 张昱 肖奚安 朱梧槚 汪时萍 林孔元 张三元 刘艳丽

本体需求 归结原理 建立模型 模态逻辑系统 故障诊断 存在量词 可能世界 问题求解 数理逻辑 模态词 支持集 布尔结构 中介命题演算 有限集构造 量词 真值表 中介谓词演算 命题 管理信息系统 关系代数 模型构造 决策支持系统 SQL 推理规则 除法 人工智能知识推理 全称量词 谓词逻辑