首页> 外国专利> LOGIC INFERENCE SYSTEM, COMPUTATION LEARNING APPARATUS, AND LOGIC INFERENCE METHOD

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 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
机译:解决的问题:为了提供这样一种逻辑推理系统,该演绎推理在结合学习功能的同时执行演绎推理,并且使所构造的知识结构在图中明确。解决方案:计算处理设备100包括网络创建部分222和网络处理部分222。计算执行部分226。网络创建部分222执行向后推理类型的数据流图的转换,以执行符号逻辑中的谓词逻辑的推理,即,表示具有多个算术节点的谓词逻辑的结构的数据流图。连接算术节点的多个边缘。计算执行部分226基于转换后的数据流图,通过令牌的传播处理来执行对谓词逻辑的推导。

著录项

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号