目前,由于国家和地方有许多相关的社会保险政策,如果审计方法仍然采用人工的方式从这些政策中提取,效率低下。本文所进行的研究正是要解决这个问题。本文介绍了知识表示方面的理论、社保业务流程和基本养老保险政策的特点,据此选择概念从属树表示政策中的概念。根据概念从属森林的定义和特点,给出了概念从属森林的创建流程,并对它进行了分析;把政策中的概念按照分类的形式建立成概念从属树,由这样许多的概念从属树组成概念从属森林;把基本养老保险政策中的定义、公式和论断性语句表示成产生式规则。基于社保政策概念从属森林和产生式规则这些审计知识,给出了基于不一致规则和基于规则推理发现审计方法的两种模式,并针对这两种模式的审计方法发现过程给出了详尽的说明。在此基础之上,给出了审计方法发现过程,得到审计方法。