产生式知识表示的Petri网模型及其推理规则

A Petri-Net Model for Production Knowledge Representation and the Reasoning Rule

为了使由产生式规则构成的知识库系统更加具有完整性 ,更好地反映规则的内部逻辑 ,根据Petri网的基本原理 ,在产生式规则和 Petri网的条件 /事件系统之间建立一致性联系 ,在此基础上提出一种产生式知识表示的 Petri网模型及其相应的推理规则 ,详细说明了模型的构成原理和构造过程 。

In order to improve the integrity of the production knowledge representation and to better show the inside logic between the rules, according to the basic theories of Petri net, the consistence relationship between the productive rules and Petri net C/E system is established. Then a kind of PetriNet model for Production Knowledge representation and the reasoning rule is presented. In detail, the principle and the procedure to construct the model are explained. Finally, an example is taken to illustrae the exactitude and the practicability of the model and the rule.