人工智能第一章86.pptxVIP

Logical Foundations of Artificial Intelligence;Goal;Contents;Contents;Related Courses;Text Book References;Evaluation;Chapter 1. Introduction;Artificial Intelligence;图灵其人;图灵的一生;图灵测试(Turing Test);Turing Test ;图灵机原型;1966年的ELIZA;Parry和Eliza 的对话;如何实现？;希尔勒的中文屋子;AI的本质问题;What is Intelligence;Intellectual Ability;Definitions of AI;Goal of AI Research;AI历史回顾(1);AI历史回顾(2);AI历史回顾(3);一些成果;AI历史回顾(4); 1958: Newell和Simon的四个预测 十年内，计算机将成为世界象棋冠军 十年内，计算机将发现或证明有意义的数学定理 十年内??计算机将能谱写优美的乐曲 十年内，计算机将能实现大多数的心理学理论 ;一些成果（2）;Nim游戏是一种二人游戏，每个玩家轮流从一堆或数堆物品中将物品拿走。最后取光物品者将输掉游戏。 可以拿走1、2或3件物品。在右边实例中，由玩家1开局，亦以他的失败而结束游戏。 ;Alpha-beta剪枝算法;;AI历史回顾(5);AI历史回顾(6);AI历史回顾(7);费根鲍姆（E.Feigenbaum） ;;;AI历史回顾(8);AI历史回顾(9);AI历史回顾(10);Research Fields of AI;Problem Resolving;游戏中的代表性成就;视频游戏;视频游戏（2）;视频游戏（3）;视频游戏（4）;Automatic Theorem Proving;自动定理证明就是机器定理证明，这也是人工智能的一个重要的研究领域，也是最早的研究领域之一。定理证明是最典型的逻辑推理问题之一，它在发展人工智能方法上起过重大作用。 ;四色定理;扩展阅读;Automatic Programming;Nature Language Processing;Machine Learning;Expert System;Pattern Recognition;;指纹识别;Computer Vision;Robotics;1893年的蒸汽机器人 ;工业机器人的诞生 进入20世纪后，实用化的工业机器人相继问世。各种用途的机器人相继问世，许多梦想成为了现实 ;服务机器人-外墙清洗移动机器人;军用机器人-无人战场车;分子纳米机器人;Artificial Neural Network;Intelligent Control;Intelligent Retrieval;Intelligent Dispatching Command;KDD;;尿布与啤酒;Artificial Life;Granular Computing Group Intelligence;Ways of AI Research;人的三个层面;Symbolicism;符号主义;Connectionism; 人脑有1000亿个神经元，每个神经元平均与10000个其他神经元互连，这就构成了人类智慧的直接物质基础。 ;Actionism;人工智能的研究途径;AI中的五大基本问题;一些思考