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.
","abstract_html":"<p>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.</p>","abstract_has_math":false,"creators":["Springer, Kyle A."],"institution":null,"degree_name":"Master of Science (MS) in Computer Science","degree_level":"Thesis: EWU Only","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2009,"date_issued":"2009-01-01T08:00:00Z","date_published":"2009-01-01T08:00:00Z","updated_at":"2026-07-24T02:12:46Z","subjects":["Logic and Foundations","Other Computer Sciences"],"languages":[],"rights":["Access perpetually restricted to EWU users with an active EWU NetID"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://dc.ewu.edu/theses/798","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Springer, Kyle A."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis: EWU Only"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master of Science (MS) in Computer Science"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Logic and Foundations","Other Computer Sciences"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["Access perpetually restricted to EWU users with an active EWU NetID"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://dc.ewu.edu/theses/798"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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.
"]},{"key":"dc:title","label":"Title","values":["Novel visualization scheme for reasoning with uncertainty"]}]}],"canonical_facts":{"dc:creator":["Springer, Kyle A."],"dc:description.abstract":["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.
"],"dc:identifier":["https://dc.ewu.edu/theses/798"],"dc:rights":["Access perpetually restricted to EWU users with an active EWU NetID"],"dc:subject":["Logic and Foundations","Other Computer Sciences"],"dc:title":["Novel visualization scheme for reasoning with uncertainty"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Thesis: EWU Only"],"thesis:degree_name":["Master of Science (MS) in Computer Science"]},"updated_at":"2026-07-24T02:12:46Z"}