Use of Production Systems for Modelling Asynchronous, Concurrent Processes.

摘要

Because of the event-driven nature of asynchronous, concurrent processes, production systems (PS's) are an attractive modelling tool. The system of interest can be modelled with a large number of independent states, with independent actions, and the knowledge base can be conveniently encoded declaratively. However, asynchronous, concurrent processes normally have strict requirements for inter-process communication and co-ordination; this requires a substantial degree of inter-rule communication in the PS. The result of this is that a complex control structure is embedded in the short term memory(STM); this is generally considered unattractive for a number of reasons. This paper proposes a separate, explicit control structure for modelling asynchronous, concurrent processes with PS's. Specifically, the use of a Petri net is addressed.