Hypothesis inference device, hypothesis inference method and control program

摘要

A hypothesis inference apparatus (1) and the like capable of calculating a hypothesis in a short time is provided.A hypothesis inference deviceBased on a knowledge database that contains knowledge information expressed by a logical expression to derive a case from a prefaceObserved information isA hypothesis generator (Part 2) which creates a hypothesis candidate set including a hypothesis in which a logical expression is derivedDepending on the given processConstraints on the set of possible candidate sets andThe conversion part (3) for calculating the weight for the constraint isCalculated constraints andBased on the calculated weightThe solver part (4) for calculating the hypothesis in the case of satisfying prescribed conditions and.