Technical Reports - Query ResultsYour query term was 'number = 94-17'
1 report found
- OFAI-TR-94-17 ( 56kB g-zipped PostScript file)
Constraint Logic Programming for Structure-Based Reasoning about Dynamic Physical System
- Yousri El Fattah
- 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.