税务稽查系统是为了规范税务稽查，保证税务稽查工作质量和效率而开发的一套软件，本文用产生式规则解决税务稽查系统中的违法定性与处罚，即：将《中华人民共和国税收征收管理法》整理成规则库，通过对规则的匹配、推理，得出处罚定性结论。 本论文主要在以下两个方面做了研究和探讨： 一是在知识库的规则数量方面，使用了数据库技术来增大规则的体积，实现了知识的大型化。具体说来，采用关系型数据库技术来表示、存储及维护产生式规则，将之转化为结构化的线形结构，同时存储在关系型数据库中。为了方便对规则的维护，我们充分利用数据库管理系统对数据的巨大威力，结合产生式规则的特点，对规则的等价、循环做了算法设计与实现，较好地解决了知识库的一致性问题。 二是在推理机方面，利用知识存储在数据库中这一事实，并考虑关系型知识库的特点，结合数据库的索引、关联和过滤技术，使用合理的推理机制，进行推理方法的设计和实现。 另外，本文还介绍了知识库系统、专家系统、专家数据库、税务稽查系统等相关知识。 本系统采用Client／Server模式与Browser／Server模式相结合 太原理工大学硕士研究生学位论文的开发方案，以助ndows 2000 Advance server作为主服务器，Microsoft sQL server 2000作为数据库服务器;客户端采用PoVver Builderg.0作为开发工具。 该专家系统不仅适用于税务稽查系统的违法定性与处罚，还可以用于其它类似的专家系统，具有一定的通用性，通过改进，也可以作为类似系统的专家数据库的骨架系统，即专家系统的外壳。