Publikation: Consistency Based Diagnosis of configur...
Stammdaten
| Titel: | Consistency Based Diagnosis of configuration knowledge bases |
| Untertitel: | |
| 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 |
| Schlagworte: |
| Publikationstyp: | Beitrag in Sammelwerk (Autorenschaft) |
| Erscheinungsdatum: | 2000 (Print) |
| Erschienen in: |
14h European Conference on Artificial Intelligence (ECAI'2000)
14h European Conference on Artificial Intelligence (ECAI'2000)
(
IOS Press;
W. Horn
)
zur Publikation |
| Titel der Serie: | - |
| Bandnummer: | - |
| Erstveröffentlichung: | Ja |
| Seite: | S. 146 - 150 |
Versionen
| Keine Version vorhanden |
| Erscheinungsdatum: | 2000 |
| ISBN: |
|
| ISSN: | 0922-6389 |
| Homepage: | - |
AutorInnen
|
A. Felfernig
Keine Daten vorhanden
*
|
|
G. Friedrich
Keine Daten vorhanden
*
|
|
D. Jannach
Keine Daten vorhanden
*
|
|
M Stumptner
Keine Daten vorhanden
*
|
| Gerhard Friedrich (intern) |
| Dietmar Jannach (intern) |
| Alexander Felfernig (intern) |
Zuordnung
| Organisation | Adresse | ||||
|---|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
| Sachgebiete | Kein Sachgebiet ausgewählt |
| Forschungscluster | Kein Forschungscluster ausgewählt |
| Peer Reviewed |
|
| Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
| Arbeitsgruppen | Keine Arbeitsgruppe ausgewählt |
Kooperationen
Keine Partnerorganisation ausgewählt
Forschungsaktivitäten
Hier werden alle mit dieser Publikation in Zusammenhang stehenden Forschungsaktivitäten angezeigt. Mit dem untenstehenden Link können sie sich diese Forschungsaktivitäten in der Suche anzeigen lassen und gegebenenfalls exportieren.
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Zugehörige Forschungsaktivitäten in der Suche anzeigen
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
| Projekte: |
|
| Publikationen: | Keine verknüpften Publikationen vorhanden |
| Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
| Vorträge: | Keine verknüpften Vorträge vorhanden |
Beiträge der Publikation
Keine verknüpften Publikationen vorhanden