从计算机科学与数学研究的角度看中介系统的发展  

作　　者：朱梧[1] 肖奚安[1] 

机构地区：[1]南京航空航天大学教授肖奚安,中国空军气象学院教授

出　　处：《自然辩证法研究》1995年第10期15-21,33,共8页Studies in Dialectics of Nature

基　　金：863智能机主题和国家基础研究"攀登计划"的资助项目

摘　　要：我们将在本文中讨论关于中介系统的下列问题：（１）中介系统目前的发展概况；（２）中介系统的哲学背景；（３）中介系统的思想原则，（４）数学研究对象的再扩充；（５）概括原则的修改问题；（６）精确性经典数学和中介数学系统之间的关系；（７）模糊数学的奠基问题；（８）中介系统在计算机科学中的应用前景。中介系统是在中介原则观点下建立起来的、并以中介逻辑演算系统为逻辑工具的一种新的数学理论系统，中介系统在数学基础理论意义下拓宽了精确性经典数学的逻辑基础与集合论基础，并在数学基础理论意义下完成了数学研究对象由精确性到模糊性的再扩充。因而中介系统是在更高的形式下包含了整个精确性经典数学及其理论基础。中介系统也解决了如何修改概括原则的历史遗留问题：即在中介系统中，既能排除历史上已出现之种种悖论，又能保留概括原则的全部内容。中介系统还为精确性经典数学和未来的不确定性数学提供了一个共同的理论基础。当前，人脑思维的秘密尚未揭开，但普遍认为，人脑思维不是离散数字式的，也不完全是简单的是与非的二值逻辑演算，思维本质上存在着过度和中介，推理过程也不是一维的和点线式的，而应该是多维的和网状式的，因而以人的智能为基础的计算机科学，就应建立在承认?

关 键 词：计算机 数字理论 中介系统 发展 

分 类 号：O1－0[理学—数学] TP301[理学—基础数学]