张克均 许志端 倪文丹 罗旭东 郭红 郭艺勋 苏畅 蔡晓青

人工智能方法 专家系统 程序变换 不精确推理 程序设计方法学 知识工程 自动程序设计 盛国荣 灰度 计算机代 模糊逻辑 Fuzzy-Prolog 常微分方程 初值问题 Fuzzy推理 递归程序设计 数据库 知识库 Fuzzy逻辑 解析解 冠心病

厦门大学人工智能与计算机研究所 福建厦门 厦门大学计算机科学系 厦门大学计算机与系统科学系 厦门大学计算机系