LFU:online

Die Lehrveranstaltung führt die Konzepte der Induktiven Logischen Programmierung ein.

Zunächst studieren wir das Programmierparadigma der Logischen Programmierung und verknüpfen dieses mit gewohnten Programmierparadigma wie zB. Objekt-orientierter oder Funktionaler Programmierung. Dazu werden wir auch die notwendigen Grundlagen inder Logik wiederholen, sodass keine diesbezüglichen Voraussetzungen für die LVA notwendig sind.

Dann werden wir weiterreichende Konzepte der Logischen Programmierung untersuchen, so dass "reines Prolog" behandelt werden kann, aber auch fortgeschrittene Konezpte wie Definite Clause Grammars oder Constraint Logic Programming.

Schließlich beschäftigen wir uns mit Induktiver Logischer Programmierung und dem Zusammenhang zwischen Logischer Programmierung mit Maschinellem Lernen und Programmsynthese.

keine

Hinweis für Studierende nach dem Bachelorstudium Informatik 2007W: Die Lehrveranstaltung Induktive Logische Programmierung VU 3 kann als Wahlmodul verwendet werden. Eine Zuordnungsbestätigung ist notwendig.