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

人工智能方法 专家系统 程序变换 不精确推理 程序设计方法学 知识工程 自动程序设计 盛国荣

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