Look-ahead inference-type rule-based system.

摘要

A production system for an expert system comprises: a production rule memory unit (4) storing circuit conversion rules, each having a condition part describing circuit connection and an execution part describing a conversion of the condition part to an equivalent logic circuit dependent upon a predetermined semiconductor technology and further having a predetermined priority; a task data memory unit (2) storing circuit connection data, each being subjected to an application of the circuit conversion rules; a production rule interpretation and execution unit (3) for selecting a circuit conversion rule in accordance with the predetermined priority, collating the condition part of the selected circuit conversion rule with the circuit connection data to determine whether the condition part matches with a part of the circuit connection data and, when the both match each other, converting the part of the circuit connection data by the corresponding execution part of the circuit conversion rule to an equivalent logic circuit; further each circuit conversion rule being provided with a rule flag indicating the collation failure to the circuit connection data; a rule flag memory unit (5) for setting the rule flag of the circuit conversion rule of which the condition part did not match with any of the circuit connection data during the collation cycle so as to inhibit collation thereafter until collation of all other circuit conversion rules is once completed, thereby increasing the operation speed of the production system for an expert system.