A Structural Knowledge-Based Simulation Methodologyfor Distributed Systems

May 1998

Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference (FLAIRS 1998)

Volume

Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference (FLAIRS 1998)

All Papers

This paper presents 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: (1) to propose a structural knowledge representation method suitable for describing simulation systems; (2) to provide several techniques for specifying distributed computations, including a knowledge acquisition technique and a constraint mechanism used for eliciting knowledge about the simulated system; and (3) to provide an approach to knowledge-based simulation management.