申 鑫，李孝忠

(天津科技大学人工智能学院，天津300457)

Petri 网是一种适合知识表示与推理的异步并发建模工具，具有严格的数学定义和直观的图形表示[1].传统Petri 网利用其异步并发的特性，可以在确定知识的基础上进行更加有效的精确推理.在实际生活中，通常是在信息不完善、不确定的情况下进行思维、求解问题，因而在不确定环境下讨论知识的表示与推理具有重大的意义.Looney[2]提出了模糊Petri网(FPN)模型，用于基于模糊规则系统的模糊推理.此后，FPN 模型逐渐用于模糊的知识表示与模糊推理中，并得到了广泛和深入的研究与应用.Chen等[3]提出了一个更通用的模糊Petri 网模型模拟知识并描述了一个模糊算法自动执行知识推理.Yeung等[4]通过引入阈值和权重的知识参数对上述模糊Petri 网模型进行了改进.Chen[5]对文献[3]的工作进行了扩展，主要描述基于知识的系统的模糊后向推理算法，其中模糊Petri 网被用于在专家系统的知识库中表示模糊产生式规则.之后，也有学者对FPN 模型做出了改进，提出了模糊推理Petri 网(FRPN)模型[6]以及一致性模糊Petri 网(CFPN)模型[7]，用于含有否定命题的模糊产生式规则的表示与推理.

因为FPN 模型的图形表示与动态处理能力，使其被广泛应用于解决各种工程问题.为了给拆卸设备结构的计算机辅助进行快速设计提供理论指导，苏开远等[8]提出了一种基于Petri 网构建功–构映射模型的方法，为得到最优的废旧产品拆卸装备的设计方案，引入了模糊数对设计方案进……