◇◇新语丝(www.xys.org)(xys.dxiong.com)(xys.3322.org)(xys.freedns.us)◇◇   值得怀疑的“可拓学”   Eric   比利时-鲁汶大学计算机系研究生   方先生,   你好。最近突然想起来2年前我在国内广州参加人工智能机器学习年会时, 有一个广东工业大学的蔡文教授作了关于“可拓学”的报告。当时的感觉就有点 自吹自擂的味道,记得他当时主要拿“曹冲称象”的典故在解释,又是阴阳又是 数学,作的报告又言之无物。“可拓学”到底是什么,现在好像还在搞,这是他 们的网站   http://web.gdut.edu.cn/~extenics/   “可拓学”的英文名称好像叫extenics,英文里是没有这个单词的,不知道 是其他语言还是中国人自创的。我觉得搞学术的你自创一个名词,一个方法什么 的都是可以的,但要以“学科”的概念来表示,还是要慎重一点的好,毕竟首先 要大家公认才行。   从中科院的网页上可以找到“可拓学”的报道   http://www.cas.cn/html/Dir/2004/04/19/0687.htm   引自《科学时报》。我对这份报纸了解不多,也不知道其真假。据它的介绍, “它(可拓学)用形式语言描述物、事和彼此之间的关系,把哲学上用自然语言 表示的有关规律,转化为用符号语言描述,并形成化解矛盾的形式化方法,为实 现计算机操作建立了基础理论和方法体系。”   单从这一个定义来看,我看不出它与计算机科学中的Logic & Reasoning有 什么区别。再看这一段:   “据介绍,基元理论、可拓集合理论和可拓逻辑是可拓论的三大支柱。其中, 基元理论用物元、事元和关系元表示被研究对象;可拓集合理论是在康托集合与 模糊集合之后的一项创造,它对实变函数中距离的概念加以拓展,引入描述客观 事物性质变化的关联函数,为表达矛盾问题的转化提供了定量手段;可拓逻辑则 是辩证逻辑和形式逻辑的科学集成。”   三大支柱是什么我不知道,又是集合创造,又是实变函数,又有关联函数, 又是矛盾转化定量,又是辩证与形式的集成。呵呵,看来看去还是不明白,感觉 上好像是创造了一种新的描述事物之间关系的逻辑方法,但这有必要引出一个新 的学科么,可以在经典学科框架内作扩展么,“可拓学”未免有炒作嫌疑。   反正随便看一些关于“可拓学”的文章,都会感到作者很cocky,很自豪, 将自己与牛顿、爱因斯坦相比。据网站上介绍,有学术专著(还脱销了!),还 有相关的自然科学基金项目,研究所,学术会议,论文集,博士点等等,《科学 通报》还有报道,来头很不小。   我曾尝试地去“拜读”了几篇核心论文,感觉非常吃力,作者的新概念新名 词层出不穷,信手拈来,而且见后不作任何定义解释,看完后感觉一头雾水。大 概是我的水平太低了,本人学识和时间都有限,无法对这门“新兴”的学科作深 入的研究,方先生你那里应该有搞计算机和数学的高人,可以对它作出一个较全 面的判断。我个人感觉这门“可拓学”并没有什么实质性的独创理论,至多只是 东拼西凑,把一些经典的概念改换门庭,硬塞到一个新学科的大帽子里面去。它 研究的内容很散乱,也很模糊,很多内容都与其他学科重复、交迭,如它的核心 理论无非是逻辑,又引入距离的概念,这些都是人工智能领域研究了几十年的内 容了,没有任何创新,是一门“混迹”在经典科学中的“杂牌军”。   当年在广州开会的时候就看到了几位“可拓学”的博士生,刚才又看到还有 博士论文了,看来这门学科的确吸引了不少人,但愿他们所花费的时间与精力是 值得的。   可拓学研究28年成“正果”   《科学时报》 2004年4月19日   作者:李洁尉 刘东峰   本报广州4月18日讯以中国科学院资深院士吴文俊、中国工程院院士李幼平 为正副主任的鉴定委员会,最近对广东工业大学蔡文研究员等开创的可拓学学科 给出高度评价,一致认为:经历20多年的连续研究,蔡文等人已经建立起一门横 跨哲学、数学与工程学的新学科——可拓学。它是一门由我国科学家自己建立的、 具有深远价值的原创性学科。日前,广东工业大学可拓工程研究所所长蔡文研究 员、副所长杨春燕研究员等向记者介绍了这一新学科建立的过程及其应用前景。   蔡文等人从1976年开始进行可拓学研究,期间历经种种困难。他们完成的 《可拓论及其应用研究》的专著,总结了古往今来种种矛盾现象和处理方法,经 过形式化(用符号表示)、逻辑化(可推理)和数学化(可量化),形成了一门新的学 问:可拓学。   据了解,从1988年至今,国家自然科学基金和广东省自然科学基金资助支持 蔡文开展了7个课题的研究,目前,该项研究成果已臻成熟。它用形式语言描述 物、事和彼此之间的关系,把哲学上用自然语言表示的有关规律,转化为用符号 语言描述,并形成化解矛盾的形式化方法,为实现计算机操作建立了基础理论和 方法体系。   据介绍,基元理论、可拓集合理论和可拓逻辑是可拓论的三大支柱。其中, 基元理论用物元、事元和关系元表示被研究对象;可拓集合理论是在康托集合与 模糊集合之后的一项创造,它对实变函数中距离的概念加以拓展,引入描述客观 事物性质变化的关联函数,为表达矛盾问题的转化提供了定量手段;可拓逻辑则 是辩证逻辑和形式逻辑的科学集成。   据悉,该项目为计算机帮助工程领域处理问题提供了基础理论和基础方法。 目前已经在控制与检测、人工智能与计算机、经济与管理等领域得到初步应用。 在人工智能方面,该项目建立了描述信息和知识的一种新模型,为生成解决矛盾 问题的策略提供了可操作的方法。   有关权威专家还认为,到目前为止,还没有见到国内外有人做过如此全面深 入的类似工作;此前的原创性研究工作,要么牛顿,要么爱因斯坦,少有中国人 的身影,蔡文等人的研究“值得支持、发展和奖励”。 (XYS20041106) ◇◇新语丝(www.xys.org)(xys.dxiong.com)(xys.3322.org)(xys.freedns.us)◇◇