自动定理证明

定理证明的实质是证明由前提 P 得到结论 Q 的永真性。
1958年，王浩证明了有关命题演算的全部定理（220条）、谓词演算中150条定理的85%。
1965年鲁宾逊（Robinson）提出了归结原理，使机器定理证明成为现实。
我国著名数学家、中国科学院吴文俊院士把几何代数化，建立了一套机器证明方法，被称为“吴方法”。

博弈

如下棋、打牌、战争等一类竞争性的智能活动称为博弈。
1956年，塞缪尔研制出跳棋程序。
为什么许多是研究下棋、打牌？

棋类游戏的计算复杂性

棋局数量
一字棋：9！
西洋跳棋：1078
国际象棋：10120
围棋：10761
国际象棋：10120
国际象棋：假设每步可以搜索一个棋局，用极限并行速度（10-104年/步）来处理，搜索一遍的全部棋局也得1016年即1亿亿年才可以算完！

国际象棋比赛

1991年8月，IBM公司研制的Deep Thought 2计算机系统与澳大利亚象棋冠军约翰森（D.Johansen）举行了一场人机对抗赛，以1：1平局告终。
1996.2.10-17 ，IBM公司的“深蓝”计算机系统与卡斯帕罗夫进行了六局比赛，号称人脑与电脑的世纪决战。卡斯帕罗夫以4：2获胜。
1997.5.3-11 深蓝再次挑战特级大师卡斯帕罗夫。
1997年5月11日凌晨4时许，美国纽约公平保险公司大厦，深蓝和卡斯帕罗夫“最后决战”正在进行。
4时50分，美联社、路透社、共同社、新华社 …：在世纪末国际象棋“人机大战”的最后一局对弈中， “深蓝”仅用了1小时轻松击败卡斯帕罗夫，以3.5比2.5的总比分赢得了最终的胜利！
此后十年，人机互有胜负，直到2006年棋王卡拉姆尼克被Deep Fritz击败，人类再也没有赢过电脑。

围棋比赛

围棋：10761
2007年台北国际发明暨技术交易展览上，第三代智能机器人DOC 现场表演下棋。

① 2016.3，AlphaGo以4:1战胜韩国棋手李世石，成为第一个击败人类职业围棋选手的电脑程序。
② 2016.12，AlphaGo身披“Master”马甲，5天内横扫中日韩棋坛，以60场连胜纪录告退。
③ 2017.5，AlphaGo在乌镇以3:0完胜柯洁。

模式识别

模式识别（pattern recognition）：研究对象描述和分类方法的学科。分析和识别的模式可以是信号、图象或者普通数据。
文字识别：邮政编码、车牌识别、汉字识别。
人脸识别：反恐、商业。
物体识别：导弹、机器人。

机器视觉

机器视觉(machine vision)或计算机视觉(computer vision)是用机器代替人眼睛进行测量和判断。
机器视觉系统是指通过图像摄取装置将被摄取的目标转换成图像信号，传送给专用的图像处理系统，根据像素分布和宽度、颜色等信息，转换成数字信号，抽取目标的特征，根据判别结果控制现场的设备动作。
机器视觉应用在半导体及电子、汽车、冶金、制药、食品饮料、印刷、包装、零配件装配及制造质量检测等。
机器视觉(machine vision)或计算机视觉(computer vision)是用机器代替人眼睛进行测量和判断。
机器视觉应用在半导体及电子、汽车、冶金、制药、食品饮料、印刷、包装、零配件装配及制造质量检测等。
文字识别：邮政编码、车牌识别、手写体识别。计算机、手机等输入。
人脸识别：反恐、商业。
物体识别：导弹、机器人。

智慧医疗

医学影像识别：基于深度学习等人工智能技术的X光、核磁、CT、超声等医疗影像多模态大数据的分析技术，提取二维或三维医疗影像隐含的疾病特征。
黑色素瘤识别：将1万张有标记的影象交给机器学习，然后让3名医生和计算机一起看另外的3000账。人的精度84%，计算机97%

自然语言理解

自然语言理解：研究如何让计算机理解人类自然语言，包括回答问题、生成摘要、翻译等。
1957年，在苏联人造卫星成功发射的刺激下,美国国家研究会大力支持对俄科技论文的计算机翻译。
人们最初以为机器翻译只要将双向词典及一些词法知识放进计算机就行了。
后来发现有时会出现十分荒谬的错误。

1966年美国顾问委员会报告：还不存在通用的科学文本机器翻译，也没有很近的实现前景。
英国、美国中断了大部分机器翻译项目的资助。

机器听觉

计算机语音输入：计算机、智能手机等的重要组成
计算机语音录入、手机语音呼叫、机器人语音控制、语音锁、机器故障诊断等。
语音识别用语音作为计算机的输入。
语音识别的主要过程：语音信号采集、预处理（预滤波、采样、预加重、端点检测）、特征参数提取、向量量化、识别。

机器翻译

现在，机器翻译已经实用化、商品化。Pilot耳机是世界上首个具备自动翻译的智能耳机，进行实时翻译。
2016年谷歌销售语音识别API，将80多种语言转换成文字。
2016年谷歌推出商业级神经系统机器翻译，准确率达86%。
Facebook使用CNN翻译速度比谷歌快9倍。
阿里研发NMT，翻译质量大幅度提升。

智能信息检索

智能信息检索系统的功能：
(1) 能理解自然语言。
(2) 具有推理能力。
(3) 系统拥有一定的常识性知识。

数据挖掘与知识发现

数据挖掘的目的是从数据库中找出有意义的模式(一组规则、聚类、决策树、依赖网络或其他方式表示的知识)。
数据挖掘过程：数据预处理、建模、模型评估及模型应用。

专家系统

1965年费根鲍姆研究小组开始研制第一个专家系统——分析化合物分子结构的DENDRAL，1968年完成并投入使用。
1971年MIT开发成功求解一些数学问题的MYCSYMA专家系统。拉特格尔大学开发的清光眼诊断与治疗的专家系统CASNET。
1972年斯坦福大学肖特里菲等人开始研制用于诊断和治疗感染性疾病的专家系统MYCIN。
1976年斯坦福研究所开始开发探矿专家系统PROSPECTOR，1980年首次实地分析华盛顿某山区地质资料，发现了一个钼矿。
1981年斯坦福大学研制成功专家系统AM，能模拟人类进行概括、抽象和归纳推理，发现某些数论的概念和定理。

自动程序设计

程序综合：用户只需要告诉计算机要“做什么”，无须说明“怎么做”，计算机就可自动实现程序的设计。
程序正确性的验证：研究出一套理论和方法，通过运用这套理论和方法就可以证明程序的正确性。
2014年2月新闻：麻省理工教授 Armando Solar-Lezama开发的一种智能化编程语言“Sketch”，可以自动填补、修正代码内容，在几毫秒内修复代码，让程序员可以忽略许多繁琐的细节。

机器人

20世纪60年代初，研制出尤尼梅特和沃莎特兰两种机器人。
机器人发展：程序控制机器人（第一代）、自适应机器人（第二代）、智能机器人（现代）。

无人驾驶

机器在感知上比人类强很多
机器比人类精力充沛
机器比人更理性

无人驾驶商业化的四个关键要素

硬件组件：摄像头、激光雷达、计算处理器等新型传感器和计算组件，发动机、车身等传统汽车组件；
软件组件：无人驾驶操作系统（感知、规划、控制以及汽车互联、数据平台接口等），高精度地图等；
整车制造：超级复杂、重资产、且利润率不高的工程；
网络：类似滴滴、Uber、Lyft这样的出行网络。

达芬奇手术机器人

这是以500年前意大利文艺复兴时期的伟大艺术家达芬奇在图纸上画的机器人雏形而设计的。
正式名称：内窥镜手术器械控制系统
技术来源：斯坦福研究院（SRI）
生产销售：直觉手术机器人公司（1995年成立）
1996、2006、2009、2014年第一、二、三、四代

广汽菲亚特白车身生产线

生产线上分布着250个机器人

组合优化问题

组合优化问题：旅行商问题、生产计划与调度、物流中的车辆调度、智能交通、通信中的路由调度、计算机网络信息调度等
NP完全问题：用目前知道的最好的方法求解，问题求解需要花费的时间是随问题规模增大以指数关系增长。

CIMS的结构与功能

智慧物流

推广射频识别（RFID）、多维条码、卫星定位、货物跟踪、电子商务等信息技术在物流行业中的应用；
加快基于物联网的物流信息平台建设，整合物流资源，实现物流政务服务和物流商务服务的一体化；
推动信息化、标准化、智能化的物流企业和物流产业发展。

人工神经网络

人工神经网络：一个用大量简单处理单元经广泛连接而组成的人工网络，用来模拟大脑神经系统的结构和功能。
神经元模型的研究（20世纪50年代中期------）
1943年，麦克洛奇和皮兹提出M-P模型，开创了人工神经网络研究。
1957年，罗森勃拉特提出感知器模型。
1969年，明斯基和佩珀特发表了《Perceptron》，对神经元模型的研究作出了悲观的论断。

机器学习的第二次浪潮：深度学习

诺贝尔医学奖获得者美国神经生物学家David Hubel和TorstenWiesel发现：
人的视觉系统的信息处理是分级的。

生成对抗网络

分布式人工智能与多智能体

分布式人工智能系统以鲁棒性作为控制系统质量的标准，并具有互操作性，即不同的异构系统在快速变化的环境中，具有交换信息和协同工作的能力。
分布式问题求解：把一个具体的求解问题划分为多个相互合作和知识共享的模块或者结点。
多智能体系统：研究各智能体之间行为的协调。

智能控制

国际知名美籍华裔科学家傅京孙（K S. Fu）在1965年首先把人工智能的启发式推理规则用于学习控制系统。
智能控制的两个显著特点：
第一，智能控制是同时具有知识表示的非数学广义世界模型和传统数学模型混合表示的控制过程。
第二，智能控制的核心在高层控制，其任务在于实际环境或过程进行组织，即决策与规划，以实现广义问题求解。
智能控制的基本类型：
（1）专家智能控制（2）模糊控制（3）神经网络控制

智能仿真

智能仿真是将AI引入仿真领域，建立智能仿真系统。
仿真是对动态模型的实验，即行为产生器在规定的实验条件下驱动模型，从而产生模型行为。仿真是在描述性知识、目的性知识及处理知识的基础上产生结论性知识。
利用AI对整个仿真过程（建模、实验运行及结果分析）进行指导，在仿真模型中引进知识表示，改善仿真模型的描述能力，为研究面向目标的建模语言打下基础，提高仿真工具面向用户、面向问题的能力，使仿真更有效地用于决策，更好地用于分析、设计及评价知识库系统。

智能CAD

智能CAD（简称ICAD）就是把人工智能技术引入计算机辅助设计领域，建立智能CAD系统。AI几乎可以应用到CAD技术的各个方面。从目前发展的趋势来看，至少有下述四个方面：
（1）设计自动化。
（2）智能交互。
（3）智能图形学。
（4）自动数据采集。

智能CAI

智能CAI就是把AI引入计算机辅助教学领域。 ICAI系统一般分成专门知识、教导策略和学生模型和自然语言的智能接口。
ICAI应具备下列智能特征：
（1）自动生成各种问题与练习。
（2）根据学生的学习情况自动选择与调整教学内容与进度。
（3）在理解教学内容的基础上自动解决问题生成解答。
（4）具有自然语言生成和理解能力。
（5）对教学内容有理解咨询能力。
（6）能诊断学生错误，分析原因并采取纠正措施。
（7）能评价学生的学习行为。
（8）能不断地在教学中改善教学策略。

智能管理与智能决策

智能管理就是把人工智能技术引入管理领域，建立智能管理系统，研究如何提高计算机管理系统的智能水平，以及智能管理系统的设计理论、方法与实现技术。
智能决策就是把人工智能技术引入决策过程，建立智能决策支持系统。
智能决策支持系统是由传统决策支持系统再加上相应的智能部件就构成了智能决策支持系统。
智能部件可以是专家系统模式、知识库模式等。

智能多媒体系统

多媒体计算机系统就是能综合处理文字、图形、图像和声音等多种媒体信息的计算机系统。
智能多媒体就是将人工智能技术引入多媒体系统，使其功能和性能得到进一步发展和提高。
多媒体技术与人工智能所研究的机器感知、机器理解等技术不谋而合。人工智能的计算机视听觉、语音识别与理解、语音对译、信息智能压缩等技术运用于多媒体系统，将会使现在的多媒体系统产生质的飞跃。

智能操作系统

智能操作系统的基本模型：以智能机为基础，能支撑外层的AI应用程序，实现多用户的知识处理和并行推理。
智能操作系统三大特点：
并行性：支持多用户、多进程，同时进行逻辑推理等;
分布性：把计算机硬件和软件资源分散而又有联系地组织起来，能支持局域网和远程网处理;
智能性：一是操作系统处理的是知识对象，具有并行推理功能，支持智能应用程序运行;二是操作系统的绝大部分程序使用AI程序编制，充分利用硬件并行推理功能;三是具有较高智能程序的自动管理维护功能，如故障的监控分析等，帮助维护人员决策。

智能计算机系统

智能计算机系统就是人们正在研制的新一代计算机系统。
智能计算机系统从基本元件到体系结构，从处理对象到编程语言，从使用方法到应用范围，同当前的诺依曼型计算机相比，都有质的飞跃和提高，它将全面支持智能应用开发，且自身就具有智能。

智能通信

智能通信就是把人工智能技术引入通信领域，建立智能通信系统。
智能通信就是在通信系统的各个层次和环节上实现智能化。例如在通信网的构建、网管与网控、转接、信息传输与转换等环节，都可实现智能化。这样，网络就可运行在最佳状态，具有自适应、自组织、自学习、自修复等功能。

智能网络系统

智能网络系统就是将人工智能技术引入计算机网络系统。如在网络构建、网络管理与控制、信息检索与转换、人机接口等环节，运用AI的技术与成果。
AI的专家系统、模糊技术和神经网络技术可用于网络的连接接纳控制、业务量管制、业务量预测、资源动态分配、业务流量控制、动态路由选择、动态缓冲资源调度等许多方面。

人工生命

人工生命是以计算机为研究工具，模拟自然界的生命现象，生成表现自然生命系统行为特点的仿真系统。
AL是首先由计算机科学家Christopher Langton在1987年在"生成以及模拟生命系统的国际会议"上提出。
研究进化的模式和方式、人工仿生学、进化博弈、分子进化、免疫系统进化、学习等；
研究具有自治性、智能性、反应性、预动性和社会性的智能主体的形式化模型、通信方式、协作策略；
研究生物感悟的机器人、自治和自适应机器人、进化机器人、人工脑。

人工智能应用如雨后春笋

欢迎大家加我微信交流讨论（请备注csdn上添加）

人工智能的主要研究领域相关推荐

机器学习作为人工智能的一个研究领域，主要研究哪些问题？
机器学习是人工智能中一个重要的研究领域,一直受到人工智能及认知心理学家们的普遍关注.一个机器学习系统一般应该有环境.学习.知识库.执行与评价四个基本部分组成. 关于机器学习的研究,可以追溯到20世纪5 ...
反证法在计算机领域,人工智能的基础研究领域——问题求解、逻辑推理与定理证明...
1.问题求解从人工智能初期的智力难题.棋类游戏等问题的研究中开始形成和发展起来的一大类解题技术,简称解题.解题技术主要包括问题表示.搜索和行动计划等内容.也有人对问题求解作更广泛的理解,即指为了实现 ...
计算机如何获取知识和技能实现自我完善,在人工智能中有一个研究领域，主要研究计算机如何获取知识和技能，实现自我完善，这门分支学科叫做。...
摘要: 协议在T中,人主要门主要标志地理是指.有域研究情绪调节词解法名释.究领计算机技能叫现场名词解释实验.... 协议在T中,人主要门主要标志地理是指. 工智个研霍桑在并证的存发现实验实了. 有域研 ...
研究计算机如何自动获取知识,要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。...
摘要: 要想有智有知有域研究研究自由思想和独立人格正是大学师者群体追求科学与民主在具体教育实践中的体现.一台主机的IP地址为192.168.1.10,器具器具取知子网掩码为255.255.255.0. ...
研究计算机如何自动获取知识和技能的学科,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫( )...
[多选题]T细胞对抗原的识别具有哪些特点? [判断题]热电偶法测量切削温度与热辐射法测量切削温度的原理不同 [单选题]制造费用分配以后一般情况下是否有余额? [多选题]大肠 [单选题]文中的" ...
人工智能领域计算机应用的研究与探索,人工智能的研究领域与应用领域
本文是一篇人工智能的研究领域的内容介绍,模式识别就是让电脑能够认识它周围的事物,使我们与电脑的交流更加自然与方便,让我们一起来看看具体内容吧! 人工智能是近年来引起人们很大兴趣的一个领域:它的研究目标 ...
人工智能导论第一次作业（人工智能有哪些研究途径与方法？它们的关系如何？人工智能有哪些研究内容？人工智能领域有哪些分支领域和研究方向？现在人工智能有哪些学派？它们的认知观是什么？......）
人工智能有哪些研究途径与方法?它们的关系如何? (1)研究途径与方法 "心理模拟.符号推演" 心理学派.逻辑学派和符号主义的基于"心理模拟和符号推演"的人工智能 ...
中国人工智能研究领域开拓者刘叙华教授逝世，享年84岁
大数据产业创新服务媒体 --聚焦数据 · 改变商业数据猿报道 2020年5月11日15时31分,中国著名的计算机科学家,中国人工智能研究领域的开拓者,吉林大学计算机科学系奠基人之一,吉林大学计算机科 ...
人工智能热门技术研究课题
人工智能热门技术研究课题当前人工智能在诸多行业领域已经实现了广泛应用,但在热门技术方面来看,安全性等方面依然存在一定缺陷. 用简单的"对抗性补丁"(adversarial pat ...
人工智能应用于建筑领域新前沿
https://www.toutiao.com/a6698608685549093388/ GAN生成的公寓单元,具有特定风格在本文中,我们的重点是围绕严格的平面图及其生成组织,使用生成对抗神经网络 ...

人工智能的主要研究领域