Hypothesis reasoning device, hypothesis reasoning method, and program

摘要

A abductive inference apparatus (1) includes a candidate hypothesis generation unit (2) configured to apply, to an observation that indicates an observed situation using a logical expression, inference knowledge provided with the reliability for making a forward inference and the reliability for making a reverse inference, make an inference, and generate a candidate hypothesis by which the observation can be derived; and a candidate hypothesis evaluation unit (3) configured to specify an inference direction for each piece of the inference knowledge applied to the generated candidate hypothesis, and calculate an evaluation value of the candidate hypothesis using the reliability of each piece of the inference knowledge that corresponds to the specified inference direction.