JPH0248734A - Control system for knowledge base system - Google Patents

Abstract

PURPOSE:To restore the environment of a system in the other chance so as to continue inference by executing a processing saving environment information required at the time of re-developing inference and re-construction processing the system at the time of resuming inference when inference is interrupted. CONSTITUTION:When it is judged to be the interruption time of inference, an inference environment saving means 3 stores knowledge in a knowledge base 7 in an inference environment storage means 6 under the control of an inference environment control means 5. The inference environment saving means 3 stores information required at the time of resuming inference in the inference environment storage means 6 among information used in an inference device 2 under the control of the inference environment control means 5. When it is judged to be the resuming time of inference, an inference environment restoration means 4 stores knowledge among the inference environment storage means 6 in the knowledge means 7 under the control of the inference environment control means 5, and gives information in the inference environment storage 6 to the inference device 2. Thus, inference can immediately be interrupted even in the middle of inference, and it can be resumed afterwards.

Description

[Detailed description of the invention] [Industrial application field] The present invention relates to a management method for a knowledge base system.

[Conventional technology]

Knowledge-based systems generally perform inferences on knowledge in a knowledge base. Inference is made according to instructions from the user, and the results are displayed. The user looks at the results, gives instructions to make deeper inferences, and repeats the process.

If the user wants to suspend the process and resume it later, he or she can enter a command to write the contents of the knowledge base to a file etc. when the inference result is obtained, or write such a command in the knowledge base. It was necessary to describe the knowledge to carry out the process.

[Problem to be solved by the invention]

As knowledge bases become larger and inferences become more complex, the processing time required to reach a conclusion tends to increase. In this case, there is a risk that the processing may be forcibly interrupted by an operator or the like before a conclusion is reached due to the machine time of the system on which the knowledge base system is operating. Therefore, in this case, an instruction to interrupt the inference is received even during inference, the operating environment such as the progress of the inference is stored in a secondary storage device such as a file, and the system environment is retrieved from there at another time. A mechanism is needed to restore and continue reasoning.

On the other hand, in the method described above, only the knowledge in the knowledge base is written to a file, and all the information necessary to resume processing that was interrupted during inference, such as system data, is written to the file. Not done.

Additionally, there is a function of the operating system (hereinafter referred to as O8) that writes the entire memory to a file, expands it onto the memory, and resumes processing.
File space is wasted because unnecessary information is written to restart the process, and preparation is required in advance, so it cannot be done whenever the user wishes.

[Means to solve the problem]

The management method of the knowledge base system according to the present invention that takes into account the interruption of inference consists of a knowledge base means (hereinafter referred to as knowledge base) that stores knowledge used during system operation, and a knowledge base that performs inference processing on this knowledge base. an inference means (hereinafter referred to as an inference mechanism), an input means for receiving an instruction to stop inference from a user, an inference environment storage means for storing environmental information necessary for restarting inference, and an inference obtained from the knowledge base and the inference mechanism. reasoning environment saving means for storing environment information in the reasoning environment storage means; reasoning environment restoring means for passing reasoning environment information from the reasoning environment storage means to the knowledge base and the reasoning mechanism; and from the reasoning mechanism or the input means. When an inference suspension instruction is issued, the inference environment saving means controls a process of saving environment information required when inference is restarted, and when inference is restarted, the inference environment restoring means controls system reconstruction processing. and environmental management measures.

〔Example〕

Next, the present invention will be explained in detail with reference to the drawings.

Referring to FIG. 1, one embodiment of the present invention includes a knowledge base 7 in which knowledge used during operation of this system is stored, an inference mechanism 2 that performs inference processing on this knowledge base 7, and a user. an input means 1 for obtaining an inference stop instruction from an inference; an inference environment storage means 6 for storing an environment necessary for restarting inference; and an inference environment storage means for storing inference environment information obtained from the knowledge base 7 and the inference mechanism 2. an inference environment saving means 3 for storing inference environment storage means 6; and an inference environment restoring means 4 for passing inference environment information from the inference environment storage means 6 to the knowledge base 7 and the inference mechanism 2.
and, when an inference suspension instruction is issued from the inference mechanism 2 or the input means 1, controlling a process of saving environment information necessary for restarting the inference by the inference environment saving means 3;
It also has an inference environment management means 5 which controls the system reconstruction process by the inference environment restoration means 4 when the inference is restarted.

Next, the present invention will be explained in detail with reference to the drawings.

The input means 1 is for obtaining an instruction to interrupt the inference directly from the user, such as by pressing a break key on the terminal.

The inference mechanism 2 normally performs inference processing on the knowledge base 7, but when receiving an instruction to interrupt inference from a rule, frame, etc., the inference environment management means 5
Inform them of this.

The inference environment saving means 3 is activated when inference is interrupted,
The environment necessary for restarting the inference obtained from the knowledge base 7 and the inference mechanism 2 is stored in the inference environment storage means 6.

The inference environment restoration means 4 is activated when restarting the interrupted inference process, passes the inference environment stored in the inference environment storage means 6 to the knowledge base 7 and the inference mechanism 2, and resumes inference. enable.

The inference environment management means 5 activates the inference environment saving means 3 to control the saving of the inference environment when an instruction to interrupt the inference is obtained from the input means 1 or the inference mechanism 2, and further controls the inference environment when restarting the inference. The inference environment recovery means 4 is activated to control reconstruction of the inference environment.

Next, the main parts of the control of this inference environment management means 5 will be explained in detail.

In process A, it is determined whether the process is a process when the inference is interrupted or a process when the inference is restarted. If the inference is interrupted, processing B and processing C are performed. If the inference is restarted, processing and processing E are performed.

That is, if it is determined that the inference is interrupted, in process B, the inference environment saving means 3 stores the knowledge in the knowledge base 7 in the inference environment storage means 6 under the control of the inference environment management means 5. . Next, in process C, under the control of the inference environment management means 5, the inference environment saving means 3 saves the inference environment from among the information used in the inference mechanism 2 that is necessary when inference is restarted. The information is stored in means 6. This information includes system variables that the user cannot handle using rules, such as the stack for backtracking.

Further, if it is determined that it is time to restart the inference, the inference environment restoration means 4 stores the knowledge in the inference environment storage means 6 in the knowledge base 7 under the control of the inference environment management means 5. . Next, in process E, the inference environment restoring means 4 passes the information in the inference environment storage means 6 to the inference mechanism 2 under the control of the inference environment management means 5.

FIG. 3 is an example of information stored in the inference environment storage means 6.

Field 11 indicates that stored information is stored in the knowledge base 7.
This is a flag for distinguishing whether the information is from the inference mechanism 2 or the inference mechanism 2.

The field 12 is the content of the knowledge base 7 or the inference environment obtained from the inference mechanism 2.

〔Effect of the invention〕

According to the present invention, it is possible to immediately interrupt inference even during inference and then restart it, and there is no need to repeat inference from the beginning as in conventional systems. Also,
Compared to the method of saving the entire operating environment of the system,
Since the present invention saves only the minimum necessary information, the amount of information to be stored can be reduced.

The flowchart and FIG. 3 are diagrams showing an example of information stored for restarting inference in an embodiment of the present invention.

In FIG. 1, 1 is an input means, 2 is an inference mechanism, 3 is an inference environment saving means, 4 is an inference environment recovery means, 5 is an inference environment management means, 6 is an inference environment storage means, and 7 is a knowledge base. There is.

Agent: Patent Attorney Susumu Uchihara

[Brief explanation of the drawing]

FIG. 1 is a diagram showing an embodiment of the present invention, and FIG. 2 is a diagram showing main parts of control in an embodiment of the present invention.

Claims (1)

[Claims] A knowledge base system, comprising: knowledge base means for storing knowledge used during operation of the system; inference means for performing inference processing on the knowledge base means; and an inference stop instruction from a user. an inference environment storage means for storing environment information necessary for restarting inference; and an inference environment saving means for storing inference environment information obtained from the knowledge base means and the inference means in the inference environment storage means. , an inference environment restoring means for passing inference environment information from the inference environment storage means to the knowledge base means and the inference means; an inference environment management means for controlling a process of saving environment information by the inference environment saving means, and controlling a system reconstruction process by the inference environment restoration means when inference is restarted. Management method.