PROBLEM TO BE SOLVED: To provide such a logic inference system that deductive inference is executed while incorporating a learning function and a constructed structure of 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, respectively. The computation execution section 226 executes derivation to the predicate logic through propagation processing of a token on the basis of the converted dataflow graph.SELECTED DRAWING: Figure 2
展开▼