BSc Project: A Java GUI for visualizing tableau computation graphs
The objective of this project is to implement a visualization tool
that allows to display graphical representations of
tableau computations. In order to observe certain effects of variants
of a tableau algorithm it is essential
to be able to visualize the tableau tree.
The tool should enable the user to do the following:
- display the tree down to a given depth in a "nice" way;
- expand subtrees;
- shift nodes in order to obtain an appropriate representation.
The visualization tool will be used for:
- testing the tableau algorithm and its optimization options
- demonstrating rules and optimizations (which might prune the tree)
for teaching purposes
- optimizing itself -- one might recognize typical structures and identify "hard" subformulas
-- information that can be used to investigate further
optimization techniques
Java is suggested as programming language for the implementation,
portability to Windows and Linux
resp. should be ensured. A suitable graphics library should be chosen.
The student must have some
experience with (GUI)programming in Java and in using graphics libraries.
Knowledge about logic and tableau algorithms is not required.