PIBWI82 P221-0116 pi 2 V 2 P 5 6 nein Deutsch Fallstudien (Sammlung von PROLOG-Programmen) KI691 Kommunikationsinformatik 6 Wahlpflichtfach PIBWI82 Praktische Informatik 6 Wahlpflichtfach Die Präsenzzeit dieses Moduls umfasst bei 15 Semesterwochen 60 Veranstaltungsstunden (= 45 Zeitstunden). Der Gesamtaufwand des Moduls beträgt bei 5 Creditpoints 150 Stunden (30 Stunden/ECTS Punkt). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 105 Stunden zur Verfügung. Prof. Dr. Barbara Grabowski bg Prof. Dr. Barbara Grabowski bg Die Teilnehmer sollten nach diesem Kurs in der Lage sein, Problemstellungen verschiedenster Art, die einfache bis mittlere Komplexität besitzen, in logischen Hornklauseln zu formulieren und selbständig mit Hilfe von PROLOG zu implementieren und zu lösen. Sie kennen den Unterschied zwischen deklarativen und imperativen (funktionalen) Programmiersprachen und kennen die Auswertemechanismen in logischen deklarativen Sprachen. Sie kennen die Bedeutung der Sprache PROLOG für Bereiche der künstlichen Intelligenz, für Expertensysteme, für die Robotik und die schnelle Prototyp-Entwicklung und kennen die Vor-und Nachteile von PROLOG. 1.Was ist PROLOG? (Deklarativ, logisch, relational) 2.Hornklauseln in der Prädikatenlogik und PROLOG-Notation von Hornklauseln 3.Die Resolutionsmethode zur Auswertung von Hornklauseln 4.Unifikation, Tiefensuche und Backtrackig in PROLOG 5.PROLOG-Datentypen und einfache Beispiele 6.Reihenfolge von PROLOG-Klauseln, Cut und Negation in PROLOG 6.1 Rekursion Fallstudien: Turm von Hanoi, ggT, Fakultät, 6.2 Listen Fallstudien: Euler-Wege in Grafen, Stundenplan-Programm, Spiele-KI-Programmierung in PROLOG 6.3.Arithmetische Operationen 6.4.Symbolische Programmierung Fallstudie: Ein Computeralgebra-System in PROLOG 7. PROLOG-Tutorium 8. Wichtige PROLOG – Prädikate zur Ausgabe, SWI-Prolog-Entwicklungsumgebung 9. Fallstudie: KI: Ein Expertensystem in PROLOG(z.B. für mathematische Gebiete und anderes). 10. Vor- und Nachteile von PROLOG, Anwendungsgebiete 11. Theoretische Grundlagen 11.1 Formeln, Gültigkeit, Erfüllbarkeit, Allgemeingültigkeit, Folgerung 11.2 Umwandlungen von Formeln in Klauseln (Skolemisierung, Generalisierung) 11.3 Inferenzprinzipien 11.4 Zusammenhang zwischen Prädikatenlogik und PROLOG, Einschränkungen in PROLOG Die Vorlesung findet zu 100% im PC-Labor AMSEL "Angewandte Mathematik, Statistik und eLearning" statt. Hier werden Praktische Übungen am PC, Fallstudien und Hausaufgaben bearbeitet. 1) B.Grabowski: Einführung in die logische Programmierung mit PROLOG, Skript zur Vorlesung ((C) 2011) 2) William F. Clocksin, Christopher S. Mellish: Programming in Prolog. Springer, Berlin 2003, 3) Rüdeger Baumann, Prolog Einführungskurs, Klett Verlag, 2000 4) S. Kendal, M. Creen, An Introduction to Knowledge Engineering, Springer, 2006 5) H. Göhner, B. Hafenbrak: Arbeitsbuch PROLOG. DÜMMLER, Bonn 1995, 6) Benson Mates: Elementare Logik - Prädikatenlogik der ersten Stufe. Vandenhoeck & Ruprecht Göttingen 1997 SS 2012 SS 2011 SS 2010 Tue May 12 11:57:53 CEST 2026, CKEY=klpmp, BKEY=pi, CID=[?], LANGUAGE=de, DATE=12.05.2026