Data-driven, functional expert system shell

Claim 2

An expert system shell comprising: (a) a computer having a display device, an entry device, and a memory for string a knowledge base; said knowledge base comprising: (1) variables having values represented by tables of probabitlity distributions keyed by zero, one or more formal parameters; (2) functions defining relationships between the values of each dependent variable and the values of its corresponding argument variables; (3) means for computing the probability distribution of the values of a dependent variable from the probability distribution of the values of the corresponding argument variables; and (b) means for propagating the consequences of a change in the value of a variable to maintain the functional relationships among a selected subset of the dependent variables.

Claim 4

The system of claim 1 further comprising means for recording the types of variables in the knowledge base, including both numeric and symbolic types, means for automatically generating menus for variables selected with a pointing device, means for performing validity checks on variables entered via a keyboard, and means for converting formats into standard formats.

Claim 5

The system of claim 1 further comprising means for automatically generating menus for allowing the end user to see all the existing instances of a variable at runtime and means for allowing the end user to see subsets of the full menu by using a wildcard matching procedure.

Claim 6

The system of claim 1 further comprising means for identifying a variable in the knowledge base uniquely by name, said identifying means including means for segmenting the knowledge base into modules, so that variables in different modules can have the same name, thereby simplifying the creation of a knowledge base by different knowledge engineers.

Claim 7

The system of claim 1 further comprising means for displaying the uncertainty in and the expected value of any variable.

Claim 8

The system of claim 1 wherein said functions comprise a system-provided family of primitive functions, functions specifying the dependence of an instance of a parameterized variable upon other predecessor instances of that same variable, as well as upon other variables.

Claim 9

The system of claim 1 said functions comprising a coherent system-provided family of functions, including functions for (a) arithmetic operations, (b) logical operations, (c) string operations, (d) selection operations, (e) value translation or combination operations, (f) external relation operations, and (g) variable state determination.

Claim 10

The system of claim 1, said propagating means further comprising means for minimizing the computation required during propagation by assuring that the final distributions for all arguments to a function are known before the distribution for the dependent variable is computed.

Claim 11

The system of claim 1 further comprising means for assuring that the visible values or distributions of values computed for any variable depend only on the values or distributions of values of the input variables, and are completely independent of the time sequence in which the inputs are entered.

Claim 12

The system of claim 1 further comprising means for saving all data entered by the end user on a computer file, means for loading that data, and means for ensuring that the system will produce the same outputs regardless of the sequence in which the data had originally been entered.

Claim 13

The system of claim 1 further comprising means for specifying either undefined or specific prior distributions for any variable, and means for displaying or suppressing the display of the distribution of a variable when it is the same as the prior distribution.

Claim 14

The system of claim 1 further comprising an interface between an end user and the variables in the knowledge base, said interface comprising: means for allowing the end user to override the computed value of a dependent variable; and means for restoring the overridden variable to its unoverridden state.

Claim 15

The system of claim 13, said interface further comprising means for specifying a variable as nonoverrideable.

Claim 16

The system of claim 1 further comprising means for having more than one type of probability distribution for the values of a variable, with the ability for the distribution type to change dynamically at run time.

Claim 17

The system of claim 1 wherein said variables may be numeric or symbolic.

Claim 18

The system of claim 1 further comprising an interface between an end user and the variables in the knowledge base, said interface comprising: means for specifying a set of display screens accessible to the end user as a function of the states of certain variables in the knowledge base.

Claim 19

The system of claim 17, said propagating means comprising means for minimizing the computation required during propagation by limiting the propagation to the subset of the dependent variables that are displayed to the end user.

Claim 20

The system of claim 18, said propagating means further comprising means for forcing propagation to extend beyond the displayed subset of dependent variables.

Claim 21

The system of claim 17 further comprising means for specifying special messages and the knowledge base conditions under which these special messages will be presented to an end user.

Claim 22

The system of claim 17 further comprising means responsive to an end-user request for clarifying the meaning of any displayed variable.

Claim 23

The system of claim 17, said interface further comprising means for specifying the layout, contents and appearance of each of the specified screens as a function of the states of specified variables in the knowledge base.

Claim 24

The system of claim 22, said interface further comprising means for specifying a set of variables whose values are displayed to the end user on said specified screens.

Claim 25

The system of claim 23, said interface further comprising means for specifying a set of variables whose values can be entered or changed by the end user.

Claim 26

The system of claim 24 said interface further comprising: means for allowing the end user to override the computed value of a dependent variable; and means for restoring the overridden variable to its unoverridden state.

Claim 27

The system of claim 25, said interface further comprising means for specifying a variable as nonoverridable.

Claim 28

An expert system shell comprising: (a) a computer having a memory for storing a knowledge base, display means for displaying data, and entry means for entering data; said knowledge base comprising: (1) variables having a values represented by tables of probability distributions keyed by zero, one or more formal parameters; (2) functions defining relationships between the values of each dependent variable and the values of its corresponding argument variables; and (3) means for computing the probability distribution of the values of a dependent variable from the probability distribution of the values of the corresponding argument variables; (b) means for propagating the consequences of a change in the value of any variable to maintain the defined functional relationships among a selected subset of the dependent variables; and (c) an interface between the end user and the variables in the knowledge base, said interface comprising: (1) means for allowing the end user to override the computed values of a dependent variable; (2) means for restoring the overridden variable to its unoverridden state; (3) means for specifying a set of screens accessible to the end user, and the layout, contents and appearance of the specified screens, as a function of the states of certain variables in the knowledge base; (4) means for specifying a set of variables whose values are displayed to the end user on said specified screens; and (5) means for specifying a set of variables whose values can be entered or changed by the end user.

Claim 29

An expert system shell comprising: (a) a computer having a memory for storing a knowledge base, display means for displaying data, and entry means for entering data; said knowledge base comprising: (1) variables having a values represented by tables of probability distributions keyed by zero, one or more formal parameters; (2) functions defining relationships between the values of each dependent variable and the values of its corresponding argument variables; and (3) means for computing the probability distribution of the values of a dependent variable from the probability distribution of the values of the corresponding argument variables; (b) means for propagating the consequences of a change in the value of any variable to maintain the defined functional relationships among a selected subset of the dependent variables; and (c) an interface between the end user and the variables in the knowledge base, said interface comprising: (1) means for allowing the end user to override the computed values of a dependent variable; (2) means for restoring the overridden variable to its unoverridden state; (3) means for specifying a set of screens accessible to the end user, and the layout, contents and appearance of the specified screens, as a function of the states of certain variables in the knowledge base; (4) means for specifying a set of variables whose values are displayed to the end user on said specified screens; and (5) means for specifying a set of variables whose values can be entered or changed by the end user.

Claim 30

The system of claim 27, said propagating means comprising means for limiting the propagation to the subset of the dependent variables that are displayed to the end user, thereby minimizing the computation required during propagation.

Claim 31

The system of claim 28, said propagating means further comprising means for forcing propagation to extend beyond the displayed subset of dependent variables.

Claim 32

The system of claim 27, said interface further comprising means for specifying a variable as nonoverridable.

Claim 33

The system of claim 27 whereas said variables may be numeric or symbolic.