数学的机械化方法

来源 :哲学研究 | 被引量 : 0次 | 上传用户:zqfr3
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 顾名思义,“人工智能”就是用人工的方法产生智能:制造出具有智能的机器、培育出具有智能的产品、驯教出具有智能的生物……。远景是如此诱人、怕人,使得它在哲学、伦理、宗教领域内都引起了巨大的反响。不过,人工智能只是一个科学部门的名称,名称不一定能如实反映它的研究内容。如果按上面所述来理解“人工智能”这四个字的话,可以说,这三十多年来,人工智能的研究成果不算太大。
其他文献
本文通过对某涡桨类飞机失速告警过早问题的分析,对失速告警工作原理,可能产生告警过早等原因进行了梳理,找到了解决告警过早的方法,同时对失速告警确定提出了建议。
为研究船舶在停车淌航时的舵效,采用MMG建模方法,将常速域和低速域数学模型相结合,建立适于港内船舶运动的数学模型,并考虑浅水、低速、漂角等因素的影响,利用MATLAB软件进行
以《左传》语料为例,考察先秦汉语的动性句与静性句。重点讨论动性句和静性句不同的表达特点,动性句和静性句各自的语用特征,动性句与静性句之间的变换关系等问题。认为从语法理
东汉时期汉语的变化很大&#183;东汉佛经在同期的语料当中最能反映当时的Iz]语.本文就佛经中出现的若干新词新义新用法以举例的方式加以说明。本文所引东汉佛经均采自日本《大
<正> 理学是儒学的完成。理学作为一种哲学形态,有一个完整的范畴系统,这个系统集中地表现了儒家传统思维的基本特征。一理学范畴系统就其基本特征而言,是人和自然界,包括主体同客体的关系问题,但就其逻辑进程而言,必须从宇宙论开始。以“理气”为中心的一组范畴,就是讲理学宇宙论和本体
目的系统评价有关癌症患者心理韧性发展的真实体验,为更好地制定心理韧性干预方案提供理论依据。方法计算机检索Cochrane Library、Medline、CINAHL、Embase、PubMed、Web of
气候变化对建筑工程的影响越来越明显,通过气候变化对建筑物室内热环境、建筑材料、建筑结构以及混凝土性能的影响介绍.分析气候变化对建筑工程作用机理,从而提出从标准、建筑材
以太阳能与半导体为基体的光催化分解水产氢技术有望同时缓解目前全球面临的能源危机和环境污染两大问题,具有十分重大的研究意义[1,2]。作为一种三元硫化物,ZnIn2S4(ZIS)拥有
为了克服传统的军校科研管理信息系统的不足,介绍了一种基于数据仓库的军校科研管理信息系统。谊系统构建在局域网内,决策者通过浏览器访问进行决策分析。该系统采用“三层加二
外甥教舅:“舅年尊,体赢力少,若为守者所得,不能自脱。更从地窟却行而入;如令见得,我力强盛,当济免舅。”舅适入窟,为守者所执。执者唤呼,诸守人捉甥不制。畏明日识,辄截舅头,出窟持归。