Diagnosis as semiring-based constraint optimization

Frontiers in Artificial Intelligence and Applications

Volumn 110, Issue , 2004, Pages 873-877

  Sachenbacher, Martin ^a   Williams, Brian C ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT SATISFACTION PROBLEMS; DYNAMIC PROGRAMMING; FORESTRY; TREES (MATHEMATICS);

CONSTRAINT OPTIMIZATION PROBLEMS; CONSTRAINT OPTIMIZATIONS; DIAGNOSIS ALGORITHMS; DIAGNOSTIC PROBLEM; FRAME MODELS; MATHEMATICAL PROPERTIES; MODEL-BASED DIAGNOSIS; SEMI-RING; SOFT CONSTRAINT; SOLUTION METHODS;

CONSTRAINED OPTIMIZATION;

EID: 85017332092     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (14)

1. R.I. Bahar, E.A. Frohm, C.M. Gaona, G.D. Hachtel, E. Macii, A. Pardo, and F. Somenzi, 'Algebraic Decision Diagrams and Their Applications', in IEEE International Conference on CAD, pp. 188-191, (1993).
2. S. Bistarelli, U. Montanari, and F. Rossi, 'Semiring-based constraint satisfaction and optimization', Journal of the ACM, 44(2), (1997).
3. J. de Kleer and B.C. Williams, 'Diagnosing multiple faults', Artificial Intelligence, 32(1), 97-130, (1987).
4. R. Dechter, 'Bucket elimination: A unifying framework for reasoning', Artificial Intelligence, 113, 41-85, (1999).
5. R. Dechter, A. Dechter, and J. Pearl, 'Optimization in constraint networks', in Influence Diagrams, Belief Nets and Decision Analysis, eds., R.M. Oliver and J.Q. Smith, 411-425, John Wiley & Sons, (1990).
6. Y. El Fattah and R. Dechter, 'Diagnosing tree-decomposable circuits', in Proceedings of IJCAI-95, pp. 1742-1749, (1995).
7. M.R. Genesereth, 'The use of design descriptions in automated diagnosis', Artificial Intelligence, 24(1-3), 411-436, (1984).
8. G. Gottlob, N. Leone, and F. Scarcello, 'A comparison of structural CSP decomposition methods', Artificial Intelligence, 124(2), (2000).
9. K. Kask, R. Dechter, J. Larrosa, and F. Cozman, 'Unifying treedecomposition schemes for automated reasoning', Technical report, University of California, Irvine, (2001).
10. A.K. Mackworth, 'Constraint satisfaction', in Encyclopedia of Artificial Intelligence, ed., S.C. Shapiro, 285-293, John Wiley & Sons, (1992).
11. R. Reiter, 'A theory of diagnosis from first principles', Artificial Intelligence, 32(1), 57-95, (1987).
12. T. Schiex, 'Arc consistency for soft constraints', in Principles and Practice of Constraint Programming, pp. 411-424, (2000).
13. M. Stumptner and F.Wotawa, 'Diagnosing tree-structured systems', Artificial Intelligence, 127(1), 1-29, (2001).
14. B.C. Williams and R. Ragno, 'Conflict-directed A∗ and its role in model-based embedded systems', Journal of Discrete Applied Mathematics, (2003). To appear.