（共69页PPT）人工智能理论与实践第一讲.pptx

人工智能理论与实践研究员中国科学院自动化研究所2016年9月8日

?人工智能（ArtificialIntelligence，AI）是研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术与应用系统的一门新的交叉学科?目的：从人工智能的内涵、本质出发，讲解了五十多年来人工智能的研究起起伏伏，让学生们理解历史上哪些研究至今还是重要的？判断哪类研究是没有意义的?从而悟出如何开展人工智能的研究，特别是如何应用。2

课程安排1.综述?自动定理证明–2.命题逻辑与一阶谓词逻辑–3.Herbrand定理与归结原理?搜索–4.产生式系统与搜索(一)–5.产生式系统的搜索(二)–