Matriculation Number: 3065439 Supervisors:

Matriculation Number: 3065439 The integration of the paradigms of logic programs and connectionist systems is desirable because of their contrasting advantages and disadvantages. Algorithms for transforming logic programs into standard architecture connectionist systems exist for the case of propositional logic, and for first-order logic programs a theoretical construction was developed in the project thesis [Wit05]. The aim of this thesis is to facilitate a real implementation by extending the results from the project or by devising other architectures and training methods, and to implement and evaluate the corresponding systems along with transformation and training algorithms. • Extending the embedding and the approximation of the TP operator to multiple dimensions • Lifting the sigmoidal constructions to multiple dimensions • Should this fail, devising other constructions along with transformation and training method