|
在人工智能学科中，按照所研究的课题，研究的途径和采用的技术考虑，他所包括的研究领域有：
一、模式识别
二、问题求解
三、自然语言理解
四、自动定理证明
五、机器视觉
六、自动程序设计
七、专家系统
八、机器学习
九、机器人
| 时间 |
人物 |
成果 |
意义 |
| 1956年 |
美国纽厄尔、肖和西蒙 |
编制了逻辑理论机的程序系统 |
使用计算机对人的思维活动进行研究的第一次成功的探索 |
| 1956年 |
塞缪尔 |
研制了跳棋程序 |
这是模拟人类学习过程的一次卓有成效的探索 |
| 1956年 |
乔姆斯基 |
提出了一种文法的数学模型 |
可以用来研究人的思维过程 |
| 1956年 |
塞尔夫利奇 |
研制出第一个字符识别程序。1959年功能加强 |
|
| 1957年 |
纽厄尔、肖和西蒙
|
开始研究应用领域的通用问题系统（GPS）1969年公布于世 |
这是一个具有普遍意义的思维活动过程最活跃的是方法和目的的分析 |
| 1958年 |
美国数理逻辑学家王浩 |
利用计算机证明了数学定理220多条，谓词演算定理150条 |
|
| 1960年 |
麦卡锡 |
研制出表处理语言LISP |
在人工智能的各个领域的带广泛应用 |
| 1961年 |
明斯基 |
发表了“走向人工智能的步骤”的论文 |
对当时人工智能起着推动作用 |
| 1964年 |
鲁宾逊 |
提出了归结原理 |
标志着人工智能的机器证明这个分支的开始 |
人工智能的进展
| 987年5月 |
在麻省理工学院召开了专题讨论会
|
人工智能学术界的代表人物 |
阐明了各自对人工智能基础的观点 |
| 1987年 |
McDermott |
“computational
Interlligence“ 杂志发表了“纯粹理论批判”的论文 |
自此人工智能的几次学术会议都由关于非单调推理背景的常识表示和推理的辩论 |
| 1991年 |
|
著名杂志“ai”发表了人工智能基础专辑，并就人工智能有关方面的基础性假设进行了辩论。 |
这场辩论本身就是对人工智能基础理论发展的一种促进。 |
|
