Structure and logic in knowledge-based representations of systems simulation models

The paper focuses on the similarity between modelling and knowledge representation, trying to bring together the OR/Systems Science and the Artificial Intelligence views when referring to a computer system simulation, especially of the discrete-event or the network types. The models we consider are generalized activity networks with resources, including either models with a finite lifetime, such as project scheduling networks, or steady state models, such as queueing networks. By enhancing the structure of entities and states and the logic of transitions within a model specification, modularity is improved and one may adopt a more declarative approach. The relational and rule-based representation formalisms are a convenient choice for that purpose. Then, the use of knowledge bases both for the static (i.e. consultative) and the dynamic (i.e. experimental) study of the model turns up to be more natural. Moreover, the task of building an expert system for decision support on system analysis or synthesis becomes easier. The paper reports some original work in the above directions, using a logic programming approach and an associated specification methodology based on general systems concepts.