A practical and efficient approach to hybrid reasoning is to fuse different specialised systems that are designed particularly for different types of problems. We provide formal treatments to the fusion of inferences using information flow as the theoretical framework. The fusion of DL- and Constraint-based systems is used as an example to demonstrate the applicability.
Subjects: 3. Automated Reasoning
Submitted: Feb 20, 2006