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.
Published Date: May 1998
Registration: ISBN 978-1-57735-051-4
Copyright: Published by The AAAI Press, Menlo Park, California