JPH1139163A - Knowledge system generating device - Google Patents

Abstract

PROBLEM TO BE SOLVED: To provide a knowledge system generating device with which even a user not familiar with programming can easily define rules and also can easily perform debugging. SOLUTION: A table produced by a table form editor 2 has each row corresponding to a single rule and includes an antecedent part, a consequent part and a priority input column. A rule input means 1 inputs the elements for each rule. Priority is inputted in numeric characters and the rule rows are sorted according to the numeric character value, i.e., in the order of higher or lower priority levels. The rule which is inputted by the editor 2 is converted into an actual rule based system-knowledge representation language by a conversion means 4. An inference engine 6 performs an inference via a converted rule definition 5 and a rule set that is inputted by a rule set input means 3.

Description

DETAILED DESCRIPTION OF THE INVENTION

[0001]

[0001] 1. Field of the Invention [0002] The present invention relates to a knowledge system construction apparatus for constructing a rule base system.

[0002]

2. Description of the Related Art In a rule-based system capable of inference by defining a rule of a knowledge system and a rule set in which a plurality of the rules are combined into one set,
To define such information, programming is performed according to the language specification of the rule-based system.

That is, a rule base is constructed using a general-purpose text editor or a dedicated rule editor. This rule construction is a kind of programming. Also,
The constructed rule base is debugged using an inference engine or a debugger. At this time, the execution status of the rule is referred to by the rule name, and to see the actual contents of the rule from the rule name, the editor used to construct the rule is activated.

[0004]

However, it is difficult for a user who is not familiar with programming to define rules for inference, and it is not efficient to debug rules. As described above, an environment where a user who is not familiar with programming can easily define rules and make inferences is required.

Conventionally, since input is performed using a rule-based system knowledge expression language, a rule-based system is constructed not only with knowledge of an inference target but also with an actual rule-based system knowledge expression language, a computer system development environment, and a tool. You must also be familiar with

[0006] An object of the present invention is to provide a knowledge system construction apparatus which makes it easy for a user who is not familiar with programming to define and debug rules.

[0007]

According to a first aspect of the present invention, there is provided a knowledge system construction apparatus having an input area for a rule antecedent part, a consequent part, and a priority. A rule input means for inputting rules by a table editor having a sorting function, a rule set input means for inputting a rule set, and a rule input by a table editor to a rule definition of an actual rule base system knowledge expression language It is provided with conversion means for converting, and an inference engine for executing a rule based on the rule definition converted by the conversion means.

In the knowledge system construction apparatus according to the first aspect of the present invention, one row corresponds to one rule in the table in the table format editor, and a rule antecedent, a rule consequent, and a rule priority are input. With columns. The rule input means inputs each element for each rule. The rule priority is input as a number, and the rule rows are sorted in descending order of priority according to the magnitude of the number. The rules input by the tabular editor are converted by a conversion means into an actual rule-based system knowledge expression language. The inference engine performs inference based on the converted rule definition and the rule set input by the rule set input unit.

According to a second aspect of the present invention, there is provided a knowledge system construction apparatus according to the first aspect, wherein the table format editor comprises:
The priority is changed by moving the line in which the rule is defined.

[0010] The knowledge system construction apparatus according to the second aspect of the present invention provides, in addition to the operation of the first aspect, a rule line which is arranged in ascending or descending order of rule priority and which has another rule line. When moving between rule lines, the priority is changed so that the priority of the moved rule line is intermediate between the rule lines of the movement destination.

According to a third aspect of the present invention, in the knowledge system construction apparatus according to the first aspect of the present invention, the inference engine enables step execution in rule units, and displays rule lines evaluated by a table editor for each step. It is something to do.

[0012] In the knowledge system construction apparatus according to the third aspect of the present invention, in addition to the operation of the first aspect, the inference engine evaluates the antecedent part of the rule and, among those satisfying the conditions of the antecedent part, preferentially. Execute the consequent part of the rule with the highest degree. Inference is made by performing this step until there are no more rules to execute. Change the display of the antecedent part in the table editor for the rule that satisfies the antecedent part condition. Subsequently, the display of the consequent part of the rule having the highest priority is changed.

According to a fourth aspect of the present invention, in the knowledge system construction apparatus according to the third aspect, when a rule is evaluated by the inference engine, the rule is temporarily stopped at a row of a table editor corresponding to the rule. The table format editor is provided with a break point setting area for setting an index of whether or not the break point is set.

According to a fourth aspect of the present invention, in addition to the effect of the third aspect of the present invention, the knowledge system constructing apparatus further comprises, when the antecedent part of a rule is successfully matched and a breakpoint is set in the rule line. At that point the inference pauses. If a plurality of rules have been successfully collated at the time of suspension, rule-based debugging is performed, for example, by changing the priority.

According to a fifth aspect of the present invention, in the knowledge system construction apparatus according to the third aspect, a rule evaluation control information input area for setting an index for determining whether or not to evaluate a certain rule at the time of inference by the inference engine is provided. This is provided for the tabular editor.

According to a fifth aspect of the present invention, in addition to the effect of the third aspect of the present invention, when "do not evaluate rules" is selected in the rule evaluation control information input area, the rule is set. Is not evaluated during inference.

According to a sixth aspect of the present invention, in the knowledge system construction apparatus according to the first aspect of the present invention, the rule set input means is an outline format editor.

In the knowledge system construction apparatus according to the sixth aspect of the present invention, in addition to the operation of the first aspect of the present invention, the rule set definition in the rule set input means sets a rule set name and is included in the rule set. This is done by setting rules. The rule set name is an outline, and the contents of the outline are the actual rules.

According to a seventh aspect of the present invention, in the knowledge system construction apparatus according to the sixth aspect, the priority of the rule set is changed by moving the rule set defined by the outline format editor. is there.

According to a seventh aspect of the present invention, in addition to the operation of the sixth aspect of the present invention, the knowledge system construction apparatus moves a certain rule set to a position next to another rule set, thereby obtaining the moved rule set. Change the ruleset priority so that it has the next priority.

According to the eighth aspect of the present invention, in the knowledge system construction apparatus according to the sixth aspect, the inference engine enables step execution in rule units, and displays the rule set evaluated by the outline format editor for each step. It is something to do.

In the knowledge system construction apparatus according to the invention of claim 8, in addition to the effect of the invention of claim 6, the inference engine evaluates the antecedent part of the rule and, among those satisfying the conditions of the antecedent part, preferentially. Execute the consequent part of the rule with the highest degree.
Inference is made by performing this step until there are no more rules to execute. Then, the rule set name including the rule that satisfies the antecedent part condition is displayed in the outline format rule set editor.

According to a ninth aspect of the present invention, in the knowledge system construction apparatus according to the sixth aspect of the present invention, a rule set evaluation control information input area for setting an index of whether or not to evaluate a certain rule at the time of inference by the inference engine. Is provided in the outline editor.

In the knowledge system construction apparatus according to the ninth aspect of the present invention, in addition to the operation of the sixth aspect of the present invention, when "do not evaluate rule set" is selected in the rule set evaluation control information input area, The rules in the rule set are not evaluated during inference.

According to a tenth aspect of the present invention, in the knowledge system construction apparatus according to the sixth aspect, a table format editor management unit for activating a table format editor when a rule set is designated by a rule set input means is provided. The rules contained in the rule set are read into a tabular editor.

In the knowledge system construction apparatus according to the tenth aspect, in addition to the effect of the sixth aspect, when a rule set name is selected by the rule set input means, the table format editor management unit sets Invokes a tabular editor that defines the rules in the ruleset.

According to the eleventh aspect of the present invention, in the knowledge system construction apparatus according to the fourth aspect of the present invention, the rule line is changed on the tabular editor when the inference engine is temporarily stopped at a breakpoint by stepwise execution of the rule unit. A rule antecedent changing means is provided to change the inference flow.

In the knowledge system construction apparatus according to the eleventh aspect of the present invention, in addition to the effect of the fourth aspect of the present invention, when the antecedent matching of a rule is successful and a breakpoint is set in the rule line, At that point the inference pauses. Then, if the rule antecedent changing means changes the antecedent of the rule at the time of suspension, it is regarded that the matching of the rule has not succeeded, and the consequent of the rule is not executed. Subsequent inferences are made in the changed antecedent part. Changes in the rule antecedent made on the tabular editor are converted into rule expressions, which are subsequently executed by the inference engine.

According to a twelfth aspect of the present invention, there is provided a knowledge system construction apparatus according to the eleventh aspect, further comprising a change history storing means for storing a change history of the antecedent changed by the rule antecedent changing means. It is.

In the knowledge system construction apparatus according to the twelfth aspect of the present invention, in addition to the effect of the eleventh aspect of the present invention, a record of the change of the antecedent part is stored in the change history storage means, and the inference engine continues inference. When the antecedent is to be returned to the previous one, the stored change history is extracted and displayed as a change candidate.

[0031]

Embodiments of the present invention will be described below. FIG. 1 is a configuration diagram of a knowledge system construction apparatus according to the first embodiment of the present invention.

In FIG. 1, in the construction of the knowledge base, rules are input using the rule input means 1. The rule input unit 1 inputs a rule using the table editor 2. The tabular editor 2 is of a format like Microsoft Excel, and has vertical and horizontal matrices. One line corresponds to one rule, and describes the name, priority, antecedent, and consequent of the rule. For example, the first line in FIG. 1 describes as follows.

Rule name: rule-A Priority: 1 Antecedent part: X & Y Consequent part: create A Rules are described in each line as described above. The rule priority sorting function in the tabular editor 2 allows the rule rows to be sorted in ascending or descending order of rule priority.

The rules belong to a set called a rule set. A rule set is a knowledge expression for increasing the efficiency of inference by temporarily removing or adding an entire rule set from targets of execution during inference. Using the rule set input means 3, the definition of the rule set is input according to the specifications of the rule base system knowledge expression language. Knowledge construction by one tabular editor 2 corresponds to knowledge construction of one rule set. In the case of a knowledge base having a plurality of rule sets, rule input is performed using a plurality of tabular editors 2.

The rules input by the rule input means 2 and the rule set input means 3 are converted by a conversion means 4 into a rule definition 5 in an actual rule base system knowledge expression language, and executed by an inference engine 6.

As described above, the knowledge system construction apparatus according to the first embodiment is a rule base system capable of inference by defining rules and rule sets.
Rule set input means 3, rule input means 2 by tabular editor 2 having rule antecedent part, consequent part, priority input area, and information input by tabular editor 2 to actual rule base system knowledge representation Language rule definition 5
And an inference engine 6 for executing these rules. And the table editor 2
Has a rule sorting function of sorting the rules in the table according to the rule priority.

That is, in the input of the tabular editor 2,
One row of the table corresponds to one rule, and the table has columns for entering the rule name, rule priority, rule antecedent, and rule consequent, and input each element for each rule. . The rule priority is input as a number, and the rule rows are sorted in descending order of priority according to the magnitude of the number. The rules input by the tabular editor 2 are converted by a conversion means 4 into an actual rule-based system knowledge expression language.
Inference is performed based on the rule set input by the rule set input unit 3.

As described above, according to the first embodiment, since rules can be input in a table format, the input is easier than in a program format, and the input information is in a table format. It will be easier to see. Therefore, a user who is not familiar with a programming language can also define rules.
In addition, since rule rows can be rearranged according to rule priorities, it is possible to easily understand the execution order of rules and to support the construction of a knowledge system.

Next, a second embodiment of the present invention will be described. FIG. 2 is a configuration diagram of a knowledge system construction device according to the second embodiment of the present invention. This second embodiment is different from the second embodiment shown in FIG. 1 in that the priority of the rule is changed by moving the rule row of the tabular editor 2.

In FIG. 2, a rule row is described by a table editor 2. In the first embodiment, the rule rows are rearranged in the table editor 2 in descending order of the priority. However, when the priority of the rule is changed, the following is performed.

For example, when the priority of the rule N is to be the priority between the rule A and the rule B, the priority is usually set to one smaller than the rule A. However, since there is a rule B having a smaller priority, the rule N
The priority of rule A or rule B must be changed. This change is made as follows.

In the second embodiment shown in FIG. 2, rule-
The priority of N is 5. This is called rule-A (priority 1
To make the priority next to 0), a rule line of rule-N is specified, and this is moved below rule-A by a table operation. Thus, rule-N has the next priority after rule-A. In this case, the priority of rule-N is 10, and the priority of rule-A is 11. If there is a rule with a priority of 11, the priority of the rule is 12, and the priority of the rule is changed in the same manner.

As described above, the knowledge system construction apparatus according to the second embodiment can change the rule priority by moving the line where the rule is defined in the table editor 2. It has a degree change function.

That is, when a rule line is moved between another line with respect to a rule line arranged in ascending or descending order of rule priority, the priority of the moved rule line is determined by the rule interval between the destination rule lines. The priority is changed so that it is exactly in the middle.

According to the second embodiment, since the rule priority in the rule-based system defines the relative order between rules, the rule priority can be determined by a simple operation such as moving or deciding a rule row. Rule priorities can be defined.

Next, a third embodiment of the present invention will be described. FIG. 3 is a configuration diagram of a knowledge system construction device according to the third embodiment of the present invention. This third embodiment is different from the first embodiment shown in FIG. 1 in that the operation of the inference engine 6 is displayed on the tabular editor 2.

In FIG. 3, rules and rule sets input by the rule input means 1 and the rule set input means 3 are converted into rule definitions by the conversion means 4 and executed by the inference engine 6. The inference engine 6 performs the following processing.

(1) Rule antecedent matching (2) Rule selection to execute (conflict resolution) (3) Rule consequent execution The inference engine 6 performs these three steps until there are no more executable rules. . That is, the inference engine 6 according to the third embodiment performs this collation, conflict resolution,
Enables inference step by step for execution. Then, the rule line on the tabular editor 2 of the rule, for which the inference engine 6 succeeded in the matching of the antecedent part, is added to the rule definition 5
The display is changed by referring to. The display change at this time is, for example, a shaded display.

As described above, the knowledge system construction apparatus according to the third embodiment differs from the first embodiment in that the inference engine 6 enables step execution in rule units, and the table editor 2 The rule line evaluated to is displayed. That is, the inference engine 6 evaluates the antecedent part of the rule, and executes the consequent part of the rule having the highest priority among those satisfying the conditions of the antecedent part. Then, inference is performed by repeating this step until there are no more rules to be executed. For rules that meet the preconditions,
The display of the antecedent part on the tabular editor 2 is changed. Subsequently, the display of the consequent part of the rule having the highest priority is changed.

As described above, according to the third embodiment, the display of the rule line that has been successfully collated is changed, so that it is easy to grasp which rule can be executed in the consequent part. If there are a plurality of rules that can be executed in the consequent part, the rule with the higher priority is executed.

Next, a fourth embodiment of the present invention will be described. FIG. 4 is a configuration diagram of a knowledge system construction device according to the fourth embodiment of the present invention. The fourth embodiment is different from the third embodiment shown in FIG. 3 in that a breakpoint can be set for a rule on the table editor 2.

In FIG. 4, a breakpoint setting area BP is provided in the tabular editor 2. By selecting this area, it stops when the rule becomes executable. This stop is performed by the processing of the inference engine 6. After the conflict is resolved, the name of the executable rule is known. If the rule name is the same as the breakpoint rule set in the tabular editor 2, the inference is suspended. Otherwise, the inference is continued. continue.

As described above, the knowledge system construction apparatus according to the fourth embodiment is different from the third embodiment in that, when a certain rule is evaluated, a line of the table editor 2 corresponding to the rule is evaluated. The table format editor has a breakpoint setting area for enabling a pause. That is, a breakpoint setting area is provided for each rule line so that inference is temporarily stopped when the antecedent matching of a certain rule is successful.

A breakpoint is set in this area,
If the antecedent is successfully verified, the inference is suspended at that point. If the collation of a plurality of rules is successful at the time of suspension, for example, rule-based debugging is performed by changing the priority.

According to the fourth embodiment, the setting of the temporary stop point can be performed on the tabular editor 2, so that the knowledge base can be efficiently constructed. For the suspended rule, change the consequent part of the rule, for example, "create" in FIG.
Since “B” can be changed to “create E”, the knowledge base construction efficiency is improved.

Next, a fifth embodiment of the present invention will be described. FIG. 5 is a configuration diagram of a knowledge system construction apparatus according to the fifth embodiment of the present invention. The fifth embodiment is different from the third embodiment shown in FIG. 3 in that evaluation of rules on the tabular editor 2 can be temporarily stopped.

In FIG. 5, a table format editor 2 is provided with a rule evaluation control information input EV. By selecting this area, the inference engine 6 refers to the rule definition 5 and
The antecedent part of the rule is excluded from collation by inference.

As described above, the knowledge system construction apparatus according to the fifth embodiment is different from the third embodiment in that the rule evaluation control information input area of "evaluate or not evaluate a certain rule" at the time of inference is represented by a table. Prepare for Editor 2. Then, when "do not evaluate rule" is selected in the rule evaluation control information input area, the rule is not evaluated during inference.

According to the fifth embodiment, the evaluation or non-evaluation of inference can be set on the tabular editor 2 and the collation target can be changed, so that the knowledge base can be debugged efficiently.

Next, a sixth embodiment of the present invention will be described. FIG. 6 is a configuration diagram of a knowledge system construction device according to the sixth embodiment of the present invention. This sixth embodiment is different from the first embodiment shown in FIG. 1 in that the rule set input means 3 is inputted by an outline format editor 7.

In FIG. 6, an outline format editor 7 is, for example, a format in which an outline is first entered as in Microsoft PowerPoint, and an editor describing details of the outline is opened or closed by selecting a certain outline. It is.

FIG. 7 is an explanatory diagram of an outline format editor. As shown in FIG. 7A, first, a rule set name is input as an outline together with the rule set priority. Subsequently, by selecting a part of the rule set, an input area for the rule is secured, and a rule name included in the rule set is input.

FIG. 7B shows an example of such a case.
By inputting t-X and rule-Y as outlines and selecting rule-X, a rule name input area is secured, and rule-A and r-R are set.
ule-B or the like can be input. In FIG. 7A, the rule input area is closed by selecting rule-X.

As described above, the knowledge system construction apparatus according to the sixth embodiment is different from the first embodiment in that the rule set input means 3 is an outline format editor 7. A rule set is a set of rules, and a certain rule is included in one of the rule sets. When defining a ruleset, first define the ruleset name. Subsequently, rules included in the rule set are defined.
By specifying the rule set name, the rules included in the rule set can be displayed or hidden by the rule set input unit 3. The rule set name is an outline, and the contents of the outline are the actual rules.

According to the sixth embodiment, the relation between the rule and the rule set is displayed simply by selecting the rule set name, so that the relation between the rule name and the rule set name can be easily grasped.

Next, a seventh embodiment of the present invention will be described. FIG. 8 is a configuration diagram of a knowledge system construction device according to the seventh embodiment of the present invention. The seventh embodiment differs from the sixth embodiment shown in FIG. 6 in that the priority of a ruleset input by the outline format editor 7 is changed by moving the ruleset name. Things.

In FIG. 8, the rule set rulese
When it is desired to set the priority of tX to be higher than ruleset-Y, the ruleset can be changed by moving ruleset-X after ruleset-Y. Rules included in a rule set with a higher priority are executed in inference.

As described above, the knowledge system construction apparatus according to the seventh embodiment changes the rule set priority by moving the rule set defined by the outline format editor 7 with respect to the sixth embodiment. Has a rule set priority that can be done. That is, the rule set has the same priority as the rule. By moving one ruleset to the next position in another ruleset,
Change the ruleset priority so that it has the next priority after the moved ruleset.

According to the seventh embodiment, the priority of a rule set can be changed by a method of moving a rule set name, so that a knowledge base can be efficiently constructed.

Next, an eighth embodiment of the present invention will be described. FIG. 9 is a configuration diagram of a knowledge system construction device according to the eighth embodiment of the present invention. The eighth embodiment is different from the sixth embodiment shown in FIG. 6 in that the inference engine 6 enables the execution of steps in rule units, and the evaluated rule set of the outline format editor 7 is stored for each step. It is intended to be displayed.

In FIG. 9, the rule set input means 3 of the outline format editor 7 reverses the display of the name of the rule set that has succeeded in matching the rules when executing inference. The rule name and the rule set name are extracted from the inference engine 6, and are extracted from the rule definition 5
To change the display of the rule set name on the outline format editor 7.

As described above, the inference engine 6 evaluates the antecedent part of the rule, and executes the consequent part of the rule having the highest priority among those satisfying the conditions of the antecedent part. Perform inference by performing this step until there are no more rules to execute. The rule set name including the rule satisfying the antecedent part condition is displayed in the outline format editor 7.

According to the eighth embodiment, since the rule set to be executed can be easily grasped by changing the display, it is possible to construct an efficient knowledge base.

Next, a ninth embodiment of the present invention will be described. FIG. 10 is a configuration diagram of a knowledge system construction device according to the ninth embodiment of the present invention. This ninth embodiment is different from the sixth embodiment shown in FIG. 6 in that a rule set evaluation control information input for setting an index of whether or not to evaluate a certain rule at the time of inference by the inference engine 6 is performed. An area is provided in an outline format editor.

In FIG. 10, the rule set inputting means 3 of the outline format editor 7 makes it possible to suspend the evaluation of the rule set. A rule set evaluation control information input area for setting rule set evaluation and non-evaluation is provided on the outline format editor 7. For example, a square (□) is provided before the rule set name.

When a non-evaluation is set on this square (□) icon, the icon is marked with a cross. At the time of inference, the inference engine 6 does not evaluate the rule set marked with x. Therefore, the antecedent part of the rule included in the rule set is not set as the collation target. This makes it possible to perform evaluation and non-evaluation on a rule set basis.

As described above, in the knowledge system construction apparatus according to the ninth embodiment, the rule set evaluation control information input area for evaluating or not evaluating a certain rule set at the time of inference is different from the sixth embodiment. Prepare for outline editor. Therefore, when "do not evaluate rule set" is selected in the rule set evaluation control information input area, the rules included in the rule set are not evaluated during inference.

According to the ninth embodiment, evaluation and non-evaluation of inference can be set and the collation target can be changed on the outline format editor 7, so that the knowledge base can be debugged efficiently.

Next, a tenth embodiment of the present invention will be described. FIG. 11 is a configuration diagram of a knowledge system construction device according to the tenth embodiment of the present invention. This tenth embodiment is different from the sixth embodiment shown in FIG. 6 in that a table format editor management unit 8 which activates the table format editor 3 when a rule set is designated by the rule set input means 3. And the rules included in the rule set are read into the table editor 2.

As shown in FIG. 11, when a rule set is specified in the rule set input means 3 of the outline format editor 7, the tabular editor 2 corresponding to the rule set is started, and the rules included in the rule set are set. Enable editing.

That is, a rule set is selected on the square (□) icon in front of the rule set name in the outline format editor 3. When a rule set is selected, the tabular editor management unit 8 determines which rule set name has been selected. Then, the table format editor 2 is started, and the rules included in the rule set are read by the table format editor 2 so that the rules included in the selected rule set can be edited.

Here, the rules included in a certain rule set are defined by one tabular editor 2 for each rule set. Therefore, in the tenth embodiment, when a certain rule set name is selected by the rule set input means 3, the tabular editor managing unit 8 activates the tabular editor 2 for defining the rules in the rule set. To enter rules included in the rule set.

According to the tenth embodiment, since the tabular editor 2, which is a rule editing editor, can be started directly from the outline editor 7, rules can be input efficiently.

Next, an eleventh embodiment of the present invention will be described. FIG. 12 is a configuration diagram of a knowledge system construction device according to the eleventh embodiment of the present invention. The eleventh embodiment is different from the fourth embodiment shown in FIG. 4 in that when the inference engine 6 pauses at a breakpoint in step execution in rule units, the rule line The rule antecedent changing means 9 for changing the inference is provided so that the flow of inference can be changed.

In FIG. 12, a break point setting area BP is provided in the tabular editor 2, and when this area is selected, the operation is stopped when the rule becomes executable. That is, if the antecedent part collation by the inference engine 6 succeeds, the inference is temporarily stopped at that point.

At the time of this suspension, the antecedent of the rule is changed by the table editor 2. As shown in FIG. 12, the rule name at the breakpoint is “ru1e-
B ”, and the antecedent part is“ Y & Z ”. Here, it is assumed that the antecedent is changed to “V & W & Y & Z”. The change of the rule is reflected in the rule expression by the rule antecedent changing means 9.

In this change, if the antecedent part of the rule is established, the consequent part of the rule is executed and the subsequent inference is performed. If the antecedent of the rule does not hold due to the change, the consequent of the rule is not executed. Then, the subsequent inference is performed using the changed rule.

As described above, the knowledge system construction apparatus according to the eleventh embodiment differs from the fourth embodiment in that, when a certain rule is evaluated, the knowledge system is temporarily stopped at the row of the table editor 2 corresponding to the rule. The tabular editor 2 is provided with a breakpoint setting area for enabling the setting. Further, a rule antecedent changing means 9 is provided which changes the antecedent part of the rule that succeeded in matching so that the matching becomes unsuccessful, thereby preventing the consequent part of the rule from being executed. I have.

That is, a breakpoint setting area is provided for each rule line so that the inference is temporarily stopped when the antecedent matching of a rule is successful. If a breakpoint is set in this area and the antecedent part matching is successful, the inference is suspended at that point. If the antecedent part of the rule is changed at the time of the suspension, the matching of the rule is regarded as unsuccessful, and the consequent part of the rule is not executed.
Subsequent inferences are made in the changed antecedent part. The change of the rule antecedent performed on the tabular editor 2 is converted into a rule expression by the rule antecedent changing means 9 and thereafter executed by the inference engine 6.

According to the eleventh embodiment, when the inference is temporarily stopped, the table editor 2 can dynamically change the conditions of the antecedent part of the rule, such as stricter conditions and conversely, relax the conditions. Therefore, it is possible to efficiently construct a knowledge base system.

Next, a twelfth embodiment of the present invention will be described. FIG. 13 is a configuration diagram of a knowledge system construction device according to the twelfth embodiment of the present invention. The twelfth embodiment is different from the eleventh embodiment shown in FIG.
A change history storage means for storing a change history of the antecedent part changed by the rule antecedent change means is provided, and a record of the change of the antecedent part is stored in the change history storage means. When the inference is continued and the antecedent is returned to the previous one, the stored change history is taken out and can be displayed as a change candidate.

When the inference engine 6 succeeds in matching the antecedent part, the inference is temporarily stopped at that time. At the time of the suspension, the antecedent part of the rule is changed by the tabular editor 2. As shown in FIG. 13, the rule name at the break point is “rule-B”, and the antecedent part is “Y & Z”.
It has become. Here, the antecedent part is changed and the antecedent part “V
& W & Y & Z ". The change in the rule is reflected in the rule expression by the rule antecedent changing means 9 and is also stored in the change history storing means 10 together with the past history. That is, for the rule name "rule-B",
The antecedent “Y & Z” before the change and the antecedent “V & W” after the change
& Y & Z "is stored.

Then, the inference engine 6 further performs inference, and as a result of re-changing the antecedent part of the rule-B, the change history storage means 10 stores the rule name “rule-B” before the change. Antecedent part "Y &Z", antecedent part "V & W & Y &Z" after change, antecedent part before change "V & W & Y &
Two sets of history data, ie, "Z" and the changed antecedent part "W & X & Y &Z" are stored.

The history of the change is stored and displayed as needed. Further, if further inference is made and it is determined that it is better to return to the original antecedent part, the past change history is taken out from the change history storage means 10 and the antecedent part before the change to be returned is selected. To return the antecedent.

The knowledge system construction apparatus according to the twelfth embodiment is different from the eleventh embodiment in that when a certain rule is evaluated, it can be paused at the row of the table editor 2 corresponding to the rule. A breakpoint setting area is provided in the tabular editor. Further, there is provided a rule antecedent changing means 9 for changing the antecedent part of the rule which has been successfully collated so that the collation becomes unsuccessful, and a change history storage means 10 for storing the change history thereof. Based on the change history from the means 10, a candidate for the change is output.

That is, if the antecedent matching of a certain rule is successful, a breakpoint setting area is provided for each rule line so that inference is temporarily stopped there. If a breakpoint is set in this area and the antecedent part matching is successful, the inference is suspended at that point. Change the antecedent part of the rule at the time of suspension. At this time, a record of the change is stored. Also, if we continue our inference,
When the antecedent part is returned to the previous one, the change history is taken out from the change history storage means 10 and displayed as a change candidate. This facilitates changing the antecedent part of the rule.

According to the twelfth embodiment, when the inference is temporarily stopped, the change history of the condition of the antecedent part of the rule is stored on the tabular editor 2, and the original state is restored if necessary. Therefore, the knowledge base system can be efficiently constructed.

[0098]

As described above, according to the present invention, a knowledge base can be input by using a table editor or an outline editor. Further, knowledge debugging can be performed based on the knowledge base input by the table format editor or the outline format editor. Therefore, even a user who is not familiar with programming or a rule-based system knowledge expression language can easily construct a knowledge system.

[Brief description of the drawings]

FIG. 1 is a configuration diagram of a knowledge system construction apparatus according to a first embodiment of the present invention.

FIG. 2 is a configuration diagram of a knowledge system construction device according to a second embodiment of the present invention.

FIG. 3 is a configuration diagram of a knowledge system construction device according to a third embodiment of the present invention.

FIG. 4 is a configuration diagram of a knowledge system construction device according to a fourth embodiment of the present invention.

FIG. 5 is a configuration diagram of a knowledge system construction device according to a fifth embodiment of the present invention.

FIG. 6 is a configuration diagram of a knowledge system construction device according to a sixth embodiment of the present invention.

FIG. 7 is an explanatory diagram of an outline format editor of a knowledge system construction device according to a sixth embodiment of the present invention.

FIG. 8 is a configuration diagram of a knowledge system construction device according to a seventh embodiment of the present invention.

FIG. 9 is a configuration diagram of a knowledge system construction device according to an eighth embodiment of the present invention.

FIG. 10 is a configuration diagram of a knowledge system construction device according to a ninth embodiment of the present invention.

FIG. 11 is a configuration diagram of a knowledge system construction device according to a tenth embodiment of the present invention.

FIG. 12 is a configuration diagram of a knowledge system construction device according to an eleventh embodiment of the present invention.

FIG. 13 is a configuration diagram of a knowledge system construction device according to a twelfth embodiment of the present invention.

[Explanation of symbols]

 DESCRIPTION OF SYMBOLS 1 Rule input means 2 Tabular editor 3 Rule set input means 4 Conversion means 5 Rule definition 6 Inference engine 7 Outline format editor 8 Tabular editor management unit 9 Rule antecedent part changing means 10 Change history storing means

Claims (12)

[Claims] 1. A knowledge system construction apparatus for constructing a knowledge system capable of inference by defining a rule of a knowledge system and a rule set in which a plurality of the rules are grouped into one set. Rule input means for inputting the rule by a tabular editor having an input area for a subject part, a consequent part, and a priority, and having a function of rearranging the rules according to the magnitude of the priority; and A rule set input unit for inputting, a conversion unit for converting a rule input by the tabular editor into a rule definition of an actual rule-based system knowledge expression language, and the rule based on the rule definition converted by the conversion unit. A knowledge system construction device comprising an inference engine for executing 2. The knowledge system construction apparatus according to claim 1, wherein the tabular editor changes the priority by moving a line in which the rule is defined. 3. The inference engine according to claim 1, wherein the inference engine enables the step execution of the rule unit, and displays a rule line evaluated by the tabular editor for each step. Knowledge system construction equipment. 4. When a rule is evaluated by the inference engine, a breakpoint setting area for setting an index of whether or not to pause in a row of the table editor corresponding to the rule is set in the table editor. The knowledge system construction apparatus according to claim 3, wherein the apparatus is provided. 5. The table editor according to claim 3, wherein a rule evaluation control information input area for setting an index of whether or not to evaluate a certain rule at the time of inference by the inference engine is provided in the tabular editor. Knowledge system construction equipment. 6. The knowledge system construction apparatus according to claim 1, wherein said rule set input means is an outline format editor. 7. The knowledge system construction apparatus according to claim 6, wherein a priority of said rule set is changed by moving a rule set defined by said outline format editor. 8. The knowledge system according to claim 6, wherein the inference engine enables step execution in rule units and displays a rule set evaluated by an outline format editor for each step. Construction equipment. 9. The outline format editor according to claim 6, wherein a rule set evaluation control information input area for setting an index of whether or not to evaluate a certain rule at the time of the inference by the inference engine is provided. Knowledge system construction equipment. 10. A table format editor management unit for activating said table format editor when said rule set is designated by said rule set input means, and reading rules included in said rule set into said table format editor. 7. The knowledge system construction apparatus according to claim 6, wherein: 11. A rule antecedent changing means for changing a rule row on the tabular editor when the inference engine temporarily stops at a breakpoint in stepwise execution of a rule unit in the rule unit to change a flow of inference. 5. The knowledge system construction apparatus according to claim 4, wherein: 12. The knowledge system construction apparatus according to claim 11, further comprising a change history storing means for storing a change history of the antecedent part changed by said rule antecedent changing means.