Abstract

In this paper a short introduction to neural networks and a design for a perceptron
network theorem prover for the propositional calculus are presented. The theorem
prover is a representation of a variant of the semantic tableau method, called the
parallel tableau method, by a network of perceptrons. The parallel tableau method is
designed
... read more