Using Relational and Constraint Languages in Model-based Diagnosis

Yousri El Fattah

We present two techniques of reasoning about diagnosis. The first uses relational databases to represent the I/O relations of a component, and then uses SQL queries to represent the behavior of a system. The second technique uses constraint logic programming to detect faults. Our diagnosis algorithms exploit the inference capabilities entailed in these relational and constraint languages.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.