今天心情指数：9分
感恩
感恩
感恩
【金句】
历史的教训就是历史从来没给过人教训——黑格尔
不懂吸取教训的人注定会重蹈覆辙——丘吉尔
创新型项目是“无人地”，创新的本质就是谁都不能预知结果。
读第4章，第五代计算机的教训
【背景】1978年计算机工业按照电路工艺划分计算机的发展：第一代计算机是电子管，二代是晶体管，三代是集成电路，四代是超大规模集成电路。日本通道省决定三年后开始建造第五代计算机。首创第五代计算机，可以建立日本在全球信息产业的领导地位。
【理论基础：逻辑程序和Prolog】科瓦尔斯基，在英国爱丁堡工作的美国人。1971年发明了SL归结并证明了SL归结的完备性，SL归结就是线性归结的一种。奠定了他在定理证明界的地位，同时有机会开创了逻辑程序。
数理逻辑可分为一阶逻辑以及四大论——模型论、集合论（包括高阶逻辑）、递归论（可计算性理论）和证明论。递归论也属于逻辑，只不过科瓦尔斯基更喜欢一阶逻辑。
科莫饶尔是法国马赛大学人工智能小组的头儿，邀请科瓦尔斯基访问马赛，议论如何用SL归结做问题回答。科莫饶尔的学生卢梭老婆想到了Prolog这个名字，意为“逻辑编程”。科莫饶尔写了一本小册子《问题求解的逻辑》，1979年成书出版后成为逻辑程序设计的“圣经”。后来进一步提出“算法=逻辑+控制”的口号。Pascal发明人沃斯提出的“程序=算法+数据结构”。逻辑学家比森在评论机器定理证明时有“数学=逻辑+计算”。
逻辑是表达，计算是过程； 逻辑是几何，计算是分析。定理证明是逻辑，计算机代数 （包括几何定理证明）是计算。
1975年，科瓦尔斯基带着几位弟子跳槽到了伦敦的帝国理工学院，把那搞成了逻辑程序设计的大本营。日本五代机计划决定以Prolog 为基础后，科瓦尔斯基一下成了关注的焦点，他也顺水推舟为后来的日本五代机添油加醋。
【五代机计划和五代机研究所】日本通产省（MITI）大概相当于中国原来的信息产业部，外加科技部加中科院，2001年重组为经济产业省（METI），相当于中国现在的工信部。通产省决定了日本的科技和工业政策，同时还起着翻译与中介的作用。
日本MITI对五代机的自信来自DRAM存储芯片的成功。20世纪70年代，日本半导体工业在MITI的协同下，组织了业界协会，在很短的时间内，DRAM研发全面赶超美国，在计算机硬件制造方面由此对美国构成威胁，要在整个IT领域设立自己的标准。
【并发Prolog】计算机科学的进步主要由两件事驱动：机器太慢，写程序太慢。在半导体技术约束下，提高机器速度的唯一办法是并行处理，Prolog是高级语言，表达效率肯定要比过程语言更高。
【美国和欧洲对日本五代机计划的反应】20世纪50年代，美国在苏联卫星上天的压力下，大力投资科技和教育。20世纪80年代，日本在制造业和集成电路大举超越美国时，大家再次反思美国的教育，认为应该向日本学习。
2015年英国政府联合了5所大学（剑桥、牛津、爱丁堡、伦敦大学学院和华威大学）再次成立阿兰·图灵研究所，新的研究所坐落于大英图书馆内，定位大数据。
【结局和教训】五代机的衰落在1988年就已露出端倪。
【日本还有机会吗：日本下一代人工智能促进战略】日本总务省在2016年7月发布了“下一代人工智能促进战略”，这个新计划的目标是帮助日本克服日益严重的社会问题：人口老龄化和劳动力不足。
【来自柯言慧语的感受】
日本第五代机计划让我联想到了目前中国在人工智能发展上的崛起。
网友评论