Logikprogrammierung

Nummer

71531

Leitung

Taoufik Nouri Fachhochschule Solothurn Nordwestschweiz

ECTS

3.0

Unterrichtssprache

Deutsch

Zielsetzung

Kenntnis... - der Methoden und Anwendungsgebiete der Logikprogrammierung Verständnis... - der logischen Grundlagen der Logikprogrammierung - der Funktionsweise einer logischen Programmiersprache Fähigkeit... - den Einsatz einer logischen Programmiersprache abzuschätzen - Probleme mit einer logischen Programmiersprache effizient und zielgerichtet zu lösen

Inhalt

Logik - Aussagenlogik, Prädikatenlogik, Logik erster Ordnung - Inferenmechanismen (Modus Ponens, Modus Tollens etc.) - Klauseln, Hornklauseln - Automatische Beweisverfahren Prolog - Syntax und Semantik von Prolog - Fakten, Regeln, Abfragen - Datentypen - Instanzierung und Unifizierung - Steuerfluss, Resolution, Rekursion, Backtracking, Cut - Eingebaute Prädikate - Manipulation der Wissensbank - Dateibearbeitung - Terme und Operatoren - Listen und Listenoperationen - Graphen und Suche auf Graphen - Symbolmanipulation - Praktische Einsatzgebiete Künstliche Intelligenz - Charakterisierung der KI - Suchstrategien - Kontrollstrategien - Natural Language Processing - Praktische Anwendungen

Unterrichts-Unterlagen

Knowledge-Based Information System, K. M. Hussain; Knowledge-Based Systems for Engineers and Scientists, A. Hopgood; Künstliche Intelligenz für Ingenieure, Band 1,2,3, J. Lunze

Lehrform

Vorlesung (50%), Gruppen- und Einzelübungen (50%)