Constraint Logic Programming for Structure-Based Reasoning about Dynamic Physical System

The paper describes a framework for reasoning about dynamic physical systems based on structure. The framework integrates the language of bond graphs (BG) with the language of constraint logic programming (CLP). The advantage of such integration is twofold. First, to exploit the wealth of reasoning methods developed in the BG area within system dynamics. Second, to enhance the naturalness of representation of system relations and possibly increase solution efficiency via CLP. The paper describes methods for causal modeling of dynamic physical system including the generation of causal explanations. This work was supported by the Austrian "Fonds zur Forderung der wissenschaftlichen Forschung" under grant P9426-PHY. Austrian Research Institute for Artificial Intelligence is supported by the Austrian Federal Ministry of Science and Research. 1 Introduction The bond graph is a powerful, versatile method for modeling dynamic physical systems of multidisciplinary nature. The method was cr..