Titel: Consistency Based Diagnosis of configuration knowledge bases
Kurzfassung: 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 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
Publikationstyp: Beitrag in Sammelwerk (Autorenschaft)
Art der Veröffentlichung Printversion
Erschienen in: 14h European Conference on Artificial Intelligence (ECAI'2000)
14h European Conference on Artificial Intelligence (ECAI'2000)
zur Publikation
 ( IOS Press; W. Horn )
Erscheinungsdatum: 2000
Titel der Serie: -
Bandnummer: -
Erstveröffentlichung: Ja
Seite: S. 146 - 150


  • 1-58603-013-2
ISSN: 0922-6389
DOI: -
AC-Nummer: -
Open Access
  • Kein Open-Access


Organisation Adresse
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt


Sachgebiete Kein Sachgebiet ausgewählt
Forschungscluster Kein Forschungscluster ausgewählt
Peer Reviewed
  • Ja
  • Science to Science (Qualitätsindikator: n.a.)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen Keine Arbeitsgruppe ausgewählt


Keine Partnerorganisation ausgewählt

Beiträge der Publikation

Keine verknüpften Publikationen vorhanden