CPC G06N 5/041 (2013.01) [G06F 17/18 (2013.01)] | 14 Claims |
1. An abduction apparatus comprising:
at least one memory storing instructions; and
at least one processor configured to execute the instructions to:
generate a candidate hypothesis using observation information and knowledge information,
wherein the candidate hypothesis is a directed acyclic hypergraph having a first order predicate logic literal as a node,
wherein the observation image is a conjunction of first-order predicate logic literals, and
wherein the knowledge information, is an inference rule representing a set of an implication logical formula;
calculate, for each of the generated candidate hypotheses, a probability that the candidate hypothesis is an explanation regarding the observation information;
calculate, with respect to the candidate hypotheses, a closed world assumption probability, wherein the closed world assumption probability is a probability that the candidate hypothesis is an explanation regarding a first-order predicate logic literal to which a new truth value is determined as a result of assuming a closed world assumption; and
determine a solution hypothesis from the candidate hypotheses using the probability and the closed world assumption probability, wherein the solution hypothesis is an explanation regarding the observation information.
|