Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...

Wissensbasierte Systeme
Prof. Dr. rer. nat. Hans Kleine Büning
„Grundlagen – Methoden – Anwendungen“
Die theoretischen und angewandten
Forschungen auf dem Gebiet der wissensbasierten
Systeme haben zum Ziel,
wissensintensive Probleme mithilfe
von Computern zu lösen. Tätigkeiten,
die bislang den Einsatz menschlicher
Experten erforderlich machen, sollen
durch die Entwicklung „intelligenter“
Programme zu weiten Teilen automatisch
durchgeführt werden können.
Entsprechend vielfältig sind die For -
schungsgebiete:
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.
Institut für Informatik
Softwaretechnik und Informationssysteme
62
Die Entwicklung unserer Anwendungen wird unterstützt durch
Forschungen im Bereich logischer Inferenzverfahren und Analysen von
Entscheidungsproblemen.
Unter dem Begriff Distributed Artificial
Intelligence lassen sich unterschiedliche
Aktivitäten zusammenfassen: Ein -
satz von Schwarm-Intelligenz Algorith -
men zur Agentenkoordination oder zur
Strukturbildung; Imitation von Verhal -
ten durch neue Lernstrategien; Para -
meter steuerung, Selbstadaptivität
sowie Restriktionsbehandlung für evolutionäre
Algorithmen; Ansätze zur
Mustererkennung; Aspekte des Data
Mining.
Wir beschäftigen uns außerdem mit
der Integration wissensbasierter Ver -
fahren in Methoden der Ingenieur -
wissen schaften. Hierzu zählt die
Automatisie rung von Modellbildungs-,
Diagnose- und Entwurfsaufgaben.
Prof. Dr. rer. nat. Hans Kleine Büning
ist Professor für Wissensbasierte Systeme am
Institut für Informatik der Universität Pader -
born. Er promovierte 1977 und habilitierte sich
1981 in Mathematik an der Universität Münster.
Von 1982 bis 1987 war er als Professor (C3)
für Angewandte Informatik an der Universität
Karlsruhe (TH) und von 1987 bis 1991 als
Professor (C4) an der Universität Duisburg
tätig. Von dort wechselte er nach Paderborn.
Professor Kleine Büning engagiert sich für die
deutsch-chinesische Zusammenarbeit in der
Wissenschaft. Er pflegt seit langer Zeit enge
Kontakte zu verschiedenen chinesischen
Universitäten z.B. in Nanjing, Guangzhou und
Guiyang.
www.upb.de/cs/ag-klbue
Fallbasierte Methoden zum Lösen von Entwurfsaufgaben
Beispiele für Anwendungen aus den Bereichen Logik, Verkehrsfluss opti -
mierung, evolutionäre Algorithmen, Routing