《人工智能简史》 [美]尼克-20240511

上周开始算力学堂的学习，发现很多概念不清晰，且在教材内未详细展开。找本通识类的书籍，理解以下几个问题：①什么是人工智能、人工智能的本质是什么？②人工智能、深度学习、神经网络等是什么关系？③人工智能关键的技术有哪些？④结合我司的信息，对业界人工智能的发展和主流厂家的能力，做稍微系统的分析。

看到第三章，决定不再继续，这个简史基本不涉及概念和知识，反倒类似多人传记，不同的是用人工智能专题将人物故事串起来。当然也不是完全没有收益，如忽略技术的维度，从宏观的视角去看待人工智能，人工智能和各个技术的关系，类似与哲学和具体科学门类的关系。

AI这个领域聚集了哲学家、逻辑学家、数学家、计算机理论家、语言学家等。犹如作者所说：“意义上 AI 有点像哲学：由此衍生出很多问题，而对这些问题的解决产生出许多子学科；一旦这些子学科独立，就不再待见 AI 了。”

哲学曾经孕育了科学，但一旦问题被确定，就分离成为单独的科学。最新的例子是逻辑学，现在的逻辑学家都在数学系和计算机系，哲学系被彻底空洞化。哲学家丹尼特（ Daniel Dennett）曾说： AI就是哲学。按照明斯基的说法，人工智能就是先锋派的计算机科学。 MAC项目孕育了计算机科学中很多原创的概念。

美国国防高级研究计划局（Defense Advanced Research Projects Agency），简称DARPA，是美国国防部属下的一个行政机构，负责研发用于军事用途的高新科技。成立于1958年，当时的名称是“高等研究计划局”（Advanced Research Projects Agency，简称ARPA），1972年3月改名为DARPA，但在1993年2月改回原名ARPA，至1996年3月再次改名为DARPA。其总部位于弗吉尼亚州阿灵顿县。

数学哲学有三大派：逻辑主义、形式主义以及直觉主义。

自动定理证明起源于逻辑，初衷就是把逻辑演算自动化。逻辑学的源头是亚里士多德的三段论。

人工智能中符号派的思想源头和理论基础就是定理证明，不懂定理证明就没法深入了解符号派。

普特南是 20世纪最有影响力的美国哲学家之一，他提出的“缸中脑”（ Brain in a Vat）是最常被引用的假想实验之一