KI und Logische Programmierung
Inhaltsverzeichnis

• Motivation: Rätsellösen am Computer
• Programmiersprachen- und paradigmen

2 Fakten, Regeln, Anfragen, Dialoge

• Fakten und Anfragen  
• Regeln 
• Übungen
• Ein- und Ausgabeprädikate

3 Arbeitsweise von PROLOG 

• UND-ODER-Beweisbaum
• Resolution, Backtracking und Unifikation
• TRACE-Modus

4 Arithmetik 

• Arithmetische Operationen 
• arithmetische Rätsel

5 Rekursion

• Rekursion 
• nichtnumerische und numerische Beispiele
  

6 Der Cut ! 

7  Listen

• Wiederholung Rekursion
• Listenoperationen

8 Datenbanken 

9 Architektur eines Expertensystems 

• Motivation: Rätsellösen am Computer
• Programmiersprachen- und paradigmen

2 Fakten, Regeln, Anfragen

• Fakten und Anfragen  
• Regeln 

3 Arbeitsweise von PROLOG (Seminar Mandy und Claudia)

• TRACE-Modus
• Resolution, Backtracking und Unifikation
• UND-ODER-Beweisbaum
• Vier-Port- bzw. Boxenmodell

4 Arithmetik und Ausgabeprädikate (Seminar Sascha und Axel)

• Arithmetische Operationen
• Ausgabeprädikate
• arithmetische Rätsel

5 Rekursion (Seminar Robert und Henry)

• Prinzip der einfachen Rekursion
• Rekursion im Beweisbaum
• Anwendung mit teilweise mehrfacher Rekursion
  (Binomialkoeffizient, Ackermannfunktion, Fibonacci-Zahlen, Turm von Hanoi 
  • Geschichte 
  • AB 
  • Spiel
  • Implementierung des Turms von Hanoi in PROLOG und Erläuterungen)

6 Die Prädikate fail und Cut ! (Seminar Bejamin)

7 Datenbanken (Seminar Enrico)

8 dynamische Programme und Wissensbasen (Seminar Carolin und Christopher)

• Prädikate zur Manipulation der Wissensbasis
  (assert, retract, retractall, listing)
• Anwendung in der Arithmetik/Rekursion
• Anwendung zur Verwaltung von Datenbanken
  

9  Listen (Seminar Hannes und Christian)

• Definition 
• Listenprädikate 

10 Anwendungen

• Tiefen-, Breiten- und heuristische Suche (Seminar Ronny und Paul)
• Expertensystems und Exsy-didakt (Seminar Oliver und Daniel)
• Projekt