Configuration - a reality check for knowlegde represenation and reasoning
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.
Hier werden alle mit dieser Veranstaltung 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)