天才一秒记住【久久文学】地址：https://www.jjwxx.com
第二行是PROLOG中的“规则”
，表示若是X是凡人，X终有一死。
在实际中运用PROLOG，我们需要给它一个目标。
在本例中，我们需要确认艾玛是否会死亡，可以这样表示：
mortal（emma）.
这句语句的目的是向PROLOG询问“艾玛是否终有一死”
，或者用更具体的方式表述，即“你能根据已知的事实和规则推断艾玛是否终有一死吗？”
有了这个目标，PROLOG就能使用逻辑推理来证明，该语句为真[38]。
（有关PROLOG的深入了解，请参阅附录B。
）
上述例子只展示了PROLOG强大功能的冰山一角，对于某些问题，你可以用PROLOG编写出非常简洁优雅的程序。
1974年大卫·沃伦（DavidWarren）编写的战机计划系统可以解决积木世界内的规划问题，只需要1代码[39]。
如果要用Python之类的语言编写同样的系统，大概需要数千行代码以及数月的工作。
此外，用PROLOG编写的程序不仅仅是程序，还是逻辑公式。
因此，PROLOG程序看上去实现了麦卡锡对基于逻辑的人工智能的设想。
在20世纪70年代末到8开始崭露头角，直到它挑战麦卡锡倍加推崇的LISP语言——人工智能黑客首选的编程语言。
8成为日本政府大规模投资的对象，被称为第五代计算机项目。
当时，与美国和欧洲的经济相比，日本经济呈现蓬勃发展之势，这也让美国和欧洲政府十分担心。
但同时，日本政府也有所顾虑，虽然日本工业擅长技术再开发和商业化，但在根本的创新性方面，尤其在计算机领域，它并不十分出色。
第五代计算机项目旨在改变这一现状，试图确立日本全球计算机创新中心的地位，而逻辑编程是定向投资的关键技术之一。
在后续的十年里，大约4亿美金被投入到第五代计算机项目中。
不过，尽管它在建立日本的计算机科学基础方面发挥了重要作用，却并没有让日本的计算机产业超越美国。
PROLOG也没有像逻辑编程界人士所期望的那样，成为一种通用计算机语言。
虽然PROLOG没有征服程序员的世界，但不能将它视为失败。
毕竟，在世界各地，程序员每天都在愉快地使用PROLOG编写高效的程序，并感激这种语言的强大和优雅。
但对我来说，PROLOG最大的贡献却是无形的：逻辑编程为计算机提供了一个全新的思路，就如何解决计算问题而言，它有着跟传统计算机完全不同的观点。
一代又一代程序员因此受益匪浅。
Cyc：终极专家系统
Cyc工程可谓知识型人工智能时代最著名的实验了，Cyc工程是天才的人工智能研究员道格·莱纳特（DougLenat）的智慧结晶，莱纳特拥有卓越的科学能力、坚定不移的信心以及优秀的说服能力，让旁人能够接受他的愿景。
在20世纪70年代，他凭借一系列令人印象深刻的人工智能系统崭露头角，1977年，他荣获计算机与思想奖，这是能够授予年轻人工智能科学家的最具声望的奖项。
在80年代初期，莱纳特确信“知识就是力量”
理论的应用应该远远超过大家所关注的、狭义的专家系统。
他确信，这个理论可以成为打开通用人工智能——人工智能的宏伟梦想的钥匙。
他在1990年写下这样的话〔合著者为拉曼内森·古哈（RamanathanGuha）〕[40]：
我们不相信任何通往智能的捷径，世界上不存在尚未被发现的麦克斯韦思想方程式之类的通解……任何强大的思维体都无可避免地需要大量知识。
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！