Consistency-based diagnosis of configuration knowledge bases

被引:94
作者
Felfernig, A
Friedrich, G
Jannach, D [1 ]
Stumptner, M
机构
[1] Univ Klagenfurt, A-9020 Klagenfurt, Austria
[2] Univ S Australia, Adv Comp Res Ctr, Adelaide, SA 5095, Australia
关键词
diagnosis; configuration;
D O I
10.1016/S0004-3702(03)00117-6
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Configuration problems are a thriving application area for declarative knowledge representation that currently experiences a constant increase in size and complexity of knowledge bases. Automated support of the debugging process of such knowledge bases is a necessary prerequisite for effective development of configurators. We show that this task can be achieved by consistency-based diagnosis techniques. Based on the formal definition of consistency-based configuration we develop a framework suitable for diagnosing configuration knowledge bases. During the test phase of configurators, valid and invalid examples are used to test the correctness of the system. In case such examples lead to unintended results, debugging of the knowledge base is initiated. Starting from a clear definition of diagnosis in the configuration domain we develop an algorithm based on conflicts. Our framework is general enough for its adaptation to diagnosing customer requirements to identify unachievable conditions during configuration sessions. A prototype implementation using commercial constraint-based configurator libraries shows the feasibility of diagnosis within the tight time bounds of interactive debugging sessions. Finally, we discuss the usefulness of the outcomes of the diagnostic process in different scenarios. (C) 2003 Elsevier B.V. All rights reserved.
引用
收藏
页码:213 / 234
页数:22
相关论文
共 32 条
[1]  
Bakker RR, 1993, P 13 INT JOINT C ART, P276
[2]  
BOND GW, 1994, SCE9415 CARL U DEP S
[3]  
BOND GW, 1996, P DX 96 WORKSH
[4]  
Boye J., 1997, P 3 INT WORKSH AUT D, P123
[5]  
CONSOLE L, 1993, IJCAI-93, VOLS 1 AND 2, P1494
[6]  
DAMASIO C, 1997, P 4 INT C LOG PROGR, P354
[7]  
DESIQUEIRA N, 1998, P ECAI 88 MUN GERM P, P339
[8]  
ELFATTAH Y, 1995, P 14 INT JOINT C ART, P1742
[9]  
Felfernig A., 2001, KI 2001: Advances in Artificial Intelligence. Joint German/ Austrian Conference on AI. Proceedings (Lecture Notes in Artificial Intelligence Vol.2174), P185
[10]   UML as domain specific language for the construction of knowledge-based configuration systems [J].
Felfernig, A ;
Friedrich, GE ;
Jannach, D .
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2000, 10 (04) :449-469