about
Differentiable Probabilistic Logic Networks (arxiv.org)
1 point by sel1 on Jul 12, 2019 | hide | past | pdf | discuss on HN

In plain words: They rebuilt probabilistic logic so each rule is a math operation error signals can flow backward through, turning reasoning chains into a trainable calculation. Instead of fixed hand-written update formulas, it learns premise truth values and rule weights by nudging them to cut errors.

Abstract

Probabilistic logic reasoning is a central component of such cognitive architectures as OpenCog. However, as an integrative architecture, OpenCog facilitates cognitive synergy via hybridization of different inference methods. In this paper, we introduce a differentiable version of Probabilistic Logic networks, which rules operate over tensor truth values in such a way that a chain of reasoning steps constructs a computation graph over tensors that accepts truth values of premises from the knowledge base as input and produces truth values of conclusions as output. This allows for both learning truth values of premises and formulas for rules (specified in a form with trainable weights) by backpropagation combining subsymbolic optimization and symbolic reasoning.

Alexey Potapov, Anatoly Belikov, Vitaly Bogdanov, Alexander Scherbatiy
arXiv:1907.04592 · cs.AI, cs.LO · submitted Jul 10, 2019
abstract · pdf

add comment on HN