Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition
Artificial Intelligence
Branch and Infer: a Unifying Framework for Integer and Finite Domain Constraint Programming
INFORMS Journal on Computing
A comparison of ATMS and CSP techniques
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Causal Simulation and Diagnosis of Dynamic Systems
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Hi-index | 0.00 |
In this paper we concentrate on practical aspects of qualitative modeling and reasoning about physical systems, reporting our experience within the VMBD project in applying Constraint Programming techniques to the task of diagnosing a real-life automotive subsystem. We propose a layered modeling approach: qualitative deviations equations as a high levelmo deldescription language, and Constraint Satisfaction Problems (CSPs) with non binary constraints as underlying implementation formalism. An implementation of qualitative equations systems based on non binary constraints is presented, discussing the applicability of various heuristics. In particular, a greedy heuristic algorithm for cycle cutset decomposition and variable ordering is proposed for efficient reasoning on CSPs derived from qualitative equations. A prototype implementation of a constraint-based diagnostic engine has been developed using CLP(FD) and C++, and some preliminary results on the proposed modeling approach and heuristics are reported.