JPH02220135A - Inference system - Google Patents

Abstract

PURPOSE:To improve the description property of a rule source program by securing a constitution where an update reporting means reflects the information on the update of knowledge carried out during the inference onto an update information table and an inference means obtains the update information by reference to the update information table to supply the update information to an inference network for execution of the inference. CONSTITUTION:An inference means 1 refers to an inference network 3 and decides the presence of the rule knowledge that satisfies a conditional part. Thus the means 1 selects one of those rule knowledges stored in the network 3. Then the means 1 carries out the selected rule knowledge and an update reporting means 5 decides that the knowledge is updated in execution of a rule. Thus the means 5 reflects the update onto an update information table 4. The means 1 refers to the table 4 to acquire the information on the updated knowledge and supplies this information to the network 3 to carry out the second condition collating process. As a result, the description property is improved for a rule source program.

Description

[Detailed description of the invention] [Industrial application field] The present invention relates to an inference method used in knowledge information processing.

[Conventional technology]

Conventionally, in this type of knowledge base system, knowledge information updated during inference is collected in advance from a rule source program at the time of rule compilation. By flowing this information to the inference network during inference, knowledge updates made during inference are reflected in inference. An example of this is FORGY.

C, L, RETE: ``A First Algorithm for the Many Patterns/Many Object Patterns Match Problem'', Artificial Intelligence, Vol. 19, 1982.

[Problem to be solved by the invention]

In the conventional knowledge-based system described above, information on the knowledge performed during inference is collected from the rule source program at the time of rule compilation, so updates to knowledge that do not explicitly appear on the rule source program are reflected in inference. I couldn't do that. Therefore, if the user wants to update the knowledge to the inference, the user must explicitly write the update in the rule source program, which is a disadvantage in terms of description.

[Means to solve the problem]

The method of the present invention includes an inference network means (hereinafter referred to as an inference network) that stores information necessary for inference, a knowledge base means (hereinafter referred to as a knowledge base) that stores knowledge, and knowledge and knowledge obtained by accessing this knowledge base. an inference means for making an inference using the information of the inference network; and an update information holding means for holding the knowledge updated at the time of inference as updated information in response to the update of the knowledge in the knowledge base means by the inference by the inference means. (corresponding to the update information table 4 and update notification means 5 in the following embodiments),
The invention is characterized in that the inference means reflects update information from the update information holding means on the inference network to make inferences.

〔Example〕

Next, one embodiment of the present invention will be described in detail with reference to the drawings.

Referring to FIG. 1, one embodiment of the present invention includes a knowledge base 2 that stores knowledge, an inference network 3 that stores information necessary for inference, and a knowledge base 2 that stores knowledge and the inference network 3. an inference means 1 that utilizes the information, performs inference, and draws a conclusion; an update information table 4 that stores information on knowledge updated during inference by the inference means 1; and an update notification means 5 that manages the update information table 4. including.

The feature of one embodiment of the present invention is that an update information table 4 and an update notification means 5 are provided.

Next, the operation of one embodiment of the present invention will be described with reference to FIGS. 1 and 2.

Referring to FIGS. 1 and 2, first, step 21
In this step, the inference means 1 uses the inference network 3 to check the condition parts of all the rule knowledge and the knowledge stored in the knowledge base 2.

Next, in step 22, the inference means 1 refers to the inference network 3 and determines whether there is any rule knowledge that satisfies the condition part, and if it is determined that there is no rule knowledge, the process ends. If it is determined that there is rule knowledge, step 2
3, the inference means 1 selects one piece of rule knowledge stored in the inference network 3. Next, step 2
4, the reasoning means 1 execute the rule knowledge selected in step 23. The update notification means 5 performs step 25.
In the rule execution carried out in step 24, it is determined whether knowledge has been updated, and if it is determined that there has been no update, steps 22 and subsequent steps are performed. If it is determined that there is an update, the update notification means 5 reflects the update in the update information table 4 in step 26 . Next, in step 27, the inference means 1 refers to the update information table 4, obtains information on the knowledge that has been updated, and performs recondition matching processing by passing the information to the inference network 3. Perform step 22 and subsequent steps.

Here, the rule knowledge is knowledge related to judgment in the field targeted by the knowledge base system, and has a format such as IF, situation, THEN, and conclusion.

Next, an example of a rule is shown.

IF The patient's symptoms are headache, vertex stiffness and fever THE
N The patient has meningitis.

Next, this embodiment will be described with a concrete example.

IF A, a=5 THEN B, b=15 In the rule knowledge above, A and B are frames, and a,
Let b be the slots of A and B, respectively. The rule knowledge is "thrower of frame A) if a is 5, then frame B
"Set the thrower) b to 15." When this rule knowledge is executed, slot b of frame B is updated to 15. The update notification means 5 detects this update and changes the value of thrower b) of frame B in the update information table 4 to 15. Inference means 1 refers to the update information table and learns that slot b of frame B has been changed to 15. Therefore, the inference means 1 transmits the change information to the inference network 3 to perform recondition matching.

〔Effect of the invention〕

A feature of the present invention is that an update information table and an update notification means are provided, the update notification means reflects information regarding updates of knowledge performed during inference on the update information table, and the inference means refers to the update information table and updates the knowledge. The goal is to obtain information, send updated information to the inference network, and proceed with inference.

As a result, the present invention can reflect updates that are not explicitly described in the rule source program in the inference,
This has the effect of improving the descriptive nature of the rule source program.

[Brief explanation of the drawing]

FIG. 1 is a diagram showing the configuration of an embodiment of the present invention, and FIG. 2 is a flowchart showing the operation of the embodiment of the invention. In FIG. 1, l...inference means, 2...knowledge base, 3...inference network, 4...
...Update information table, 5...Update notification means. Agent Patent Attorney Otoji Uchihara

Claims (1)

[Claims] Inference network means for storing information necessary for inference, knowledge base means for storing knowledge, and knowledge obtained by accessing this knowledge base means and information of the inference network are utilized. an inference means for inferring; and an update information holding means for retaining knowledge updated at the time of inference as updated information in response to updating of knowledge in the knowledge base means by inference by the inference means, and the inference means An inference method characterized in that update information from an update information holding means is reflected in the inference network for inference.