Logic Visualization Machine
First Claim
1. A non-transitory computer storage medium storing computer executable instructions for causing a logic visualization machine to perform a method comprising the steps of:
- displaying a user interface for creating, visualizing and modifying a logical argument and interacting with a user through the user interface to create a computer model the logical argument;
depicting a hypothesis of the logical argument as a dynamic physical analog pictogram in which a computed validity of the hypothesis is represented by a visual aspect of the pictogram having physical significance within the physical analog of the pictogram;
depicting an item of evidence as a dynamic icon within the pictogram having physical significance within the physical analog of the pictogram;
assigning a valence value to the dynamic icon defining a magnitude of influence that the item of evidence has on the hypothesis and depicting the valence value as a visual aspect of the dynamic icon having physical significance within the physical analog of the pictogram;
assigning a direction to the dynamic icon defining whether the influence is supporting or detracting the computed validity of the hypothesis and depicting the direction as a visual aspect of the dynamic icon having physical significance within the physical analog of the pictogram;
assigning or computing a validity value for the dynamic icon defining a confidence in validity of the item of evidence and depicting the validity value as a visual aspect of the dynamic icon having physical significance within the physical analog of the pictogram;
computing a validity effect of the item of evidence on the computed validity of the hypothesis based on the valence value, direction, and validity value of the item of evidence and depicting the validity effect as a change to the visual aspect of the pictogram representing the computed validity of the hypothesis.
0 Assignments
0 Petitions
Accused Products
Abstract
A logic visualization machine that uses dynamic physical analog pictograms to illustrate logical argument structures. With this approach, an analysis of alternative hypotheses is presented in a side-by-side comparison in which each hypothesis is visualized by a similar physical analog pictogram. Elements of evidence are illustrated as physical analog components in the pictograms and ascribed to each pictogram on a consistent basis allowing dynamic adjustment of the pictogram to visually represent the comparative weighting of the evidence in the competing hypotheses. The invention further includes mechanism for incorporating and visualizing logical complexities into the pictograms, including logical operations (e.g., and, or and xor groups) and nested statements. Logic trees and the entry points for individual pieces of evidence can be readily revealed. Quantitative factors including the valence assigned to evidence and validity assessments are made explicit and exposed visually within the pictogram construct.
-
Citations
20 Claims
-
1. A non-transitory computer storage medium storing computer executable instructions for causing a logic visualization machine to perform a method comprising the steps of:
-
displaying a user interface for creating, visualizing and modifying a logical argument and interacting with a user through the user interface to create a computer model the logical argument; depicting a hypothesis of the logical argument as a dynamic physical analog pictogram in which a computed validity of the hypothesis is represented by a visual aspect of the pictogram having physical significance within the physical analog of the pictogram; depicting an item of evidence as a dynamic icon within the pictogram having physical significance within the physical analog of the pictogram; assigning a valence value to the dynamic icon defining a magnitude of influence that the item of evidence has on the hypothesis and depicting the valence value as a visual aspect of the dynamic icon having physical significance within the physical analog of the pictogram; assigning a direction to the dynamic icon defining whether the influence is supporting or detracting the computed validity of the hypothesis and depicting the direction as a visual aspect of the dynamic icon having physical significance within the physical analog of the pictogram; assigning or computing a validity value for the dynamic icon defining a confidence in validity of the item of evidence and depicting the validity value as a visual aspect of the dynamic icon having physical significance within the physical analog of the pictogram; computing a validity effect of the item of evidence on the computed validity of the hypothesis based on the valence value, direction, and validity value of the item of evidence and depicting the validity effect as a change to the visual aspect of the pictogram representing the computed validity of the hypothesis. - View Dependent Claims (2, 3, 4, 5)
-
-
6. A non-transitory computer storage medium storing computer executable instructions for causing a logic visualization machine to perform a method comprising the steps of:
-
displaying a hypothesis panel comprising a plurality of dynamic physical analog pictograms displayed in side-by-side relation, wherein each pictogram represents an alternative hypothesis of a logical argument; displaying an evidence panel comprising a plurality of evidence bars that each represent an item of evidence, wherein each item of evidence represents an evidentiary component assignable to the hypotheses of the logical argument; assigning an instance of each item evidence to one or more of the hypotheses, wherein each instance includes a hypothesis-specific valence value, a hypothesis-specific direction, and a global validity valuation applied to all instances; computing a validity value for each hypothesis determined as a weighted sum of the valence values of the items of evidence assigned to the hypothesis, wherein the validity values are utilized as weighting factors, and wherein the directions are utilized as positive or negative unity; and displaying the computed validity values and dynamic icons as visual aspects of the pictograms having physical significance within the physical analog of the pictograms. - View Dependent Claims (8, 9, 10, 11, 12, 13)
-
-
7. The computer storage medium of claim 7, wherein:
-
the pictogram comprises a test tube; the computed validity of the hypothesis is depicted as a floatation level of an evidence block floating within the test tube; an item of supporting evidence is depicted as a bubble under the evidence block having a physical analog significance of increasing the floatation level; and an item of detracting evidence is depicted as a ballast weight on top of the evidence block having a physical analog significance of decreasing the floatation level.
-
-
14. A non-transitory computer storage medium storing computer executable instructions for causing a logic visualization machine to perform a method comprising the steps of:
-
creating a logical argument in a hierarchical logic tree structure comprising nested nodes; representing a hypothesis for each node by a dynamic physical analog pictogram in which one or more pictograms of other nodes are incorporated as evidentiary components of the pictogram; assigning validity values to evidentiary components representing items of source evidence at their points of entry into the logic tree structure; assigning valence values and directions to each evidentiary component; computing a validity value for each pictogram determined as a weighted sum of the valence values of the evidentiary components assigned to the node, wherein the validity values are utilized as weighting factors, and wherein the directions are utilized as positive or negative unity; and for any selected node, displaying the computed validity value of the associated hypothesis and the evidentiary components of the node as visual aspects of the pictogram having physical significance within the physical analog of the pictogram. - View Dependent Claims (15, 16, 17, 18, 19, 20)
-
Specification