Consistency-based diagnosis of configuration knowledge bases

Artificial Intelligence

Volumn 152, Issue 2, 2004, Pages 213-234

  Felfernig, Alexander ^a   Friedrich, Gerhard ^a   Jannach, Dietmar ^a   Stumptner, Markus ^b  

^a UNIVERSITY OF KLAGENFURT   (Austria)

^b UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Configuration; Diagnosis

Indexed keywords

ALGORITHMS; AUTOMATION; CONSTRAINT THEORY; MATHEMATICAL MODELS; SEMANTICS;

DECLARATIVE SEMANTICS; INTERACTIVE DEBUGGING;

KNOWLEDGE BASED SYSTEMS;

EID: 0346093834     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(03)00117-6     Document Type: Article

References (32)

1. Bakker R.R., Dikker F., Tempelman F., Wognum P.M. Diagnosing and solving over-determined constraint satisfaction problems. Proc. IJCAI-93, Chambéry, France. 1993;276-281 Morgan Kaufmann, San Mateo, CA.
2. Bond G.W. Top-down consistency based diagnosis. Proc. DX-96 Workshop on Principles of Diagnosis, Val Morin, Canada. 1996.
3. G.W. Bond, B. Pagurek, A critical analysis of "Model Based Diagnoses meets Error Diagnosis in Logical Programs", Technical Report SCE-94-15, Carleton University, Department of Systems and Computer Engineering, Ottawa, ON, 1994.
4. Boye J., Drabent W., Maluszynski J. Declarative diagnosis of constraint programs: An assertion-based approach. Proc. AADEBUG-1997. 1997;123-140.
5. Console L., Friedrich G.E., Dupré D.T. Model-based diagnosis meets error diagnosis in logic programs. Proc. IJCAI-93, Chambéry, France. 1993;1494-1499 Morgan Kaufmann, San Mateo, CA.
6. Damásio C.V., Pereira L.M., Schroeder M. REVISE: Logic programming and diagnosis. Proc. Fourth Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-97). 1997;354-363 Springer, Berlin.
7. de Siqueira N., Puget J.-F. Explanation-based generalization of failures. Proc. ECAI-88, Munich, Germany. 1998;339-344 Pitman, London.
8. El Fattah Y., Dechter R. Diagnosing tree-decomposable circuits. Proc. IJCAI-95, Montreal, Quebec. 1995;1742-1748.
9. Felfernig A., Friedrich G., Jannach D. UML as domain specific language for the construction of knowledge-based configuration systems. Internat. J. Software Engrg. Knowledge Engrg. 10:(4):2000;449-469.
10. Felfernig A., Friedrich G., Jannach D., Stumptner M. Hierarchical diagnosis of large configurator knowledge bases. Proc. 24th German/9th Austrian Conference on Artificial Intelligence (KI-2001), Vienna, Austria. Lecture Notes in Artificial Intelligence. Vol. 2174:2001;185-197 Springer, Berlin.
11. Felfernig A., Friedrich G., Jannach D., Zanker M. Web-based configuration of virtual private networks with multiple suppliers. Gero J. Proc. 7th Internat. Conference on Artificial Intelligence in Design (AID-02), Cambridge, UK. 2002;41-62 Kluwer, Dordrecht.
12. Fleischanderl G., Friedrich G.E., Haselboeck A., Schreiner H., Stumptner M. Configuring large systems using generative constraint satisfaction. IEEE Intelligent Systems. 13:(4):1998;59-68.
13. Friedrich G.E., Stumptner M., Wotawa F. Model-based diagnosis of hardware designs. Artificial Intelligence. 111:(2):1999;3-39.
14. Fröhlich P., Nejdl W. A static model-based engine for model-based reasoning. Proc. IJCAI-97, Nagoya, Japan. 1997.
15. Gertz M., Lipeck U.W. A diagnostic approach to repairing constraint violations in databases. Proc. DX-95 Workshop on Principles of Diagnosis, Goslar. 1995.
16. Greiner R., Smith B.A., Wilkerson R.W. A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence. 41:(1):1989;79-88.
17. Junker U. Preference programming for configuration. Proc. IJCAI-01 Workshop on Configuration, Seattle, WA. 2001;50-57.
18. Junker U. QUICKXPLAIN: Conflict detection for arbitrary constraint propagation algorithms. Proc. IJCAI-01, Workshop on Modelling and Solving Problems with Constraints, Seattle, WA. 2001.
19. Mailharro D. A classification and constraint-based framework for configuration. Artificial Intel. Engrg. Design Anal. Manufact. 12:(4):1998.
20. McGuinness D.L., Wright J.R. Conceptual modelling for configuration: A description logic-based approach. Artificial Intelligence for Engrg. Design Anal. Manufact. 12:(4):1998.
21. Mittal S., Frayman F. Towards a generic model of configuration tasks. Proc. IJCAI-89, Detroit, MI. 1989;1395-1401.
22. Pereira L.M., Damásio C.V., Alferes J.J. Debugging by diagnosing assumptions. Proc. AADEBUG-93, Linköping, Sweden. 1993.
23. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence. 32:(1):1987;57-95.
24. Runkel J.T., Balkany A., Birmingham W.P. Generating non-brittle configuration-design tools. Proc. Artificial Intelligence in Design 94, Lausanne. 1994;183-200 Kluwer Academic, Dordrecht.
25. Shapiro E. Algorithmic Program Debugging. 1983;MIT Press, Cambridge, MA.
26. Soininen T., Tiihonen J., Männistö T., Sulonen R. Towards a general ontology of configuration. AI Engineering Design Analysis and Manufacturing. 12:(4):1998;357-372.
27. Struss P. What's in SD? Towards a theory of modeling for diagnosis. Harmscher W., Console L., de Kleer J. Readings in Model-Based Diagnosis. 1992;Morgan Kaufmann, San Mateo, CA.
28. Stumptner M., Wotawa F. VHDLDIAG +: Value-level diagnosis of VHDL programs. Proc. DX-98 Workshop on Principles of Diagnosis, Cape Cod. 1998.
29. Stumptner M., Wotawa F. Debugging functional programs. Proc. IJCAI-99, Stockholm, Sweden. 1999;1074-1079 Morgan Kaufmann, San Mateo, CA.
30. Stumptner M., Wotawa F. Diagnosing tree-structured systems. Artificial Intelligence. 127:(1):2001;1-29.
31. Mateis C., Stumptner M., Wotawa F. Modeling Java programs for diagnosis. Proc. 14th European Conference on Artificial Intelligence, Berlin, Germany. 2000;171-175 IOS Press.
32. Wotawa F. On the relationship between model-based debugging and program slicing. Artificial Intelligence. 135:(1-2):2002;125-143.