Titel: Configuration - a reality check for knowlegde represenation and reasoning
Beschreibung: It is more than 30 years that knowledge representation and reasoning (KRR) methods have been applied to solve configuration problems. Therefore, it is not surprising that the history of knowledge based configuration reflects almost all tops and flops of KRR. Indeed many successful applications based on KRR methods were deployed showing the utility of KRR to solve practically highly relevant problems. However, this success may mislead to the conclusion that configuration is solved. In this talk I will show by a very simple though relevant configuration example that on the one hand current reasoning methods discovered valuable yet unknown solutions but on the other hand many interesting research questions have to be answered in order to expand the applicability of KRR for practical configuration problems. In particular, I will focus on the effects of different knowledge representation formalisms, different models, variants of symmetry breaking constraints and local versus complete search. Interestingly, it turned out that folklore knowledge may be a false friend.
Typ: Angemeldeter Vortrag
Homepage: -
Veranstaltung: IJCAI 2011 Workshop on Configuration (Barcelona, Spain)
Datum: 16.07.2011


Organisation Adresse
Fakultät für Technische Wissenschaften
Institut für Angewandte Informatik
Universitätsstr. 65-67
A-9020  Klagenfurt
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt


  • 1108 - Informatik
Forschungscluster Kein Forschungscluster ausgewählt
  • Science to Science (Qualitätsindikator: I)
Klassifikationsraster der zugeordneten Organisationseinheiten:
  • Überwiegend international
  • Ja
Arbeitsgruppen Keine Arbeitsgruppe ausgewählt


Keine Kooperationspartner ausgewählt