PCB工艺规则表示方法

利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点,提出了一种新的谓词隶属逻辑表示法,即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示,得到了印制电路板(PCB)规则工艺知识库,实现了基于该方法的知识推理,为后续实现PCB的智能审查提供了审查依据及数据支持.

Research on the representation method of PCB technique rules

A new method named the predicate-membership logic representation method is proposed in this paper, which is based on the facts that the predicate logic can represent certain knowledge and the membership function in the fuzzy logic can represent the uncertain part. The knowledge base of PCB technique rules and the knowledge reasoning model are achieved by normalizing two-valued and multi-valued logical rules with the predicate logic of the membership function. Meanwhile, they provide the examination basis and data support for the intelligent examination of PCB.