Interaktive Konsole für Prädikatenlogik in Eclipse

Aufbauend auf ProB, das für die Berechnung von Werten und Lösungen für prädikatenlogische Formeln zuständig ist, soll eine benutzerfreundliche Umgebung gebaut werden, in der mit Formeln gespielt werden kann.

Zum Beispiel hat der Anwender eine Formel, die er auswerten möchte. Dazu sollen Werte für zwei Variablen x und y gefunden werden. Er gibt die Formel "x mod 4 = 0 and x>5 and x<8" an. Das Tool meldet, dass es keine Lösung gibt.

Dann klickt der Benutzer auf den Teil "x mod 4 = 0" und verschiebt ihn in einen anderen Bereich. Für den Rest der Formel findet ProB z.B. die Lösung x=6. Gleichzeitig wird "x mod 4 = 0" mit der Belegung x=6 dem Benutzer angezeigt, so dass er erkennen kann, was falsch lief.

Das Thema kann als Bachelor- oder Masterarbeit angegangen werden. Man sollte keine Angst vor logischen Formeln haben (Prädikatenlogik ist nicht wirklich kompliziert). Spaß an der Verbesserung von Benutzeroberflächen wäre sehr hilfreich. Die Implementation findet im Java und Eclipse-Umfeld statt. Die eigentliche Berechnung wird in Prolog erledigt, was aber nicht vom Studenten selbst programmiert werden muss.