吉林大学研究生人工智能原理第一章

人工智能原理总结

一、人工智能简介

1.1 定理机器证明

• 1956年 Newll 和Simon 合作了逻辑程序 Logic Theorist 证明了数学定理

• 1965年 Robinson 提出了定理证明了归结方法

• 1976年 Appel 在计算机的帮助下证明了4色问题

1.2 专家系统和知识工程

• 1956年斯坦福大学生研制的DENDRAL系统，根据质谱仪推断出分子结构

• MYCIN系统，帮助医生诊断急性疾病

• 专家系统基于知识工程，即是将专家所掌握的专业知识加以整理

1.3 机器学习

• 1956年 Samuel 研制的跳棋程序

• Langley 的发现系统 根据现有的数据，能发现许多著名的数据

1.4 自然语言理解

略

1.5 感知系统

• 人在观察事物时候，事物在人眼的视网膜形成他的印象，人脑的感知系统通过对印象的分析知道是什么东西，人工智能感知系统就是试图模拟人脑的这部分功能

1.6 智能数据库系统

• 智能数据库所储存的信息不仅有简单的数字和字符串，还应该包含事实，推理规则和日常知识等，除了接受询问之外还能够回答一些需要推理才能回答的问题。

1.7 智能机器人

• 智能机器人是人工智能中视觉感知系统，问题求解系统，计划产生系统等领域的成果

二、人工智能历史回顾

• 1956年夏季，在美国的Dartmounth大学，在McCarthy ,Minsky ,Shannon,Samuel,Newell和Simon 等人的倡导下，召开了第一次人工智能讨论会，根据McCarthy 提议将这次会议称为 人工智能。

• 1969年 Slagle 研制了符号积分程序SAINT ,解决积分考试问题

• 1965年Robinson 提出归结原理，把人工智能的研究推进一大步

• 斯坦福大学研制成第一个引用领域知识的专家系统-----DENDRAL

• 1990年，在国内许多人工智能学者的倡议下，召开了第一届中国人工智能联合会（CJCAI)