郝计奎 谢胜利 李国玉 李秀莲 盛小清 王宁 夏年喜 吴伟信 刘曼华 雷良育 周涛 张忠玉 夏天 赵秀梅 陈小平 宋继华 何卫红 周文刚 李虎雄 龚启荣 范荣强 王永顺 张燕姑 郑振峰

形式化语言 知识处理 人工智能 本体 非单调推理 超文本 人机语义 专家系统 认知论 知识库 面向对象 知识工程 启发式信息 模型 逻辑系统 模糊集合 自动推理 近似推理 XML 刻划清楚后的充分条件关系 需求功能规格说明 领域知识 建模 缺省逻辑 测试方案 关系数据库 描述性知识 面向对象的分析 形式语义学 语义网