PURPOSE:To efficiently calculate a parameter representing the inspection of existence of failed logic on the way of inference or the feature of the fail by executing deductive inference based upon rules, calculation formulas and attributes stored in a knowledge base. CONSTITUTION:When an operator depresses an inference start switch 5, a deductive inference mechanism 11 starts. The mechanism 11 accesses the rule section 3 of the knowledge base at first. As the result of the access, the contents of the section 3 are transferred to the storage part of the mechanism 11 through an input address bus 32 and an input data bus 33. Forward/backward inference using known algorithm is executed by the mechanism 11 based upon the transferred contents. The mechanism accesses a keyboard 1 when necessary to input data. A forward calculation mechanism 12 or a backward calculation mechanism 13 is started in accordance with the advance of the inference process.
展开▼
