A Structural Knowledge-Based Simulation Methodology for Distributed Systems

Chuchang Liu and Mehmet A. Orgun

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.