第一款被称为人工智能（AI）的系统可以追溯到20世纪50年代。1950年，英国数学家和计算机科学家艾伦·图灵提出了著名的“图灵测试”，作为判断机器是否具有智能的标准。然而，真正被广泛认为是第一款AI系统的是 Logic Theorist。

Logic Theorist
开发时间: 19551956年
开发者: 约翰·麦卡锡（John McCarthy）、马文·明斯基（Marvin Minsky）、纳撒尼尔·罗切斯特（Nathaniel Rochester）以及克利夫兰·克拉克（Clifford Shaw），他们都是当时AI领域的先驱。
背景: 这个程序是由达特茅斯会议（Dartmouth Conference）的组织者们在1956年的会议上设计的。这次会议被认为是现代人工智能学科的正式诞生。
功能: Logic Theorist 是一个能够证明数学定理的程序。它使用了一种基于逻辑推理的方法来解决问题，并且成功地证明了《数学原理》（Principia Mathematica）中的38个定理。
意义: 这是第一个真正意义上的AI程序，展示了机器可以通过编程模拟人类的推理过程。

其他早期的AI项目
除了 Logic Theorist，还有一些其他的早期AI项目也值得一提：
General Problem Solver (GPS): 由马文·明斯基和乔治·米勒（George Miller）等人开发，是一个更通用的问题解决工具。
Shakey the Robot: 斯坦福研究所（SRI）开发的第一个移动机器人，能够感知环境并执行简单的任务。

这些早期的尝试奠定了现代人工智能的基础，并激发了后来几十年的研究和发展。