Lecture: Configuration - a reality check for knowlegde represenation and reaso...

Master data
Title: Configuration - a reality check for knowlegde represenation and reasoning
Description: 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.
Keywords:
Type: Registered lecture
Homepage: -
Event: IJCAI 2011 Workshop on Configuration (Barcelona, Spain)
Date: 16.07.2011
lecture status:

Participants
Gerhard Friedrich
Gerhard.Friedrich@aau.at
Institut für Artificial Intelligence und Cybersecurity
Research activities
To visiting card
(internal)
  • Speaker

Assignment
Organisation Address
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Austria
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
To organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Categorisation
Subject areas
  • 1108 - Informatics
Research Cluster No research Research Cluster selected
Focus of lecture
  • Science to Science (Quality indicator: I)
Classification raster of the assigned organisational units:
Group of participants
  • Mainly international
Published?
  • Yes
working groups No working group selected

Cooperations
No partner organisations selected