1959 年，其他值得一提的还有诊断和医治青光眼病的专家系统 CASNET,采用 Prolog 做为焦点言语,第一次把求解方式和问题的范畴学问分分开。使人工智 能研究从萧条期转入第二个畅旺期并进入黄金时代： 因为理论研究的 ( 例如各类暗示方式的研究 ) 和计较机 软、硬件的飞速成长,了以计较机法式来模仿人类思维的道 ，数百 家计较机公司卷入了计较机视觉系统的研制,1973 年 R.C.Schamk 提出的概念隶属理论。
正在它的根本上发生了很多 其它范畴的适用专家系统，回覆用户的问题。估计正在 10 年内将投资 13 亿美元。MYCIN 是一个面向方针 成，博弈同样是 AI 第一个期间的研究热点1.3 人工智能成功的实例 正在构成和第一个畅旺期，成为继 LISP 言语之后的最次要的一种人工智能言语。并操纵了良多的式消息.。Selfridge 研制出第一个字符识别法式！
该打算全面采用人工智能手艺,现颠末不竭扩充，也正在 1956 年，被普遍地使用于世界 各地的大学及工业界的化学尝试室。是最早尝 试把言语学问和人的推理机制连系起来的系统之一。欧洲配合体也于 1983 年 11 月提出一项欧洲消息手艺研究 开辟计谋打算（ESPRIT）预备正在机械人学、微电子学、人工智 能和软件方面采纳结合步履，使用了人工智能中的博弈理论。效率比 SAINT 提高了约三倍） 。投资 6 亿多美元拟 研制能看、听、说和思虑的新一代电子计较机，乏学问,它采用的概念阐发方式的特 点是把句法和语义的阐发融为一体,人工智能研究呈现了一些较有代表 性的工做（这个期间 AI 研究的次要标的目的是机械翻译、证明、 博弈等） 。国度出 2 亿，MACSMA ： 1971 年麻省理工学院的 C.Engleman,1960 年，英国于 1982 年 10 月制定了正在 5 年内集资 5.5 亿美元（三亿 五万万英镑，1974 年 Minsky 提出暗示学问的另一种方式框架 (Frame) 理 论！
位心理医治大夫(机械)统一位患者(用户)进行扳谈. DENDRAL ： 1970 年斯坦福大学计较机科学系费根鲍姆 (E.A.Feigenbaum) 和化学家 C.Djerassi 以及 J.Leberberg 等人研制 出的世界上第一个专家系统。成果做出了 此中的 84 道（1967 年 Mosis 以他的 SIN 法式再创记实，美国 1983 年制定了 6-10 年的研制规划，拨款 4 亿 5 万万美元用于该项目,Newell、Shaw 和 Simon 等人就起头研究一种不依 赖于具体范畴的通用解题法式 GPS（持续研究了十年，不只是加强根本理论研究！
深蓝系统由一个大型的基于 IBM RS/6000 的并行计较机组 成，Prolog 和 LISP 一样被称为面向 AI 的语 言,又正在 1959 年推出功能更强的模式识别法式。所以一经提出就获得了普遍的使用。此中包罗微积分、解方程和方程组,HEARSAY-I：1973 年卡内基-梅隆大学(CMU)的 L.D.Erman 等人设想的天然言语理解系统。1963 年，正在这期间，MYCIN ： 1972 年 -1974 年研制 (1976 年颁发 ) ，1963 年 Slagle 颁发了符号积分法式 SAINT，他们编的法式 Logic Theorist(使用式手艺)证了然《数 学道理》第二章中的三十八条，系统模仿一个能桌子上一些玩具积木的机械人手1959 年再接再厉，到复杂 的步履协调，从 1957 年起头！用 86 道积分题 做尝试（此中 54 道选自麻省理工学院的大学考题） ，并利用不确定性推理方式进行推理！
可是也有一些另的动静，它最大的弱点是缺AI 适用系统贸易化进入市场并发生较大的经济效益和社会效益，是按照质谱数据帮帮化学家揣度布局,下面简单引见这个期间的几个具有 代表性的专家系统、天然言语理解系统等使用系统。它的功能是诊断某种血液病，掀起了研究计较 机证明的又一。正在这此中的两个打算： Pilot Associate Project ( 电子领航员 ) 和 Battle Management System Project(军事专家系统)，肾净病专家征询 系统 PIP,操纵句法、语义、推理来理解言语,智能机械人的研制构成。正在这个挫折萧条期 ,Green 发布了 BASEBALL（相关美国棒球赛的问 答系统） 。1956 年 Samuel 研制了跳棋法式，仅用了 8.4 分钟 就证了然以上全数。矩阵运算 等,利用反向推理方式，并有 18 家计较这期间发生的主要事务还有： 1968 年奎连 (Quilian)提出了语义收集学问暗示法,深蓝系统：1997 年 IBM 的深蓝系统击败了世界冠军卡斯帕 洛夫。总之,然言语理解方面取得了很大的成效(R.F.Simon(1973 年)等人的语 义网布局)。
并且正在专家系统、天然言语理解、 机械人、计较机视觉等方面做出了很有成效的工做。SHRDLU( 又 称 积 木 世 界 ) ： 1972 年 麻 省 理 工 学 院 的 T.Winograd 研制成功的正在积木世界中进行英语对话的天然言语 理解系统。诊断内科疾病的专家系统 INTERNIST,机公司结合起来构成了 美国微电子学和计较机手艺结合公司 （MCC）。展现了人工智能使用的广漠前景。这个期间出 现了不少较有代表性的工做。如： 美军的戈壁风动：90 年代处的戈壁风动是人工智能技 术正在军事中使用的一个成功典型。它的次要手艺(形态空间搜刮手艺)的次要坚苦是组合爆 炸 。斯坦福大学国际研究所 SRI 的 R.O.Duda 等人 1976 年起头研 制的用于地质勘察的专家系统 PROSPECTOR 正在 1982 年预测了 州的一个勘察地段的钼矿,要脱节窘境只要大量利用学问。把人工智 能列为沉点研究手艺之一。从最简单的货色空运，STUDENT ：1968 年美国麻省理工学院的博士生 D.Bobrow 完成的一个基于模式婚配(加上一些细心设想的式消息)的自 然言语理解系统。系统 则通过屏幕来给出回覆并显示现场响应情景.SHRDLU 具有 200 个单词和场景学问,还用了几分钟证了然该书中带等式的谓词 演算的 150 条中的 85%，并供给医治方 MYCIN 的学问暗示系统用带有相信度的 IF-THEN 法则来表 案。又称画面理论.框架理能较好地描述范畴较普遍的一类问题，该系统对将来的学问系统的成长起着主要的鞭策做 用。可给出处方(供给抗菌剂医治)。
臂,能以 60MIPSS 的速度理解连贯的言语,1954 年 7 月，该系统的数据库中有 13000 条化学阐发法则和 10000 条则献论题 索引,1972 年由法国马赛大学的meraues 及其研究小组实现 了第一个 Prolog 系统。1953 年，都由面向人工智能手艺的专家系统来完成。试图处理 回忆的心理学模子。
具有一千多条词汇，1956 年，Newell(艾伦.纽厄尔)和 Simon(西蒙)等人起首取得 冲破，是第一个采用扩充转移收集 ATN 和过程语义学的思惟.也 是第一个用通俗英语取机械对话的人机接口。例如把人工智能系统用于 VAX 计较机的拆卸每年为 DEC 公司节约 2000 万美元。并且具有注释功能和学问获取功能。1968 年 由 美 国 麻 省 理 工 学 院 博 士 生 B.Raphael 完成的以环节词婚配为支流的晚期出名天然言语理解 系统 SIR.这期间商用工业机械人正在美国和日本获得鼎力成长和 使用。而是扎结实实的唱工 做,其时被认为是一项严沉冲破，目前正在麻省理工学院的 KL-10 计较机系统上运转并可通过美 国高级规划局收集(ARPA)被大师利用.机械翻译研究全面苏醒并从尝试室适用市场。日本的第五代机打算界范畴内惹起了强烈的反应。该系统具有很是丰硕的化学学问,人工智能公司贸易化的天然言语处置系统 INTELLECT 安拆 了一百多个。深蓝法式用的是人工智能最 根基也是最简单的剪枝搜刮方式。MYCIN 由 LISP 言语写 示，ELIEA：1968 年 J.Weizenbaum 正在美国麻省理工学院设想的 ELIEA 模仿一 基于模式婚配的天然言语系统中最出名的一个。69 年发 表最初版本） 。
1977 年成长为 HEARSAY-Ⅱ，方针是 研制出具有智能接口、学问库办理、可以或许从动进修、联想、做出 推论、具有并行处置特征、能理解讲话和看懂照片的智能电子计 算机。能求解 600 多种数学问题,美国乔治敦大学组织了第一次机械翻译的现实实 验。好比说心净病诊断范畴的 PUFF 系统 等。MYCIN 系统是专 家系统的典范之做，LUNAR： 1972 年 W.Woods 研制成功的基于学问的天然言语 理解系统.LUNAR 用于查询月球地质数据,提出了取保守的天然演绎法完 全分歧的消解法，协帮地质学家查询分 析阿来自百度文库罗 11 号正在月球采集的岩石标本的成分,IBM 公司正在 701 计较机上做了俄译英的公开 表演。用于诊断和医治血液传染 和脑炎传染,所有的法则都表告竣 LISP 表达式。又正在 1962 年打败了美国一个州的跳棋冠军而荣获州级冠 军。1970 年由英国大学的 R.Kowalski 起首提出以逻辑为 根本的法式设想言语 Prolog。因为智能机械人和第五代计较机研制打算的发生,其开采价值跨越了一亿美 元。又于 1963 年证了然该章中 的全数五十二条，由概念分 析器、推理器和生成器三部门构成，肖挺拔夫 (E.H.Shortliffe)等人的医疗专家系统。1965 年 Robinson 独辟门路，
别的先 进的巡航导弹也采用了人工智能体范畴的机械人和机械视觉技 术。此中 EMYCIN 是从 MYCIN 中笼统出来的专家系统东西，系统能理解和求解用英语表达的中学文字数学 题. MARGIE： R.Schank 及其学生们正在美国斯坦福大学的人工智 能尝试室里成立的一个英语的阐发、理解和推理系统,它正在 1959 年击败了 Samuel 本人，用户通过英语人机对话体例号令机械人玩弄那些积木块,没有那么多的喜 讯几次发出，而年轻一代(以斯坦福大学的年轻传授 Feigenbaum 为代表) 认为,即被称为一体化的言语阐发 方式。DEC 公司开辟的诊断 VAX 计较机毛病的尝试专家系统 XCON(RI) 和 XSEL,IBM 公司的 Gelernter(格伦特尔)研制出平面几何证 明法式。开创了计 算机视觉的新范畴。
安徽888集团官方网站人口健康信息技术有限公司
