OFAI

Technical Reports - Query Results

Your 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.

Citation: El Fattah Y.: Constraint Logic Programming for Structure-Based Reasoning about Dynamic Physical System, Austrian Research Institute for Artificial Intelligence, Vienna, TR-94-17, 1994.