JPH086792A - Expert system inference control method - Google Patents

Abstract

PURPOSE:To provide an inference control method for an expert system capable of performing scrupulous inference control and inference with high efficiency. CONSTITUTION:A peripheral process 10 is provided with a state change detecting function 11, a table detecting function 11 classified by every inference, a judging function 13 classified by every inference, an inference start request mail transmission function 14 and a retrieve function 15 classified by every inference, and also, the scrupulous inference control can be executed by an inference process 20 by providing an inference start request mail receiving function 21 and corresponding inference functions 22a-22n classified by every specification.

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an expert system control method, and more particularly to an inference start notification method for an expert system.

[0002]

2. Description of the Related Art The software structure of an expert system is generally divided into peripheral processes and inference processes. The peripheral processes are system operation, state change detection, data input / output, data management, setting change, drawing, calculation, printing. , Engineering (maintenance) processing is performed, and the inference process performs knowledge inference.

In order for the expert system to make an inference, the peripheral process first detects a state change to determine whether or not the state change is necessary for the inference. To notify. Thereby, the inference process performs knowledge inference processing.

[0004]

Since the expert system generally performs knowledge inference processing, the load of inference processing is heavy from the viewpoint of the entire system, and unless efficient inference is performed, the processing speed of the system becomes slow. , Especially as the number of inference rules or frames increases.

Therefore, in order to perform inference corresponding to a situation when the inference process side receives an inference start notification from a peripheral process, it is necessary to perform inference control in detail and perform effective inference.

The present invention has been made in view of the above-mentioned problems of the prior art, and an object thereof is to provide an inference control method for an expert system capable of finely performing inference control and performing efficient inference.

[0007]

In order to achieve the above object, an inference control method for an expert system according to the present invention comprises:
The software configuration is the peripheral process and the inference process,
A transmission position in an expert system in which the peripheral process detects a state change and determines whether or not the state change is necessary for inference An inference type is defined in advance for each, and when the peripheral process detects a change in position, the inference type of the position is checked, and if there is an inference type, the inference type is stored in the inference start request mail and the peripheral process is stored. From the inference process to the inference process together with the inference type, the inference process receives the inference start request mail transmitted from the peripheral process, extracts the inference type, and performs inference control corresponding to the inference type. Characterize.

[0008]

When the peripheral process has a change in the transmission position, it is checked from the table that defines the inference type of the position. The inference process side receives the inference start request mail transmitted from the peripheral process, extracts the inference type, and performs inference corresponding to the inference type.

[0009]

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS An embodiment of the present invention will be described below with reference to FIG.

FIG. 1 is a software block diagram of an expert system according to an embodiment of the present invention. Peripheral process 1
0 is the state change detection function 11, the inference table search function 12, the inference type determination function 13, the inference start request mail transmission function 14
And an inference type search table 15. The inference process 20 has an inference start request mail reception function 21 and type-specific inference functions 22a, 22b, ..., 22n.

In the software configuration of the expert system shown in FIG. 1, the inference process can be inferred for each inference function. The inference type search table 15 defines inference types in advance for each transmission position. The inference types are 1, 2, 3, ..., N, and the positions having no inference type are inference types = 0. Further, the inference types are classified in advance corresponding to each inference function. Peripheral process 1
In 0, when it is detected that the transmission position has a state change by the state change function 11, the inference type table search function 12 searches the inference type search table 15 for the inference type of the position.

[0012] When the state change position is inference type ≠ 0,
The peripheral process 10 stores the inference type in the inference start request mail, transmits the inference process, and notifies the inference start together with the inference type. In this case, when there are a plurality of inference types, as many inference types are stored in the inference start request mail. The inference process 20 side receives the inference start mail transmitted from the peripheral process 10, extracts the inference type, and performs inference corresponding to the inference type, that is, the inference function.

[0013]

As described above, the present invention defines the inference type for each transmission position in advance, and when the peripheral process detects a change in the position, the inference type of the position is checked and the inference type is checked. If there is, the inference type is stored in the inference start request mail and the inference start is transmitted from the peripheral process to the inference process together with the inference type.
The inference process receives the inference start request mail transmitted from the peripheral process, extracts the inference type, and performs inference control corresponding to the inference type. Therefore, it is easy to determine the inference function corresponding to the type. It is possible to obtain an inference control method for an expert system that can perform efficient inference.

[Brief description of drawings]

FIG. 1 is a software configuration diagram of an expert system showing an embodiment of the present invention.

[Explanation of symbols]

 10 ... Peripheral process 11 ... State change detection function 12 ... Inference type table search function 13 ... Inference type determination function 14 ... Inference start request mail transmission function 15 ... Inference search table 20 ... Inference process 21 ... Inference start request mail reception function 22a ~ 22n ... Type-specific reasoning function

Claims (1)

[Claims] 1. A software configuration is composed of a peripheral process and an inference process, the peripheral process detects a state change, judges whether or not the state change is necessary for the inference, and when the inference is necessary, the inference process side is communicated by interprocess communication. In the expert system that informs the inference process and infers in the inference process, the inference type is defined in advance for each transmission position, and when the peripheral process detects a state change of the position, the inference type of the position is checked and there is the inference type. In the case where the inference type is stored in the inference start request mail and the inference start is transmitted from the peripheral process to the inference process together with the inference type, the inference process receives the inference start request mail transmitted from the peripheral process, An expert system characterized by extracting the inference type and performing inference control corresponding to the inference type Logical control method.