电子产品小体积、高密度的发展趋势，使得印制电路板（PCB）的设计、加工制造过程越来越复杂。为了解决目前审查方法效率低、灵活性不足等问题，对PCB的审查规则知识表示及智能审查方法的研究具有重要意义。本文将谓词逻辑和模糊逻辑的隶属函数相结合，提出了一种适应于PCB审查规则特点的谓词隶属逻辑知识表示法。通过谓词隶属逻辑表示法的定义及审查规则的分类知识表示，解决了现有知识表示法不能统一表示审查规则中确定性和不确定性知识的问题；通过隶属函数的确定与量化编辑器的设计，实现了规则的量化，解决了知识在计算机中的应用与存储问题。建立了知识库、审查方法库及评价库驱动的审查推理模型，实现了PCB设计数据的智能审查，一定程度上解决了已有审查方法存在的问题。实验表明，本文提出的谓词隶属逻辑知识表示法能较好地表示审查规则，为PCB领域的知识表示奠定了坚实基础。以本文审查推理模型为基础的智能审查方法不但能快速发现设计错误，且交互性、灵活性和可扩充性好。下一步将研究审查规则中专家经验值的特征和规律，并实现知识的演绎推理功能。