Method and system for a production system

Claim 2

A processing method for a production system comprising a rule base for storing rules, each rule having a condition part and conclusion part, an actual database for storing fact data, and a processor, the processing method comprising the steps of: a) designating (i) at least a rule, (ii) fact data to be combined with the designated rule, and (iii) a conflict resolution strategy for resolving conflicts between instantiations obtained by combining said fact data and said at least a rule; b) with said processor, combining the condition part of said at least a rule with said designated fact data, in an order given by said conflict resolution strategy, to generate at least an instantiation; c) stopping the combining process performed in the combining step at a first success in the combining process; and d) with said processor, executing the conclusion part corresponding to the instantiation corresponding to the first success.

Claim 3

A processing method for a production system according to claim 1, further comprising the step of: obtaining said conflict resolution strategy by combining a plurality of conflict resolution basic strategies prior to the designating step.

Claim 4

A processing method for a production system according to claim 2, wherein steps (a), (b), and (d), are performed by an inference engine.

Claim 5

A production system according to claim 1, wherein the rules in said rule base are given priority and said conflict resolution strategy selects combinations of said rules and fact data in a prioritized order.

Claim 6

A production system comprising: a rule base for storing rules, each rule consisting of a condition part and conclusion part; an actual database for storing fact data; and an inference engine, wherein said inference engine comprising: means for designating rules, fact data to be combined with each designated rule, and at least a conflict resolution strategy for resolving conflicts between instantiations obtained by combining said rules with said fact data; means for combining a condition part of each designated rule, with said fact data in an order given by said conflict resolution strategy to generate instantiations; means for stopping the combining means in response to a first success, such that a first success instantiation is generated; and means or executing the rule conclusion part of corresponding to the first success instantiation.

Claim 7

A production system comprising: a rule base for storing rules, each rule consisting of a condition part and conclusion part; an actual database for storing fact data; and an inference engine, wherein said inference engine comprising: means for designating rules, fact data to be combined with each designated rule, and at least a conflict resolution strategy for resolving conflicts between instantiations obtained by combining said rules with said fact data; means for combining a condition part of each designated rule, with said fact data in an order given by said conflict resolution strategy to generate instantiations; means for stopping the combining means in response to a first success, such that a first success instantiation is generated; and means or executing the rule conclusion part of corresponding to the first success instantiation.

Claim 8

A production system comprising: a rule base for storing rules, each rule having a condition part and a conclusion part; an actual database for storing fact data; a processor; means for designating individual ones of the rules, fact data to be combined with the designated rule, and at least a conflict resolution strategy for resolving conflicts between instantiations obtained by combining said designated rule with said fact data; means for suppressing generation of instantiations which have no possibility of succeeding in a combination of each designated rule and the designated fact data, based upon said designated conflict resolution strategy; means for combining with said processor (i) the condition part of at least another designated rule other than the rules associated with the suppressed instantiations with (ii) said fact data, based upon said conflict resolution strategy, to generate at least another instantiation; means for generating the another instantiation as an instantiation to be executed, in response to the combining by the combining means succeeding; and means for executing through said processor, a conclusion part corresponding to the generated instantiation.

Claim 9

A production system comprising: a rule base for storing rules, each rule having a condition part and a conclusion part; an actual database for storing fact data; a processor; means for designating individual ones of the rules, fact data to be combined with the designated rule, and at least a conflict resolution strategy for resolving conflicts between instantiations obtained by combining said designated rule with said fact data; means for suppressing generation of instantiations which have no possibility of succeeding in a combination of each designated rule and the designated fact data, based upon said designated conflict resolution strategy; means for combining with said processor (i) the condition part of at least another designated rule other than the rules associated with the suppressed instantiations with (ii) said fact data, based upon said conflict resolution strategy, to generate at least another instantiation; means for generating the another instantiation as an instantiation to be executed, in response to the combining by the combining means succeeding; and means for executing through said processor, a conclusion part corresponding to the generated instantiation.

Claim 10

A processing method for a production system comprising a rule base for storing rules having conditions and conclusions, an actual database for storing fact data, and a processor, the processing method comprising the steps of: designating a plurality of the rules, fact data to be combined with the designated rules, and at least a conflict resolution strategy for resolving conflicts between instantiations obtained by combining said of rules with said fact data; checking, through said processor, whether a condition part of each of said designated rules meets with one of the designated fact data; storing the designated fact data, when the fact data meets with the checked rule; generating through said processor, a combination of the stored fact data to said plurality of rules, in accordance with an order given by the designated conflict resolution strategy; checking the fact data in said combination, in inter-rule conditions of said rules; stopping the checking of the fact data, at a first success of said checking process; generating an instantiation corresponding to the first success, as an instantiation to be executed; and executing through said processor, a conclusion part corresponding to the generated instantiation.

Claim 11

A processing method for a production system comprising a rule base for storing rules having conditions and conclusions, an actual database for storing fact data, and a processor, the processing method comprising the steps of: designating a plurality of the rules, fact data to be combined with the designated rules, and at least a conflict resolution strategy for resolving conflicts between instantiations obtained by combining said of rules with said fact data; checking, through said processor, whether a condition part of each of said designated rules meets with one of the designated fact data; storing the designated fact data, when the fact data meets with the checked rule; generating through said processor, a combination of the stored fact data to said plurality of rules, in accordance with an order given by the designated conflict resolution strategy; checking the fact data in said combination, in inter-rule conditions of said rules; stopping the checking of the fact data, at a first success of said checking process; generating an instantiation corresponding to the first success, as an instantiation to be executed; and executing through said processor, a conclusion part corresponding to the generated instantiation.

Claim 12

A production system comprising: a rule base for storing rules, each rule having a condition part and a conclusion part; an actual database for storing fact data; a processor; means for designating a subset of the rules, fact data to be combined with the designated subset of the rules, and at least a conflict resolution strategy for resolving conflicts between instantiations obtained by combining said subset of the rules with said fact data; means for checking, through said processor, whether the condition part of each rule of said designated subset of the rules meets with one of the designated fact data; means for storing the one of the designated fact data, when the one of the designated fact data meets with the checked rule; means for generating through said processor, a combination of the stored fact data to said subset of the rules, in accordance with an order given by the designated conflict resolution strategy; means for checking the fact data in said combination in accordance with inter-rule conditions of said rules; means for stopping the checking means at a first success of said checking of the fact data; means for generating an instantiation of the first success, as an instantiation to be executed; and means for executing through said processor, a conclusion part of the generated instantiation.

Claim 13

A production system comprising: a rule base for storing rules, each rule having a condition part and a conclusion part; an actual database for storing fact data; a processor; means for designating a subset of the rules, fact data to be combined with the designated subset of the rules, and at least a conflict resolution strategy for resolving conflicts between instantiations obtained by combining said subset of the rules with said fact data; means for checking, through said processor, whether the condition part of each rule of said designated subset of the rules meets with one of the designated fact data; means for storing the one of the designated fact data, when the one of the designated fact data meets with the checked rule; means for generating through said processor, a combination of the stored fact data to said subset of the rules, in accordance with an order given by the designated conflict resolution strategy; means for checking the fact data in said combination in accordance with inter-rule conditions of said rules; means for stopping the checking means at a first success of said checking of the fact data; means for generating an instantiation of the first success, as an instantiation to be executed; and means for executing through said processor, a conclusion part of the generated instantiation.

Claim 14

A processing method for a productions system comprising a rule base for storing rules having condition parts and conclusion parts, an actual database for storing fact data, and a processor, comprising the steps of: designating at least one of the rules, fact data to be combined with each designated rule, and at least a conflict resolution strategy for resolving conflicts between instantiations obtained by combining each designated rule with said fact data; suppressing generation of instantiations which have no possibility of succeeding in combination of each designated rule and the fact data, based upon said a conflict resolution strategy; combining through said processor the condition part of at least another rule other than the rules associated with the suppressed instantiations with said fact data, based upon said conflict resolution strategy, to generate at least an instantiation; generating the at least an instantiation, as an instantiation to be executed, when the combining in the combining step has succeeded; and executing through said processor, the conclusion part of the generated instantiation.

Claim 15

A processing method for a productions system comprising a rule base for storing rules having condition parts and conclusion parts, an actual database for storing fact data, and a processor, comprising the steps of: designating at least one of the rules, fact data to be combined with each designated rule, and at least a conflict resolution strategy for resolving conflicts between instantiations obtained by combining each designated rule with said fact data; suppressing generation of instantiations which have no possibility of succeeding in combination of each designated rule and the fact data, based upon said a conflict resolution strategy; combining through said processor the condition part of at least another rule other than the rules associated with the suppressed instantiations with said fact data, based upon said conflict resolution strategy, to generate at least an instantiation; generating the at least an instantiation, as an instantiation to be executed, when the combining in the combining step has succeeded; and executing through said processor, the conclusion part of the generated instantiation.