ETH Zurich : Computer Science : Pervasive Computing : Distributed Systems : Education : Student Projects : Abstract

Lernumgebung InfoTraffic - Vereinfachung von aussagelogischen Formeln (S)

Status: Abgeschlossen

Das Projekt InfoTraffic beschäftigt sich mit der Entwicklung einer computergestützten, interaktiven und graphischen Lernsoftware für Logik, Warteschlangentheorie und dynamische und verteilte Systeme. Das Ziel ist es, verschiedene Informatik-Konzepte anhand von Verkehrs-Steuerung und Verkehrs-Simulation zu vermitteln.

Der Inhalt eines ersten Teils der entstehenden Lernumgebung besteht darin, durch Aussagenlogik die Sicherheit (keine Fahrzeugkollisionen) an einer einzelnen Strassenkreuzung zu gewährleisten.

Das Ziel dieser Semesterarbeit ist die Implementierung eines Moduls, welches aussagenlogische Formeln vereinfacht und in äquivalente Formeln umwandelt. Beispielsweise sollen Formeln in KNF, falls möglich, kompakter dargestellt werden. Oder "überflüssige" Variablen aus Formeln entfernt werden. Zu Begin dieser Arbeit werden durch eine Literaturrecherche Kriterien für die Einfachheit von Formeln festgelegt und verschiedene Ansätze zur Vereinfachung evaluiert und verglichen. Anschliessend werden die gewählten Lösungen implementiert, aufbauend auf den vorgegebenen Prototypen, resp. kompatibel zu dessen Repräsentation für aussagenlogische Formeln.

Wünschenswert für diese Arbeit sind: - Java-Kenntnisse - Fähigkeit selbständig zu arbeiten - Gewisses Interesse und Flair für Didaktik - Basiswissen Logik