A Structural Knowledge-Based Simulation Methodology for Distributed Systems
Chuchang Liu, Mehmet Ali Orgun · The Florida AI Research Society · 1998
This paper pre.sents a structural knowledge-based simulation methodology based on temporal logic that can be used for building a simulation environment for distributed computations. The main contributions of the paper are: (l) to propose structural knowledge representation method suitable for describing simulation systems; (2) to provide several techniques for specifying distribut¢~] conlputations, inehlding a knowledge acquisition technique azld a constraint mechanism used for eliciting knowledge about the simulat~xl system; and (3) to provide ml approach to knowledgebased sinmlation management.