An Ordered Binary Decision Diagram Model for Production Knowledge Representation and its Reasoning

In order to represent the production knowledge more integrally and to receive more efficient knowledge reasoning, an OBDD based production knowledge representation model is presented. Then, OBDD based knowledge reasoning rule and its associated algorithms are implemented. Finally, an example is taken to illustrate feasibility and efficiency of the OBDD based model and reasoning rules.