Forschungsschwerpunkte
- Logik
In den Forschungsvorhaben des Bereichs Logik entwickeln wir effiziente Schlussfolgerungsverfahren und untersuchen damit zusammenhängende Entscheidungsprobleme (Satisfiability), speziell für die Aussagenlogik und die Quantifizierte Boolesche Logik.
- Distributed Artificial Intelligence
Unter dem Begriff Distributed Artificial Intelligence lassen sich unterschiedliche Aktivitäten zusammenfassen: Einsatz von Schwarm-Intelligenz Algorithmen zur Agentenkoordination oder zur Strukturbildung; Imitation von Verhalten durch neue Lernstrategien; Parametersteuerung, Selbstadaptivität sowie Restriktionsbehandlung für evolutionäre Algorithmen; Ansätze zur Mustererkennung; Aspekte des Data Mining.
- Modellbildungs-, Diagnose- und Entwurfsaufgaben für technische Systeme
Wir beschäftigen uns außerdem mit der Integration wissensbasierter Verfahren in Methoden der Ingenieurwissenschaften. Hierzu zählt die Automatisierung von Modellbildungs-, Diagnose- und Entwurfsaufgaben für technische Systeme.