有逻辑推理的CAD

本文应用人工智能中逻辑推理的方法,将电力网络内控制开关的停合状态输入计算机,由计算机推理出各段线路的停送电状态,然后用计算机辅助设计的画图功能,以不同的颜色画出停送电区域。对检修人员的人身安全,提供了可靠的保证。     

穷举式搜索算法及其应用

本文从人工智能的特点出发，首先介绍了它所研究的目标，然后分析人工智能中穷举式搜索算法的优缺点，并以五子棋游戏为例．在VC＋＋6．0环境下实现了加入估价函数的穷举式搜索算法。     

基于Agent的分布式查询优化研究

Internet上异构的软硬件环境以及多种并行机制对分布式查询优化技术提出了新的挑战，文章将分布式人工智能与数据库管理系统两个研究领域相结合，给出了基于Agent的分布式查询优化系统模型，在该系统中，Agent采用了典型的慎思型体系结构，即BDI模.Agent具有信念库，目标库并在此基础上进行学习和推理，多个Agent之间通过协调，协作以及协商以支持分布式数据库系统的动态查询优化和规划的执行，提高系统的查询效率。     

专家系统在光电对抗和无源干扰控制投放技术中的应用

本文根据光电对抗和无源干扰控制技术的发展情况 ,结合人工智能专家系统 ,重点解决在识别威胁信息后如何根据干扰物和平台自身特点来确定干扰物投放的时机、数量等问题 ,并实时预测干扰效果 ,从而达到最佳干扰的目的。     

创造类人机器人

在电影“2001:太空探险记”中,曾提到过一个称为Hal的人工智能,它是飞往木星的“发现”号宇宙飞船的控制者。有些电影爱好者还记得,电影中曾预测Hal将在1992年1月12日出现。可是当1992年1月12日真的到来并匆匆逝去时,Hal并没有出现。为此,麻省理工学院人工智能实验室的罗德尼·布鲁克斯教授决定自己创造一个。他不打算把人的灵魂注入航天飞机,而是准备把人的智能注入机器人。     

现代自动化的发展与煤炭工业

在介绍现代自动化的几个重要领域的基础上，论述其发展趋势及其在煤炭工业中的应用前景。