Stipendiaten 2009

Kilian Evang und Johannes Dellert

Projekttitel: Kahina - eine grafische Debugging-Umgebung für Grammatikentwicklung und Logikprogrammierung
Hochschule: Universität Tübingen 
Studiengang: Computerlinguistik

Kilian Evang

Johannes Dellert

Kurzbeschreibung

Für imperative Programmiersprachen wie C und Java gibt es komfortable Debugger, die die Ausführung von Programmen im Detail visualisieren und die Fehlersuche dramatisch erleichtern. Für Logikprogrammiersprachen wie Prolog stehen solche grafischen Werkzeuge kaum zur Verfügung. Ziel unseres Projektes ist die Entwicklung eines grafischen Debuggers, der der besonderen Komplexität von Abläufen in Logikprogrammen durch eine neuartige, intuitive grafische Darstellung als mehrdimensionale Bäume gerecht wird.

Unser erster Anwendungsfall ist die Entwicklung unifikationsbasierter Grammatiken. Das sind mathematisch präzise Modelle von natürlicher Sprache, die Wörtern und Sätzen syntaktische Strukturen und Bedeutungsrepräsentationen zuweisen. Mit Hilfe von Software wie dem TRALE-System können sie als Logikprogramme implementiert und getestet werden. Da schon die Analyse kurzer Sätze mehrere tausend Programmschritte umfassen kann, wird dringend ein grafischer Debugger benötigt, der die komplexen Abläufe durch eine leichter zugängliche visuelle Darstellung verständlich macht.

Mit Kahina wollen wir ein System entwickeln, das nicht nur eine derzeit bestehende Lücke füllt, sondern mit geringem Konfigurationsaufwand auch als Debugger für andere Systeme zur Grammatikentwicklung und Logikprogrammierung benutzt werden kann. Unser Projekt ist somit zwischen Informatik und Linguistik angesiedelt und für beide Disziplinen sind praktisch verwertbare Ergebnisse zu erwarten.