1. A system including a computer and a display means for constructing a logical tree having at least one non-disjunctive branch and displaying a graphical representation of said logical tree for use in automatically generating a knowledge base in a computer comprising: a) node generation means for generating a node in said tree wherein a graphical representation of said node is displayed on said display means; b) type definition means for defining the type of said node wherein permissible node types include a test node type and a solution node type; c) test definition means for defining a test associated with said test node type node; d) solution definition means for defining a solution associated with said solution node type node; e) leg definition means for defining a leg associated with two nodes wherein a graphical representation of said leg may be displayed on said display means; and f) formula definition means for defining a formula associated with said leg.