Off-campus Eastern Washington University users: To download EWU Only theses, please use the following link to log into our proxy server with your EWU NetID and password.
Non-EWU users: Please talk to your local librarian about requesting this thesis through Interlibrary loan.
Date of Award
Access perpetually restricted to EWU users with an active EWU NetID
Thesis: EWU Only
Master of Science (MS) in Computer Science
I developed a visualization scheme for the representation of the uncertainty and relations in reasoning using extended logic programming. This scheme has graphical layout and color utilization components borrowed from data mining, cartography, and general principles of graphic design. Even in simple logic programming examples the node count in reasoning grows quickly. Said growth contributes to a "lost in the weeds" feeling for users. The scheme presented here combats that sense with a three-layered visualization using function specific layouts and a reasonable and meaningful color palette to tame complex systems. As a guideline for future development environment creation this proposal will facilitate effective user interface design to enhance user understanding.
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Springer, Kyle A., "Novel visualization scheme for reasoning with uncertainty" (2009). EWU Masters Thesis Collection. 798.