Abschlussarbeiten

Schwerpunkte des Lehrgebiets Wissensbasierte Systeme in Forschung und Lehre sind die folgenden Themen:

• Wissensrepräsentation und -verarbeitung
• Deduktions- und Inferenzsysteme
• Nichtprozedurale Programmiersysteme
• Logisches und funktionales Programmieren
• Wissensbasierte Anwendungen

Themen für Abschlussarbeiten werden in erster Linie aus den oben genannten Bereichen vergeben; bei Interesse wenden Sie sich bitte an uns.

Auswahl abgeschlossener Arbeiten

Abgeschlossene Bachelorarbeiten

• Implementierung von Default-Regeln durch optimale konditionale Rangfunktionen
• Entropie-optimale Wissensverarbeitung zur Modellierung relevanter Prädiktoren für Outcomeparameter medizinischer Therapiemaßnahmen
• Vorhersage von ¹H-NMR-Spektren durch maschinenbasierte Auswertung vorhandener Daten
• Neuronale Netze bei der Analyse und Prognose von Umweltdaten
• Vergleich von Ansätzen zur Nachrichtenvermittlung im Internet und Implementierung eines Systems in RDF
• Intelligente Methoden für Multi-Agenten Systeme
• Lernen von Assoziationsregeln über mehrwertigen Merkmalen

Abgeschlossene Masterarbeiten (Master of Computer Science)

• Induktives Lernen bei entropieoptimaler Wissensverarbeitung mit einer Implementierung in der Shell SPIRIT
• Implementierung von Default-Regeln durch optimale konditionale Rangfunktionen mit constraint-logischer Programmierung
• Rule based integration of Web Services into semantic data bases — An approach for automated selection, composition and invocation of Semantic Web Services
• Automatisches Testen von Programmieraufgaben im Bereich der constraint-logischen Programmierung über endlichen Bereichen

Abgeschlossene Masterarbeiten (Master of Science in Informatik)

• Optimierte Wissensdarstellung auf der Basis von Default-Regeln

Abgeschlossene Diplomarbeiten

• Verwendung probabilistischer Logik in einem medizinischen Expertensystem
• Erweiterung eines Typ-Konzeptes für Prolog zur Unterstützung der modularen Software-Entwicklung und Meta-Programmierung in der KI
• Wissensfindung in Datenbanken auf probabilistischer Basis
• Lokale Normalisierung von Scheme-Programmen
• Systemkonzept und Prototyp für probabilistisches Data-Mining
• Automatisierung des Testens von Zusicherungen für Prolog-Programme
• Animationen und interaktive Elemente in einer Lern- und Experimentierumgebung
• Untersuchung von dynamischen Meta-Lern-Methoden bei Klassifikationsproblemen mit Neuronalen Netzen
• Realisierung eines vollständigen Typinferenzsystems für die funktionale Programmiersprache Scheme
• Possibilistische Wissensrevision — Grundlagen und Implementierung
• Satellitenmissionsplanung: Analyse erforderlicher Orbitmodulfunktionen für Flächenbeobachtungen und die Berücksichtigung von Instrumentparametriken
• Quellcodebezogene Darstellung von Analyseergebnissen für Programme in der funktionalen Programmiersprache Scheme
• Neural Networks in Robot Control: What can we learn from the Cerebellum?
• Kontextsensitive Ähnlichkeitsmaße im fallbasiertem Schließen
• Eine WWW-basierte Schnittstelle für eine Prolog-Testumgebung
• Testfallbewertung für funktionale Programme
• Entwicklung einer Java-Anwendung für ein Online-Hilfesystem auf der Basis einer objektorientierten Datenbank
• Ein interaktives WWW-basiertes Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik
• Entscheidungssysteme für die Rechnungsprüfung in der Krankenversicherung mit logik-basierten Regelsprachen
• Realisierung eines Systems zur Verarbeitung konditionalen Wisses mit ASMs
• Modellierung, Verarbeitung und Visualisierung probabilistischer Abhängigkeiten zur wissensbasierten Entscheidungsunterstützung
• Wissensrepräsentation und Inferenz mit Infonlogik nach K. Devlin
• Entscheidungsunterstützung durch visualisierte Risikodarstellung im medizinischen Bereich
• Strukturorientiertes Testen in der funktionalen Programmierung mit dem STEP-System
• Ein simulationsbasierter Ansatz zur Bestimmung individueller Empflindlichkeiten auf Narkosemedikamente am Beispiel der Narkosetiefe