KI und Logische Programmierung

• Software und Literatur

• SWI-PROLOG Datei
• SWI-PROLOG-Editor Datei
• Arbeitsbuch PROLOG PDF-Dokument

27. August - 2. September

• Von magischen Quadraten und drei Jungen in Booten Datei
• Programmierparadigmen Datei

3. September - 9. September

• Erarbeitung der Begriffe Fakten und Anfragen Aufgabe
• Fakten und Anfragen Datei

10. September - 16. September

komplexe Übungen

(einige Schüler des Kurses sind beim Sportfest in Greifswald )

17. September - 23. September

24. September - 30. September

• Erarbeitung des Begriffs Regel Aufgabe
• Definition Regeln in PROLOG Datei

1. Oktober - 7. Oktober

• • Einfärbeprobleme
  • Erzeuge und Prüfe
  • Rätsel (AB PROLOG)

8. Oktober - 14. Oktober

• Arithmeitische Operationen in PROLOG Datei

15. Oktober - 21. Oktober

• Arithmetische Rätsel aus dem AB PROLOG

22. Oktober - 28. Oktober

29. Oktober - 4. November

• UND-ODER-Beweisbaum Datei
• Resolution, Unifikation und Backtracking Datei

5. November - 11. November

• Prinzip der Rekursion Datei
• Übungen AB Prolog
  weitere numerische Beispiele
  

12. November - 18. November

• Datenbanken in PROLOG Datei
• Übungen aus AB PROLOG

19. November - 25. November

26. November - 2. Dezember

3. Dezember - 9. Dezember

• Cut Datei
• fail
  not
  Übungen aus dem AB PROLOG
  

10. Dezember - 16. Dezember

• Prinzip der Liste Datei
• einfache Listenprädikate (member, first, last, ..., summe)

17. Dezember - 23. Dezember

• Problemhafter Einstieg mit den Prolog-Programmen
  
  • Lösen eines Logikrätsels
  • Bestimmen von Ableitungen von Funktionen und unbestimmten Integralen
  • Expertensystem zur Diagnose von Krankheiten
  Film: Eine Maschine verändert die Welt - Teil 4
  Diskussion KI, Turing-Test
  
  
• KI und Expertensysteme Datei