JPH04209027A - Rule inference device - Google Patents

Abstract

PURPOSE:To suppress the development cost by producing a process which depends upon a programming language at the time of executing rule inference as a rule inference module and making a rule inference means common to respective languages. CONSTITUTION:A transaction source program 5 is supplied to the rule inference device 1 and actuated. Then a translation program 2-i translates the transaction source program 5 to generate a transaction object program 6 and also generate a rule inference module 7. When the transaction object program 6 is executed, an indication of rule inference and rule information are passed to a rule inference means 4. In response, the rule inference means 4 performs the rule inference and the rule inference module 7 is called to perform the collation process, etc., of the condition part of a rule.

Description

[Detailed Description of the Invention] [Field of Industrial Application] The present invention relates to systems that utilize rule-based knowledge, such as various expert systems and artificial intelligence application systems.
In particular, it relates to rule inference devices used in those systems.

[Conventional technology]

Conventionally, rule inference devices that generate an object program by translating a source program written in a programming language 9n that has a rule (production rule) function, and perform inference operations based on instructions from this object program, are based on LISP or C. It was realized as a separate device for each language, such as, or as a language-independent device.

[Problem to be solved by the invention]

Among the conventional rule inference devices described above, devices for each language have the following problems.

■ Rule inference means, which are the core of the rule inference device, must be designed and developed for each language, which increases development costs.゛■ If the functions and ink faces differ for each language, it becomes difficult to design a unified rule inference means, and it becomes difficult to provide a unified inference mechanism for multiple languages.

Furthermore, language-independent rule inference devices have the following problems.

■ Even if you want to combine the functions of each language with rules, the programs will be separate.

■ It is necessary to learn a new language whose format is different from existing languages, including its grammar.

SUMMARY OF THE INVENTION An object of the present invention is to provide a rule inference device that solves the problems described above.

(Means for solving !lit!) In order to achieve the above object, the rule inference device of the present invention has a translation means for each extended language in which rule functions are added to each of different types of programming languages. and translates the source program written in the extended language using a translation means compatible with the extended language to generate an object program and a rule inference module that manages language-dependent processing when performing rule inference. It has a group of translation means, and a rule inference means common to each extended language that performs rule inference while appropriately calling the rule inference module based on instructions from an object program generated by the group of translation means.

(Operation) In the rule inference device of the present invention, a group of translation means each having a translation means for each extended language in which rule functions are added to each of different types of programming languages, converts a source program written in the extended language into a translation means group. Translation is performed using a translation means corresponding to the extended language, and an object program and a rule inference module that controls language-dependent processing when performing rule inference are generated.Then, when executing the rule inference module, the rule inference means Rule inference is performed while appropriately calling the rule inference module based on instructions from the generated object program.

[Example] Next, an example of the present invention will be described in detail with reference to the drawings.

FIG. 1 is a block diagram of an embodiment of the present invention. In the figure, 5 is a business source program written in an extended language in which rule functions are added to existing programming languages such as C0BOL and C, and the rule inference device 1 of this embodiment
is a translation program group 2 that inputs such a business source program 5 and outputs a business object program 6 and a rule inference module 7, and a rule inference common to each extended language that performs rule inference when the business object program 6 is executed. means 4.

The translation program group 2 is composed of translation programs 2-1 to 2-n for each extended language corresponding to different existing programming languages such as C0BOL and C, and each translation program 2-1 to 2-n is It has a function of generating a business object program 6, and also has a built-in rule inference module generating means 3. Translation program 2-1~2-
The business object program 6 generated by n includes, in addition to normal objects output by a conventional programming language translation program, instructions for rule inference to the rule inference means 4 and rule information. In addition, the rule inference module 7 generated by the rule inference module generation means 3 is an execution module in the form of an object that can execute language-dependent processing when performing rule inference according to the content of the original business source program 5. It is being output.

The rule inference module 7 includes an entry process for receiving and passing the rule inference instructions issued by the business object program 6 to the rule inference means 4, a process for checking the condition part of the rule performed in the process of rule inference, and a process for executing the rule. This includes various language-dependent processes during execution, exit processing when returning control to the business object program 6, and the like.

On the other hand, the rule inference means 4 is a means for performing rule inference while appropriately calling each process in the rule inference module 7 based on instructions given from the business object program 6 through the rule inference module 7 when the business object program 6 is executed. be.

Next, the operation of the rule inference device 1 of this embodiment configured as described above will be explained.

When a business source program 5 written using an extended language in which rule functions are added to an existing programming language is given to the rule inference device 1 and activated, translations corresponding to the writing language of the internal translation program group 2 are executed. The program 2-i (i=1 to n) translates the business source program 5 and generates the business object program 6, and
The rule inference module generation means 3 generates a rule inference module 7.

Next, when the generated business object program 6 is executed, the business object program 6 passes rule inference instructions and rule information to the rule inference means 4 through the rule inference module 7. The rule inference means 4 performs rule inference. Among the rule inference operations, for example, the process of matching the condition part of the rule is called out to the rule inference module 7 and caused to be processed by it. When the rule inference operation instructed by °C1 is completed in this manner, control is returned to the business object program 6 through the rule theory module 7, and the same operation is repeated to proceed with inference for problem solving.

(Effects of the Invention) According to the rule inference device of the present invention described above, the following effects can be obtained.

(1) The translation means group generates the programming language-dependent processing when performing rule inference as a rule inference module, and by making the rule inference means common to each irises, a unique rule inference means is designed. , all you have to do is develop it, and the development cost can be kept down.

(2) Since the rule inference means are common to each language, a unified inference mechanism can be provided to multiple programming languages.

(3) Since extended languages that extend existing languages can be handled, programs can be standardized when functions of each language are used in combination with rules.

(4) Source programs are written in three extended languages that add rule functions to existing languages, so there is no need to learn all the languages in general.

(5) Among the rule inference operations at runtime, language-dependent parts are output as an executable rule inference module, so the load at runtime can be reduced.

[Brief explanation of the drawing]

FIG. 1 is a block diagram of an embodiment of the present invention. In the figure, 1... Rule inference device 2... Translation program group 2-1 to 2-n... Translation program 3... Rule inference module generation means 4... Rule inference means 5... Business Source program 6... Business object program 7... Rule inference module

Claims (1)

[Scope of Claims] A translation means for each extended language in which a rule function is added to each of different programming languages, and a translation means for translating a source program written in the extended language to the extended language. a group of translation means for translating the object program using the method to generate an object program and a rule inference module that controls language-dependent processing when performing rule inference; A rule inference device having a rule inference means common to each extended language that performs rule inference while appropriately calling a rule inference module.