韩毅 隋云云 高翔 邱文 陈子阳 孟艳平 于西昌 谷文祥 殷明浩 颜玲 毋红军 张兴芳 张靖波 钟珞 肖卫东 刘国华 唐九阳 刘兴文 李德胜 张文 赵法信 马宗民 胡艳丽 张安英 王荣江 李正朝 左卫兵 郝忠孝 曾文飞 张维明

模糊信息 科学发现的逻辑 学习算法 相似度 冒泡分类 合成规则 完备性 逻辑蕴涵 反例 命题 可靠性 逻辑证明与经验证实 VFDs满意度 重构 扩展目标图 路径闭包 规划识别 语义网络 函数依赖 逻辑系统 属性文法 推论规则 CS逻辑 谓词逻辑 Timed-release公钥协议 程序段 模糊谓词逻辑 内置谓词 Vague集 赋值密度函数