LOGIC INFERENCE SYSTEM, COMPUTATION LEARNING APPARATUS, AND LOGIC INFERENCE 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.;COPYRIGHT: (C)2013,JPO&INPIT
展开▼