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年代制作了哪些经典动画电影？
诺姆·乔姆斯基的生成文法对现代语言学产生了怎样的影响？
台湾史学界如何划分“近世”、“近代”和“现代”的历史时期？
单位脉冲响应函数在杜哈梅积分中的作用是什么？
在《007：大战皇家赌场》中，詹姆斯·邦德的主要对手勒·希弗是由哪位演员扮演的？
何雁诗因哪部电视剧与哪些演员成为了好姐妹？
南京政府为何决定解散工人纠察队？
2015年至2017年间，哪些国际知名政治家和艺术家相继去世？
什么是烂番茄，它是如何进行评分的？