上述例子只展示了PROLOG强大功能的冰山一角,对于某些问题,你可以用PROLOG编写出非常简洁优雅的程序。1974年大卫·沃伦(DavidWarren)编写的战机计划系统可以解决积木世界内的规划问题,只需要100行PROLOG代码[39]。如果要用Python之类的语言编写同样的系统,大概需要数千行代码以及数月的工作。此外,用PROLOG编写的程序不仅仅是程序,还是逻辑公式。因此,PROLOG程序看上去实现了麦卡锡对基于逻辑的人工智能的设想。
在20世纪70年代末到80年代初,PROLOG开始崭露头角,直到它挑战麦卡锡倍加推崇的LISP语言——人工智能黑客首选的编程语言。80年代初,PROLOG成为日本政府大规模投资的对象,被称为第五代计算机项目。当时,与美国和欧洲的经济相比,日本经济呈现蓬勃发展之势,这也让美国和欧洲政府十分担心。但同时,日本政府也有所顾虑,虽然日本工业擅长技术再开发和商业化,但在根本的创新性方面,尤其在计算机领域,它并不十分出色。第五代计算机项目旨在改变这一现状,试图确立日本全球计算机创新中心的地位,而逻辑编程是定向投资的关键技术之一。在后续的十年里,大约4亿美金被投入到第五代计算机项目中。不过,尽管它在建立日本的计算机科学基础方面发挥了重要作用,却并没有让日本的计算机产业超越美国。PROLOG也没有像逻辑编程界人士所期望的那样,成为一种通用计算机语言。
虽然PROLOG没有征服程序员的世界,但不能将它视为失败。毕竟,在世界各地,程序员每天都在愉快地使用PROLOG编写高效的程序,并感激这种语言的强大和优雅。但对我来说,PROLOG最大的贡献却是无形的:逻辑编程为计算机提供了一个全新的思路,就如何解决计算问题而言,它有着跟传统计算机完全不同的观点。一代又一代程序员因此受益匪浅。
Cyc:终极专家系统
Cyc工程可谓知识型人工智能时代最著名的实验了,Cyc工程是天才的人工智能研究员道格·莱纳特(DougLenat)的智慧结晶,莱纳特拥有卓越的科学能力、坚定不移的信心以及优秀的说服能力,让旁人能够接受他的愿景。在20世纪70年代,他凭借一系列令人印象深刻的人工智能系统崭露头角,1977年,他荣获计算机与思想奖,这是能够授予年轻人工智能科学家的最具声望的奖项。
在80年代初期,莱纳特确信“知识就是力量”理论的应用应该远远超过大家所关注的、狭义的专家系统。他确信,这个理论可以成为打开通用人工智能——人工智能的宏伟梦想的钥匙。他在1990年写下这样的话〔合著者为拉曼内森·古哈(RamanathanGuha)〕[40]:
我们不相信任何通往智能的捷径,世界上不存在尚未被发现的麦克斯韦思想方程式之类的通解……任何强大的思维体都无可避免地需要大量知识。我们所说的知识,不是指枯燥的、专业领域内的知识;更确切地说,是现实世界中的各种常识……它们太普通了,所以参考书里面找不到。例如:生命不可永恒,任何实体不可能同时出现在两个不同的地方,动物不喜欢承受痛苦,等等。恐怕人工智能所面临的最艰难的事实——过去34年来人工智能领域一直致力于摆脱的事实——其实是,要获取如此庞大的知识库,没有一种优雅、轻松的方式。相反,大部分工作(至少在初期)必须经过人类判断以后手工输入。
因此,在80年代中期,莱纳特和他的同事给自己立下了艰难的挑战任务,创建“包罗万象的知识库”, Cyc工程应运而生。
哦豁,小伙伴们如果觉得倾城文选不错,记得收藏网址 或推荐给朋友哦~拜托啦 (>.<)
传送门: 人工智能全传 人工智能全传 电子书 人工智能全传下载