Machine Learning and Natural Language Processing Lab

Diskriminatives... |--| Logische Markov... |--| SeqLog und Theo... |--| Logical Decisio... |--| Implementierung... |--| Learning from G... |--| Learning Patter... |--| SCGEM - A Fast ... |--| Informationsext... |--| Tranformation-B... |--| EM and Gradient... |--| KDD Cup 2002 - ... |--| Analysis of Res... |--| Objektorientier... |--|

Student's Project

Implementierung verschiedener ILP Techniken

Anja Jaenecke, 2004

Induktives logisches Programmieren (ILP) beschäftigt sich mit der induktiven Konstruktion der Theorien aus Beispielen und aus dem Hintregrundwissen. Die Theorien werden durch Prädikate erster Ordnung dargestellt. In dieser Arbeit wurde eine ILP-Bibliothek implementiert. Es wurden grundlegedene ILP-Techniken und die Algorithmen GOLEM und DUCE implementiert. Bei den ILP-Techniken handelt es sich im wesentlichen um Relative Least General Generalisation und die Operatoren (V- und W-Operator) der inversen Resolution. Außerdem wurde ein Theorembeweiser und ein Algorithmus zur Reduktion logisch equivalenter Klauseln implementiert. Die Implementierung erfolgte in Prolog.