Logo der Fachhochschule Nordwestschweiz
De
Standorte und KontaktBibliothek FHNWKarriere an der FHNWMedien

      Logo der Fachhochschule Nordwestschweiz
      De
      Standorte und KontaktBibliothek FHNWKarriere an der FHNWMedien

      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%)