PURPOSE:To clearly display the presence of data in each hypothetic world without making the deletion of the data in one world affect on another hypothetic world by handling each hypothetic world stored in each hypothetic world storage part independently, and performing an inference operation when the inference operation to generate a new hypothetic world is performed. CONSTITUTION:This device is equipped with an inference engine 6 consisting of a collation processing part 6a, a contention liquidation processing part 6b, and an operation processing part 6c which perform inference by repeating three phases of collation, contention, and operation. The collation of the antecedent part of a production rule 1 or that of a contradiction rule 2 in a rule data base 3 with the hypothetic world 4 stored in a hypothetic world managing function part 5 is performed, and one hypothetic world is selected by performing the contention liquidation of a corresponding hypothetic world, and the new hypothetic world can be generated by applying the hypothetic generation command of the consequent part of the production rule 1 to the hypothetic world. After that the inference operation to store the hypothetic world in the hypothetic world managing function part 5 newly is executed.
展开▼
