Stammdaten

Exploiting Structural abstractions for consistency based diagnosis of large configurator knowledge bases
Untertitel:
Kurzfassung: Debugging, validation, and maintenance of configurator knowledge bases are important tasks for the success-ful deployment of product configuration systems, due to frequent changes (e.g., new component types, new regulations) in the configurable products. Model based diagnosis techniques have shown to be a promising approach to support the test engineer in identifying faulty parts in declarative knowledge bases. Given positive (existing configurations) and negative test cases, explanations for the unexpected behavior of the configuration systems can be calculated using a consistency based approach. For the case of large and complex knowledge bases, we show how the usage of hierarchical abstractions can reduce the computation times for the explanations and in addition gives the possibility to iteratively and interactively refine diagnoses from abstract to more detailed levels. Starting from a logical definition of configuration and diagnosis of knowledge bases, we show how a basic diagnostic algorithm can be extended to support hierarchical abstractions in the configuration domain. Finally, experimental results from a prototypical implementation using an industrial constraint based configurator library are presented
Schlagworte:
Publikationstyp: Beitrag in Sammelwerk (Autorenschaft)
Art der Veröffentlichung Printversion
Erschienen in: 14h European Conference on Artificial Intelligence (ECAI'2000) - configuration workshop
14h European Conference on Artificial Intelligence (ECAI'2000) - configuration workshop
zur Publikation
 ( M. Stumptner )
Erscheinungdatum: 2000
Titel der Serie: -
Bandnummer: -
Erstveröffentlichung: Ja
Seite: S. 23 - 28

Identifikatoren

ISBN: -
ISSN: -
DOI: -
AC-Nummer: -
Homepage:
Open Access
  • Kein Open-Access

Zuordnung

Organisation Adresse
Fakultät für Technische Wissenschaften
 
Institut für Angewandte Informatik
Universitätsstr. 65-67
A-9020  Klagenfurt
Österreich
  -993705
   ainf@aau.at
https://www.aau.at/angewandte-informatik/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung

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

Kooperationen

Keine Kooperationspartner ausgewählt

Beiträge der Publikation

Keine verknüpften Publikationen vorhanden