MSc Project I: A Java GUI for visualizing tableau computation graphs

The aim of this project is to implement a visualization tool that allows to display graphical representations of tableau computations. Those computations are carried out by a system that decides the satisfiability problem for a certain temporalized description logic. The algorithm in use has various optimization options which basically prune a search tree according to heuristic rules. In order to observe the effects of those heuristics, it is essential to be able to visualize the tree. As input for the tool there will be given a file containing information about nodes and edges in GML format (Graph Modelling Language). Node descriptions comprise references to a collection of GIF image files which are to be displayed in the tree. There are two different kinds of edges -- ordinary edges of the tree and special edges that can connect any leaf of the tree with any other node. Subtasks to be performed include: The visualization tool will be used for: Java is suggested as programming language for the implementation, portability to Windows and Linux resp. should be ensured. A suitable graphic library should be chosen. The student must have some experience with (GUI)programming in Java and in using some graphic library. Knowledge about logic and tableau algorithms is not required.