METHOD AND DEVICE FOR INFERENCE AND METHOD AND DEVICE FOR DEMONSTRATING THEOREM

摘要

PURPOSE:To attain inference with the use of an incomplete knowledge base by setting the hypotheses to the facts which are not obtained yet and carrying out the inference having the good matching property under each hypothesis. CONSTITUTION:When no fact item is available to carry on the inference, this necessary fact item is set as a hypothesis. Then the inference is carried out based on the hypothesis. The information on the used hypothesis is stored together with the information that secured the relationship between the hypothesis and the result obtained from the hypothesis. Then the necessary fact item is selected based on the information. In this case, it is defined that the knowledge used for the inference is described in the form of a production rule consisting of a premise part which is expressed in the AND of plural events and a conclusion part which is expressed as an event. Such a knowledge is previously stored in a knowledge base storing device 17 via an input/output device 11. Thus it is possible to successively define the hypotheses having no conflict and to obtain the final conclusion result even with the inference carried out with the use of an incomplete knowledge base lacking the necessary fact items.