Page 200 - 电气控制技术与管理

电气控制技术与管理
Electrical Control Technology and Management

有自我学习的能力。
专家系统的开发与研究是人工智能研究中的一个实际应用课题，在许多领
域都得到了广泛的关注。开发的系统包括医疗、地质学、气象学、交通、教育、

军事等。目前的专家系统主要采用基于规则的归纳技术。专家系统开发的主要问
题是知识可视化、应用和获取技术。困难在于，该市许多专家的知识往往微不足
道、不准确或不确定。因此，当前的研究继续关注这一中心问题。
此外，系统开发专用工具的开发速度也很快，这对扩大特别制度的范围和加

快特别制度的开发进程起到了积极作用。
4.机器定理证明
在日常生活中，通过一系列符号计算手动证明数学句子和推理的过程和技
术可以在计算机上自动实现，这一过程和技术称为机器验证接收和自动删除。机

器定理证明是人工智能的一个重要研究领域，其成果可应用于问题求解、程序验
证、自动编程等领域。尽管证明数学验证的过程在每一步都非常严格，但要采取
哪些证据步骤取决于经验、直觉、想象力和洞察力，它需要人类的智慧。因此，
数学验证的机器证明和其他类型的问题解决成为人工智能研究的起点。

5.计算机博弈
电脑游戏（或机器游戏）是为了让电脑了解人们的思维过程，并能够拥有与
人一样的意识形态。电脑游戏有两种方式：一种是电脑对抗；第二个是计算机和
人类之间的对抗。女子和国际象棋项目出现于20世纪60年代，达到了最高水平。

进入20世纪90年代后，IBM支持开发一个后来被称为“深蓝”的国际象棋系统，
该系统具有强大的物质基础。两位华籍科学家谭崇仁博士和许峰雄博士，他们负
责IBM的“深蓝”工作。1996年2月，“深蓝”队与世界象棋冠军卡斯帕罗斯进
行了首场比赛，在“深蓝”队六轮比赛后，以2比4输给了对手。

该问题也为研究搜索策略、机器学习等问题提供了良好的实际应用背景。他
们创建的概念和方法对于研究其他人工智能问题也具有重要的参考价值。
6.自动程序设计
自动编程是指通过自动手段进行编程的技术和过程，也是实现软件自动化的

一种技术。自动编程研究的目的是提高软件生产的效率和软件产品的质量。
自动编程的任务是设计一个程序系统，该系统从实现特定目标所需的非常高
级别的程序描述开始，然后自动生成能够实现该目标的单个程序。自动编程有很

·188·