Abstract: In order to efficiently and rigorously enumerate the combinations of logical formulas that lead to a contradiction with the background knowledge for each hypothesis, the information processing apparatus 1 includes the acquisition unit 2 that acquires the contradiction determination function having a data structure that expresses a combination of logical formulas that contradict the background knowledge, and the potential contradiction enumeration unit 3 enumerates the potential contradiction set, in which literals that contradict the background knowledge in the solution candidate set are combined, by using the contradiction determination function.

Abstract: An abduction apparatus 1 includes: a probability calculation unit 2 configured to, with respect to each of candidate hypotheses generated using observation information and knowledge information, calculate a probability that the candidate hypothesis holds true as an explanation of the observation information; and a reward selection unit 3 configured to, when the candidate hypothesis holds true, select a reward value regarding the candidate hypothesis that has held true by referring to reward definition information in which a condition that the candidate hypothesis holds true is associated with the reward value.

Abstract: An abduction apparatus 1 includes: a probability calculation unit 2 configured to calculate, with respect to each of candidate hypotheses generated using observation information and knowledge information, a probability that the candidate hypothesis is an explanation regarding the observation information; a closed world assumption probability calculation unit 3 configured to calculate, with respect to the candidate hypotheses, a closed world assumption 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 a solution hypothesis determination unit 4 configured to determine a solution hypothesis that is a best explanation regarding the observation information from the candidate hypotheses using the probability and the closed world assumption probability.

Abstract: An abduction apparatus 1 includes: a posterior probability calculation unit 2 that calculates, a posterior probability regarding the observation information D1 with respect to each of candidate hypotheses D3 generated using observation information D1 and knowledge information D2; a deduction probability calculation unit 3 that calculates, a deduction probability of deriving observation information D1 as a consequence of applying the knowledge information with respect to each of the candidate hypotheses; a consistency probability calculation unit 4 that calculates, a consistency probability of not contradicting the knowledge information D2 with respect to each of the candidate hypotheses; and a solution hypothesis determination unit 5 that calculates an evaluation value using the posterior probability, the deduction probability, and the consistency probability, and determines a solution hypothesis D4 that is a best explanation regarding the observation information D1, from the candidate hypotheses, based on th

Abstract: The abductive inference device includes a hypothesis generation unit for creating a set of candidate hypotheses, observed information including a hypothesis from which a logical expression is derived based on a knowledge database including knowledge information expressing the logical expression for deriving a consequent from an antecedent, a conversion unit for calculating a constraint condition for the created set of candidate hypotheses and a weight for the constraint condition in accordance with predetermined processing; and a solver unit for calculating a hypothesis when a predetermined condition is satisfied based on the calculated constraint condition and the calculated weight.

Abstract: A determination device is provided with: a hypothesis preparation unit which prepares, according to a prescribed hypothesis preparation procedure, a hypothesis that includes a plurality of logical expressions that indicate a relationship between first information for indicating a certain state among a plurality of states related to a target system, and second information for indicating a target state related to the target system; a conversion unit which obtains, according to a prescribed conversion procedure, an intermediate state that indicates a logical expression different from a logical expression related to the first information among the plurality of logical expressions included in the hypothesis; and a low level planner which determines actions up to the intermediate state obtained from the certain state on the basis of a state-related reward in the plurality of states.

Abstract: 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.