随着现代化生产的不断发展和科学技术的进步,现代设备的功能越来越完善,结构也越来越复杂。如果设备出现故障,维修人员又不能快速准确的对故障加以定位和处理,就会发生严重的甚至灾难性的事故,造成巨大的经济损失。为了减小各种故障发生时带来的负面效应,不但要求监测和维修人员具有较高的技术素质,同时也要求现代诊断设备的精密化和智能化的程度较高,因此基于人工智能推理机的研究变得越来越重要。近年来,不精确推理作为人工智能推理机的核心研究内容得到了不断发展和创新。本文详细地阐述了不精确推理的基本概念,重点介绍了概率推理,证据推理以及模糊推理三种不精确推理方法,分析了其基本原理,并利用MATLAB对典型不精确推理方法的基本特性进行了仿真实验分析。实现了经典不精确推理方法的基本算法设计,以及算法特性的验证分析,得出了每一种方法的适用条件和使用时应该注意的问题,为不精确推理的应用设计提供了基础理论和实验依据。另外,本文结合文献中提出的实现方法和已完成的实验,利用VC++的动态链接库对基本不精确推理方法进行了通用性扩展和算法封装,探讨了经典方法的实际应用问题。在基本方法分析和应用分析的基础上,综合运用ASP和JSP语言,以模糊推理和模糊匹配原理为基础,在DreamWeaver MX 2004的开发环境中设计并编写了导弹故障诊断系统的推理机程序。经过调试及局域网环境测试,系统能够对数据库中的相关内容进行模糊识别,并且能够模糊推理出正确的结果。