5.自动定理证明
--实质是对前提P和结论Q，证明 P?Q的永真性，常采用反证法，这方面鲁宾逊（归结原理）和海伯伦是卓有   成效的。
******对于一个数学定理，给出严格的数学证明，当然是一项需要很高智能的工作，它不但需要人们具有很强的推理能力，而且需要人们有着深刻的洞察力，能够预见出证明主要定理之前，应该先证明哪些引理，做好必要的准备，最后证明主要定理。
6.自动程序设计
--自动程序设计相当于一种“超级编译程序 ”，它要求能对高级描述进行处理，通过规划过程，生成得到所需要的程序。实际上是编译程序接受一段有关于某件事情的源码说明（源程序），然后转换成一个目标程序（目的程序）去完成这件事情。
--自动程序设计研究的重大贡献之一是把程序调试的概念作为问题求解的策略来使用，产生一个不完全解—修改，比一次性得到的解就完全没有缺陷的做法通常效率高得多。
----自动程序设计含
*******程序综合—自动编程
*******程序正确性验证—理论和方法证明程序正确性，已知数据/测试
7.机器人学:始于20世纪60年代，经历了三代

*******第一代：程序控制机器人（起源于日本的造船业）
*******第二代：自适应机器人，这种机器人通过传感器获取环境，操作对象的简单信息，然后由计算机对        获得的信息进行分析、处理、控制机器人的动作。
*******第三代：智能机器人，具有感知环境的能力，配有听、视、触、嗅感觉器官，能从外部环境中获取        有关信息。
8.博弈：主要用于下棋、打牌、战争一类的竞争性智能活动。目的检验、促进人工智能的发   展。
9.人工神经网络
--是一个用大量简单处理单元经广泛连接而组成的人工网络，用来模拟大脑神经系统的结构和功能