JPH04320529A - Knowledge system and its structuring processor - Google Patents

Abstract

PURPOSE:To provide the knowledge system which includes rule sets having a constant form and free forms and its structuring processor by constituting the rule sets constituting the knowledge system by a free program as to a knowledge system which advances inference by executing the rule sets. CONSTITUTION:An inference processing part 11 is a system which performs the inference process by repeating a process, wherein one rule set in a rule set group 10 is selected by a specific selecting process and executed, until a specific end condition is met. The rule sets are provided with 1st and 2nd kinds of processing form and the 1st kind of rule sets 12 has a rule main body 13 of specific condition, and the rule main body is an array of >=1 rule 14 and each rule has a condition decision process and a procedure executed when the condition is satisfied. The 2nd kind of rule set 15 is so constituted as to have a rule main body 16 consisting of a procedure in optional processing form for executing a necessary process.

Description

[Detailed description of the invention]

0001

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a knowledge system in which inference is advanced by executing a set of rules, and a processing device for constructing the knowledge system.

0002

2. Description of the Related Art FIG. 2 shows an example of the configuration of a knowledge system processing device. When an inference processing unit 1 is activated to perform inference based on a rule set group 2, it first executes predetermined preprocessing 4. After preparing the environment, the rule set specified by the inference activation message 3 is selected from the rule set group 2 in process 5, and the execution of that rule set is started.

The rule set group 2 consists of one or more rule sets, and each rule set consists of a preprocessing, a rule body, and a postprocessing. The rule body consists of one or more rules, and each rule has a certain processing format whose main parts are a condition judgment and a procedure to be executed when the condition is met.By executing the procedure when the condition is met, a so-called event is generated. to update the occurrence status of the event.

[0004] The inference processing unit 1 processes the rules of the rule set in order from the beginning, executes the procedure of the rule for which the condition is satisfied, and extracts the executed rule (that is, the rule for which the condition is satisfied).
When the number of rules reaches a certain number or all rules have been processed, execution of that rule set ends. A program that detects termination conditions using a certain processing format is also embedded in the rule set.

[0005] When the processing of one rule set is finished, the process goes to end judgment process 6, and if the judgment result is not to end, then in event selection process 7, the process is performed again based on the occurrence state of the event at that time using a predetermined method. Select one of the rule sets and process the rule set as described above.

In this way, by repeating the selection and execution of the rule set, if the state satisfies a certain termination condition, the process proceeds from termination determination process 6 to post-processing 8, and the inference process is completed.

[0007]

[Problem to be Solved by the Invention] As mentioned above, a rule set is composed of a main part of a rule body consisting of rules in a certain format consisting of condition judgment and a procedure to be executed when the condition is met. You must try to formulate reasonable inferences. Although such a format naturally has well-known advantages, depending on the problem, such a format may be difficult to adapt to human thinking and judgment processes. In such cases, it is desirable to be able to manipulate events using free-form programming even in environments where inference is advanced by issuing events.

[0008] The present invention enables a rule set constituting a knowledge system to be constructed by a free program, and aims to provide a knowledge system in which fixed-form rule sets and free-form rule sets coexist, and a construction processing device thereof.

[0009]

Means for Solving the Problems FIG. 1 is a block diagram showing the configuration of the present invention. FIG. 1(a) shows the configuration of a knowledge system, which includes a rule set group 10 consisting of one or more rule sets and an inference processing section 11. This system performs inference processing by repeating processes selected and executed in a predetermined selection process until a predetermined termination condition occurs.

The rule set is provided with first and second types of processing formats, and the first type of rule set 12 has a rule body 13 having a predetermined configuration, and the rule body includes one or more rules. This is a list of 14 rules, each of which has a condition determination process and a procedure that is executed when the condition is satisfied.

[0011] The second type of rule set 15 has a rule body 16 configured by a procedure of an arbitrary processing type that executes a required process. FIG. 1(b) shows the configuration of a knowledge system construction processing device, which includes a precompiler 20 and a compiler 21 when generating a rule set for the knowledge system.

[0012] The precompiler 20 analyzes the program 22 in which the rule set is written according to a predetermined convention, and
If the program has a predetermined specification statement, the rule set is processed as a program of the second processing format, and the portion following the specification statement is unconditionally input to the compiler.

[0013] If the specified statement does not exist, the rule set is processed as a program in the first processing format, the program is analyzed based on the predetermined processing format, and the necessary conversion is performed. A program is converted into a program written in a predetermined programming language and is input to the compiler.

The compiler 21 converts the program 23 resulting from processing by the precompiler 20 into a target program 24 that executes the rule set.

[0015]

[Operation] According to the knowledge system of the present invention, a rule set can be a mixture of a rule set consisting of fixed rules and a rule set in which processing is described using an arbitrary procedure.

The source programs for both types of rule sets can be identified by specified statements, and if the precompiler is a standard program, it will be analyzed and inspected based on the description rules for the standard process, and if necessary, it will be converted and converted into a COBOL language, for example. Output it as a source program. If the procedure is not a fixed format, the procedure written in the COBOL language is output as is.

[0017] The compiler may be a general COBOL compiler, and processes the output of the precompiler to generate a target program that executes the rule set.

[0018]

Embodiment The inference processing unit 11 shown in FIG. 1A performs inference processing on the rule set group 10 in the same manner as the conventional inference processing unit 1 shown in FIG.

FIG. 3 shows an example of a general form of a source program for a rule set, and is an example when using the COBOL language. A processing program is described in "PROCEDURE DIVISION", and FIG. 3(a) shows a typical form of a source program. This is the case of the first type of processing format, which has a rule body consisting of rules that follow conventions.

FIG. 3(b) is an example of describing event operations etc. in a free-form procedure.
E-FORMAT. ” indicates that the following program consists of free-form programs.

FIG. 4 shows an example of the processing flow of the precompiler 20. In processing step 30, the specified statement "FREE-F
ORMAT. ”, and if there is no specification, the syntax analysis and necessary conversion are performed based on the standard description convention in processing step 31, and if there is no error, the resulting program 23 is passed through processing step 32 and processed to the compiler in processing step 33. and outputs an error message if there is an error.

[0022] If there is a specified statement "FREE-FORMAT.", it can be processed as a normal COBOL program, so in processing step 34 the program 23 is
Pass it to the compiler as

[0023]

[Effects of the Invention] As is clear from the above explanation, according to the present invention, in a knowledge system in which inference is advanced by executing a set of rules, the set of rules constituting the knowledge system can be configured by a free program. west,
Since it is possible to configure a knowledge system that includes a mixture of fixed-form and free-form rule sets, it is easier to introduce necessary design conditions, such as making it easier to change parts that are likely to change, and to improve system construction. It has a significant industrial effect of improving productivity.

[Brief explanation of drawings]

[Figure 1] Block diagram showing the configuration of the present invention

[Figure 2]
Block diagram showing a conventional configuration example

[Figure 3] Diagram explaining the general form of a rule set

[Figure 4] Flowchart of precompiler processing

[Explanation of symbols]

1, 11 Inference processing section 2, 10 Rule set group 12, 15 Rule set 13, 16 Rule body 14 Rules 20 Precompiler 21 Compiler 22, 23 Program 24 Purpose program 30-34 Processing steps

Claims (2)

[Claims] 1. A rule set group (10) consisting of one or more rule sets, and an inference processing section (11), wherein the inference processing section performs a predetermined selection process on one rule set of the rule set group. A system that performs inference processing by repeating selected and executed processing until a predetermined termination condition occurs, wherein the rule set is provided with first and second types of processing formats, and the first type of processing format is provided in the rule set. The rule set (12) of the type has a rule body (13) with a predetermined configuration, and the rule body is a rule sequence consisting of one or more rules (14),
Each rule (14) has a condition determination process and a procedure to be executed when the condition is satisfied, and the second type of rule set (15) has an arbitrary process that executes the required process. A knowledge system characterized by having a rule body (16) configured by a processing type procedure. 2. When generating the rule set according to claim 1, a precompiler (20) and a compiler (21
), and the precompiler (20) analyzes the program (22) in which the rule set is written according to a predetermined convention, and if the program has a predetermined specification statement, the precompiler (20) converts the rule set into the above-described code. Process it as a program in the second processing format, and use the part following the specified statement as input to the compiler unconditionally, and if there is no specified statement, process the rule set as a program in the first processing format. Process it and
The program is analyzed based on a predetermined processing format, necessary conversion is performed, and the program is converted into a program written in a predetermined programming language, which is input to the compiler, and the compiler (21) A knowledge system construction processing device, characterized in that it is configured to convert a program (23) resulting from processing by a precompiler into a target program (24) that executes the rule set.