Arbeitsgruppe Künstliche Intelligenz

Studienarbeiten:

Zu vergeben:

In Arbeit:

• Kostensensitive Bewertung von stickstoffreduzierenden Maßnahmen auf Basis von Hydro-NET

Beendet:

• Beschreibung und Implementierung von induktivem Lernen mit dem Evolving Transformation System (ETS)
• Post-mortem-Analyse von WAM-kompilierten Prolog-Programmen
• Anlernen und Verfeinern von Wissensbasen
• Ein Lernalgorithmus für das Hydro-NN
• Annahmenbasierte Constraint-Programmierung für endliche Bereiche
• Freges aussagenlogischer Begriffskalkül und dessen Automatisierung
• Neuronale Kontrolle eines muskel-versehenen einbeinigen Hüpfers
• Die Beschreibungslogik-Systeme Racer, Fact und Loom: Leistungsumfang, Implementierung und beispielhafter Einsatz

Diplomarbeiten:

Zu vergeben:

In Arbeit:

• Konzeption und Implementierung einer Rahmenumgebung zum annahmenbasierten Schliessen und deren Erweiterung um endliche Bereichsconstraints
• Algorithmische Aspekte der Definitionslehre

Beendet:

• Beweisverfahren für die intuitionistische Logik verallgemeinerter Hornklauseln
• Einsatz neuronaler Netze zur Steuerung von Bewegungssystemen
• Ein graphischer Editor für verallgemeinerte nicht-lineare Pläne
• Eine Simulationsumgebung für die Ausführung verallgemeinerter nicht-linearer Pläne
• ARNO: Über den Einsatz eines Suchalgorithmus für die musikalische Komposition
• Körperbasierte Repräsentationen - Eine Fallstudie an ausgewählten autonomen Robotersystemen
• Erzeugung künstlicher Genexpressionsdaten für die Evaluierung von Analyse- und Rekonstruktionsverfahren
• Anwendung von stochastischen Suchverfahren für das Training von Dynamischen Neuronalen Netzwerken
• Ein Verfahren zur Online-Klassifikation anomaler Prozesszustände bei der Betonsteinfertigung

Dissertationen:

In Arbeit:

• Constraint-basierte Modellierung von Organisationsaspekten von Workflows
• Extrapolation von Punktmessungen mit der Methode der neuronalen Netze
• Einsatz moderner KI-Methoden zur Beschreibung komplexer biologischer Prozesse unter besonderer Berücksichtigung dynamischer Aspekte
• Topic Maps - Grundlagen, Algorithmisierung und Anwendung insbesondere für das Semantic Web

Beendet:

• Neuronale Netze zur Steuerung von einbeinigen Bewegungssystemen - Entwurf und optoelektronische Implementierung
• Intelligentes Workflow-Management
• Darstellung und Analyse hydrologischer Topologien auf der Basis künstlicher neuronaler Netze