20世纪50年代，王浩曾一度想回国效力，于是他从哲学转向计算机，因为计算机 ... 20世纪80年代末期出版的《人工智能手册》中有两章关于机器定理证明的内容，但取材 ...
说到人工智能，就不得不提计算机届的一个传奇人物：阿兰. 图灵博士。 1950年，图灵在《思想》（mind）杂志上发表了一篇《计算的机器和智能》的论文。 在 ...
首先，自动推论或者自动演绎(automated deduction)的历史源头可以追溯到20 世纪50 年代[9]。美国数学家Martin Davis 在1954 年编写了一个自动演绎证明程序 ...
在20世纪50年代，开发了第一个能够证明数学定理的人工智能程序的科学家是艾伦·纽厄尔（Allen Newell）和赫伯特·西蒙（Herbert A. Simon）。他们共同开发了名为“逻辑理论家”（Logic Theorist）的程序，该程序能够证明数学定理。这个程序在人工智能历史上具有重要意义，因为它标志着机器自动证明数学定理的开始。来源
杜波依斯为何在1950年代成为麦卡锡主义的目标？
迪士尼在20世纪50年代制作了哪些经典动画电影？
诺姆·乔姆斯基的生成文法对现代语言学产生了怎样的影响？
台湾史学界如何划分“近世”、“近代”和“现代”的历史时期？
《再见中国》的主要演员有哪些，这些演员在电影中的角色是什么？
郑和的船队在第一次下西洋时遇到了哪些挑战和成就？
《福星高照》是“福星”系列的第几部电影？
在18世纪的马德里活动的知名佛朗明哥舞者有哪些，他们对佛朗明哥的贡献是什么？
MEGUMI曾因交通事故而住院了多久？
圣训学中的术语研究有哪些重要内容？这些术语对理解圣训有何帮助？