Thema3453: Unterschied zwischen den Versionen

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

θ-subsumption algorithms

Masterarbeit von Georg Rammé

Betreuer Steffen Hölldobler
Wissensverarbeitung
29. Oktober 2007 – 29. Oktober 2007
Download

Since the early days of theorem proving and inductive logic programming

several θ-subsumption algorithms have been developed. Recently, the focus came back to θ-subsumption due to its relevance in planning within first-order Markov Decision Processes. More than one formalism has been adopted to describe the language and the algorithms. Many experimental evaluations have been performed, but all focusing only on some algorithms and a particular domain. In this thesis, we will present the most popular θ-subsumption algorithms within a unified framework for a fair comparison. Further, we will describe the domains in which θ- subsumption is used and present a huge experimental evaluation on data from these domains. In addition, we give arguments for which algorithm is best suited depending on some basic parameters.

@@ Zeile 8: / Zeile 8: @@
 |Forschungsgruppe=Wissensverarbeitung
 |Abschlussarbeitsstatus=Abgeschlossen
-|Abgabe=2007
+|Beginn=2007/10/29
+|Abgabe=2007/10/29
 |Ergebnisse=Ramme.pdf
+|Beschreibung DE=Since the early days of theorem proving and inductive logic programming
+several θ-subsumption algorithms have been developed. Recently,
+the focus came back to θ-subsumption due to its relevance in planning
+within first-order Markov Decision Processes. More than one formalism
+has been adopted to describe the language and the algorithms. Many
+experimental evaluations have been performed, but all focusing only on
+some algorithms and a particular domain. In this thesis, we will present
+the most popular θ-subsumption algorithms within a unified framework
+for a fair comparison. Further, we will describe the domains in which θ-
+subsumption is used and present a huge experimental evaluation on data
+from these domains. In addition, we give arguments for which algorithm
+is best suited depending on some basic parameters.
+|Beschreibung EN=Since the early days of theorem proving and inductive logic programming
+several θ-subsumption algorithms have been developed. Recently,
+the focus came back to θ-subsumption due to its relevance in planning
+within first-order Markov Decision Processes. More than one formalism
+has been adopted to describe the language and the algorithms. Many
+experimental evaluations have been performed, but all focusing only on
+some algorithms and a particular domain. In this thesis, we will present
+the most popular θ-subsumption algorithms within a unified framework
+for a fair comparison. Further, we will describe the domains in which θ-
+subsumption is used and present a huge experimental evaluation on data
+from these domains. In addition, we give arguments for which algorithm
+is best suited depending on some basic parameters.
 }}