达特茅斯研讨会，正式名称为达特茅斯人工智能夏季研究计划，是1956年夏季在美国新罕布什尔州汉诺威的达特茅斯学院举行的一次研究聚会。研讨会依据约翰·麦卡锡、马文·明斯基、纳撒尼尔·罗切斯特和克劳德·香农共同提出的计划组织，汇集了一批探索机器能否执行与人类智能有关的活动的研究人员。它被广泛视为人工智能成为独立研究领域的奠基事件，不过，构成这一领域的思想和实验研究计划在此前就已出现。(ojs.aaai.org)
背景与组织
研讨会源于计算、智能行为和机器数学模型等方面相互交汇的研究。1956年以前，香农已提出计算机下棋的构想，并制作了一些实验装置；明斯基则研究过神经计算。麦卡锡和香农还共同编辑了1956年出版的《自动机研究》。麦卡锡后来回忆，其中涉及他最关心的问题——如何让机器表现出智能——的文章太少。研讨会旨在将注意力直接集中于这一问题，而不是更宽泛的自动机研究。(www-formal.stanford.edu)
麦卡锡于1954年加入达特茅斯学院，并在1955年夏季到IBM公司罗切斯特的研究小组工作。在此期间，他们邀请明斯基和香农共同准备一份资助申请。四人分别代表达特茅斯学院、哈佛大学、IBM公司和贝尔电话实验室，将大学研究与工业界的计算及通信实验室联系起来。(www-formal.stanford.edu)
这份日期为1955年8月31日的计划书提出，在次年夏季开展一项为期两个月、由十名研究人员参与的研究。洛克菲勒基金会为该项目提供了7,500美元资助。区分1955年的计划书与1956年的聚会十分重要：“人工智能”一词在研讨会举行之前就已出现在计划书中。(ojs.aaai.org)
研究议程
计划书的核心猜想是，学习以及智能的其他特征，原则上都可以得到足够精确的描述，从而让机器加以模拟。计划书提议研究能够使用语言、形成抽象与概念、解决涉及人类智能的问题，以及提高自身表现的机器。这些是研究目标，而不是组织者已经验证的成果。(www-formal.stanford.edu)
拟议的研究围绕七个主题展开：自动计算机、机器使用语言、人工神经网络、计算规模、自我改进、抽象，以及随机性与创造力。关于计算规模的讨论涉及解决问题所需的资源，预示了后来与计算复杂性有关的问题。神经网络部分探讨如何组织网络，使其能够形成概念；创造力部分则考察受控的随机性能否促进创造性行为。(www-formal.stanford.edu)
因此，研究议程的范围并不限于符号人工智能。它将形式推理和语言方面的问题，与学习、神经网络的组织方式及适应性行为结合起来。其共同理念是通过机器能够实现的明确机制来研究智能，而不是指定某一种唯一的技术方法。(www-formal.stanford.edu)
参与者与工作形式
尽管通常被称为“会议”，这次聚会实际上是一次非正式的夏季研讨会，而非按照严密日程依次进行报告的会议。研究人员在不同时间到达，停留时间也各不相同。麦卡锡后来解释，原本设想的集体研究既受到经费缩减的限制，也受到参与者已有研究安排的影响。因此，研讨会并未形成一个持续协作、朝着共同商定的解决方案努力的统一团队。(www-formal.stanford.edu)
与研讨会有关的研究人员包括雷·所罗门诺夫、奥利弗·塞尔弗里奇、特伦查德·莫尔、艾伦·纽厄尔和赫伯特·西蒙。讨论在达特茅斯楼内进行。后来的回忆记述了围绕术语和问题求解方法展开的小组交流，其中包括启发式方法的含义与用途——这类方法有助于引导搜索，但并不一定保证成功。由于出席情况不断变化，与其给出一个固定的参与人数，不如明确哪些人作出了贡献，以及他们参与了多长时间。(spectrum.ieee.org)
逻辑理论家与计算推理
一项突出的贡献是纽厄尔和西蒙介绍了他们与克利夫·肖共同开发的逻辑理论家程序。该程序尝试证明命题逻辑中的命题，表明计算不仅能够执行数值运算，还能操作符号表达式。这项工作将数学证明与人类问题求解研究联系起来。(ocs.aaai.org)
该程序在搜索证明的过程中，利用启发式指导来选择有希望的步骤。纽厄尔和西蒙还介绍了用于表示公式的列表结构，以及他们开发的信息处理语言。据麦卡锡回忆，尽管他更倾向于采用另一种编程方式，这些表示方法仍给他留下了深刻印象。因此，这次报告既提供了一个能够实际运行的机器推理实例，也介绍了组织符号信息的技术。(www-formal.stanford.edu)
历史意义与文献记录
达特茅斯研讨会的重要性主要在于确立了一个明确可辨的领域名称和研究议程，而不在于用一个夏季完成了智能的一般理论。麦卡锡在回顾中区分了雄心勃勃的集体研究计划与实际较为分散的聚会。包括艾伦·图灵在内的早期研究者此前已经探索过机器智能；达特茅斯研讨会则为从事相关问题研究的学者提供了一次具有凝聚作用的聚会。(www-formal.stanford.edu)
原始计划书的档案副本保存在达特茅斯学院和斯坦福大学，并于2006年在《人工智能杂志》（AI Magazine）上重新刊载。2006年7月13日至15日，达特茅斯学院举办了五十周年纪念会议AI@50，邀请数位最初的参与者重返校园，并探讨此后的发展与未来的研究问题。这些记录和回顾性讨论既记载了研讨会的宏大目标，也反映了其组织计划与实际进程之间的差异。(ojs.aaai.org)