内容正文:
人工智能的若干应用领域
1
博弈
人工智能的一大成就是开发了能够求解博弈难题的高水平下棋(如西洋跳棋、国际象棋等)程序。在棋类活动中,除了具有明显的智能外,棋盘游戏还有很多属性使其成为早期人工智能研究的对象。由于大多数游戏都有定义好的竞技规则,这样一来便可以很容易地产生要搜索的状态空间。博弈中的棋局易于在计算机中表示,不需要复杂格式的表征。状态空间搜索的大多数早期研究都是针对常见的棋盘游戏来实现的。
棋类博弈游戏软件比较多,下面以大家常见的五子棋为例,来初步体验一下人工智能技术应用。
3
2
自动定理证明
自动定理证明是人工智能最早发展起来的分支之一。自动定理证明把人证明定理的过程变成能在计算机上实现的符号演算的过程,它的研究肩负了AI早期研究中的很多任务,包括总结搜索算法以及开发标准的表示语言,例如谓词演算和逻辑编程语言Prolog。自动定理证明是利用计算机证明非数值性的结果,即确定它们的真假。许多非数值领域的任务,都可以转化成自动定理证明问题来解决。
中国科学院院士吴文俊在数学机械化等研究领域取得了突出的成就,1997年获得“Herbrand自动推理杰出成就奖”,2000年获得首届“国家最高科学技术奖”。
中国科学数学机械化重点实验室推出了数学机械化与自动推理的软件工作平台MMP。
5
3
机器人和智能机器人
机器人是一种能够模拟人的行为的机电装置,当今已经被广泛地用于日常生产和生活中,它能模拟人的触觉、视觉、听觉。机器人是种具有传感机构、作用机构和制导机构,能接受输入信号、探测环境状态并作出合适的动作反应的可编程的多功能装置。制导机构的作用是根据传感机构接收到的信号,按事先存储的规则约定或逻辑关系,对输入的信号进行运算和处理,并将处理结果传递给作用机构,以产生所需要的反应。虽然机器人的外形千变万化,但由于它都是模拟人的活动,故称机器人。
7
如果机器人具有理解推理和判断能力,则被称为智能机器人。凡是能接受外界输入的命令,能够感知和认识工作环境、工作目标及当前状态,能够自身进行推理和判断,编制工作计划,决定工作方法并能跟踪目标变化,自行调整适应工作环境的机器人都可称为智能机器人。
目前世界各先进工业国家已把机器人或智能机器人的研制和生产作为一个产业。各种具有高度机动能力、能适应复杂环境、能觉察有毒气