Thema3480: Unterschied zwischen den Versionen

Aktuelle Version vom 29. November 2016, 22:40 Uhr

Extracting Logic Programs from Artificial Neural Networks

Studienarbeit von Jens Lehmann

Betreuer Großer Beleg
Wissensverarbeitung
22. Februar 2005 – 22. Februar 2005
Download

This document is essentially divided in two parts, where different methods are presented

for extracting knowledge from an aritificial neural network representing an immediate consequence operator.

In the first part we investigate the relationship between neurosymbolic integration (in particular the extraction of a logic program from a neural network) and inductive logic programming from a practical point of view. After a general introduction to the foundations of ILP, the task of extraction of a neural network is reformulated to fit the problem setting of ILP. We then practically test a variety of different programs and evaluate them.

The second part of the document builds up a theoretical foundation for the special case of extracting propositional logic programs. We give algorithms for definite as well as normal propositional logic programs. Several theoretical results are presented, difficulties and possible solutions are observed.

@@ Zeile 11: / Zeile 11: @@
 |Abgabe=2005/02/22
 |Ergebnisse=Beleg lehmann.pdf
+|Beschreibung DE=This document is essentially divided in two parts, where different methods are presented
+for extracting knowledge from an aritificial neural network representing an immediate
+consequence operator.<br/><br/>
+In the first part we investigate the relationship between neurosymbolic integration
+(in particular the extraction of a logic program from a neural network) and inductive
+logic programming from a practical point of view. After a general introduction to the
+foundations of ILP, the task of extraction of a neural network is reformulated to fit the
+problem setting of ILP. We then practically test a variety of different programs and
+evaluate them.<br/><br/>
+The second part of the document builds up a theoretical foundation for the special
+case of extracting propositional logic programs. We give algorithms for definite as well as
+normal propositional logic programs. Several theoretical results are presented, difficulties
+and possible solutions are observed.
+|Beschreibung EN=This document is essentially divided in two parts, where different methods are presented
+for extracting knowledge from an aritificial neural network representing an immediate
+consequence operator.<br/><br/>
+In the first part we investigate the relationship between neurosymbolic integration
+(in particular the extraction of a logic program from a neural network) and inductive
+logic programming from a practical point of view. After a general introduction to the
+foundations of ILP, the task of extraction of a neural network is reformulated to fit the
+problem setting of ILP. We then practically test a variety of different programs and
+evaluate them.<br/><br/>
+The second part of the document builds up a theoretical foundation for the special
+case of extracting propositional logic programs. We give algorithms for definite as well as
+normal propositional logic programs. Several theoretical results are presented, difficulties
+and possible solutions are observed.
 }}