15. A method for automatically generating a knowledge base in a computer from a graphical representation of a logical tree having at least one non-disjunctive branch, comprising the steps of: a) verifying the organization of said logical tree; b) verifying the content of said logical tree; c) generating a plurality of global attributes; d) creating a plurality of classes; and e) creating a plurality of rules as defined by said tree using said plurality of global attributes and said plurality of classes, wherein said rules are executable by an inference engine in a backward chaining mode; wherein said step of creating a plurality of rules comprises the steps of: e1) starting with a first node of an ordered node list, identifying a left-most path leg leading into said first node; e2) identifying the node from which the left-most path leg identified in step e1 originates; e3) if the first node is a solution node, formatting a rule consequent by adding this node to a global solution attribute list; e4) if the first node is a domain link node, formatting the rule consequent by adding this node to the global solution attribute list; e5) if the first node is a procedure link node, formatting the rule consequent by asserting a global truth attribute associated with the root node of the linked procedure to true; e6) if the first node is a test node, formatting the rule consequent by asserting the global truth attribute associated with this node to true; e7) formatting a Boolean expression in the knowledge base language based on a formula found at the current path leg, wherein this expression is made a part of a rule antecedent; e8) determining if the node from which this path originates is the root node and, if not, formatting a Boolean expression to test the global truth attribute associated with the originating node, wherein this expression is made a part of the rule antecedent, and concatenating the node and path Boolean expressions with a logical AND; e9) repeating steps e1 through e8 for each path leading into the first node and, each time a path is processed, concatenating the resulting expression to the rule antecedent with a logical OR; and e10) generating a knowledge base language rule using the formatted rule antecedent and the rule consequent.
15. A method for automatically generating a knowledge base in a computer from a graphical representation of a logical tree having at least one non-disjunctive branch, comprising the steps of: a) verifying the organization of said logical tree; b) verifying the content of said logical tree; c) generating a plurality of global attributes; d) creating a plurality of classes; and e) creating a plurality of rules as defined by said tree using said plurality of global attributes and said plurality of classes, wherein said rules are executable by an inference engine in a backward chaining mode; wherein said step of creating a plurality of rules comprises the steps of: e1) starting with a first node of an ordered node list, identifying a left-most path leg leading into said first node; e2) identifying the node from which the left-most path leg identified in step e1 originates; e3) if the first node is a solution node, formatting a rule consequent by adding this node to a global solution attribute list; e4) if the first node is a domain link node, formatting the rule consequent by adding this node to the global solution attribute list; e5) if the first node is a procedure link node, formatting the rule consequent by asserting a global truth attribute associated with the root node of the linked procedure to true; e6) if the first node is a test node, formatting the rule consequent by asserting the global truth attribute associated with this node to true; e7) formatting a Boolean expression in the knowledge base language based on a formula found at the current path leg, wherein this expression is made a part of a rule antecedent; e8) determining if the node from which this path originates is the root node and, if not, formatting a Boolean expression to test the global truth attribute associated with the originating node, wherein this expression is made a part of the rule antecedent, and concatenating the node and path Boolean expressions with a logical AND; e9) repeating steps e1 through e8 for each path leading into the first node and, each time a path is processed, concatenating the resulting expression to the rule antecedent with a logical OR; and e10) generating a knowledge base language rule using the formatted rule antecedent and the rule consequent. 16. The method of claim 15 further including the step of: f) generating links to electronic documents referenced by said knowledge base.