智能推理技术在养老保险审计中的研究

作     者：欧阳皓 

作者单位：哈尔滨工程大学 

学位级别：硕士

导师姓名：黄少滨

授予年度：2007年

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：养老保险审计 知识表示 产生式系统 智能推理 案例推理 

摘      要：随着我国改革开放和社会主义市场经济建设的不断深入，我国在各个方面的改革进入了一个全新的阶段，其中，社会保障制度的改革尤为突出。在社会保障制度不断摸索前进的过程中，对其进行相应的监督和审计是必不可少的。虽然传统的手工审计方法已经使用了很多年，取得了一定得成绩，但是其效率很低。近几十年信息技术得到了长足的发展，相应的计算机应用技术也进入了审计领域，并在审计领域发挥了巨大的作用。计算机辅助审计改变了原有手工审计的对象和内容，提出了新的审计方法和审计模式，提高了审计效率。 本文结合社会保险(基本养老)联网审计系统(N-SAS)项目，将计算机辅助审计的对财务、业务数据的被动的数据式审计提升到智能化的审计。现实世界中的对象要进入计算机系统就必须表示为计算机所能接受的方式，为了更进一步的研究智能化的审计，首先，对人工智能中知识表示进行了介绍，详细介绍了各种知识表示的方法及其优缺点;其次，在知识表示的基础之上，对基于知识推理的推理方式、推理方向、控制策略进行了研究;最后，结合养老保险审计，从中挑选出审计的三个方面，采用一阶谓词逻辑、产生式和框架的知识表示法对其进行了相应的知识表示，并对知识表示下的问题进行了推理，为养老保险审计专家系统的实现作了一个前期的研究。 最后总结了本文在知识表达和推理方面所作的工作，尤其是智能推理在养老保险审计中的研究，对以后的研究方向提供了建议。