Approximating First-Order Logic Programs by Feedforward Networks

Authors

Pascal HitzlerFollow

Document Type

Article

Publication Date

2004

Abstract

We want to apply Funahashi's theorem in order to approximate the T_P operator for first-order (normal) logic programs P via 3-layer feedforward networks. I.e. we need to understand T_P as a continuous function on the reals.

We will need to study some preliminaries from set-theoretic topology first result from [HS00, HHS0_x], which extends results from [HKS99]. We close with some further considerations about the methods and results.

Comments

Lecture script for the International Master Program in Computation Logic, Dresden University of Technology, Germany.

Repository Citation

Hitzler, P. (2004). Approximating First-Order Logic Programs by Feedforward Networks. .
https://corescholar.libraries.wright.edu/cse/245