Logic inference systems and logical reasoning method

摘要

PROBLEM TO BE SOLVED: To provide such a logic inference system that deductive inference is executed while incorporating a learning function and a structure of constructed knowledge is made explicit in a graph.SOLUTION: A computation processing device 100 comprises a network creation section 222 and a computation execution section 226. The network creation section 222 performs conversion into a backward inference type dataflow graph for executing inference of a predicate logic in a symbolic logic, namely, a dataflow graph representing a structure of the predicate logic with a plurality of arithmetic nodes and a plurality of edges connecting the arithmetic nodes. The computation execution section 226 executes deviation to the predicate logic through propagation processing of a token based on the converted dataflow graph.