Universität Bielefeld - Technische Fakultät - AG Wissensbasierte Systeme

Methoden der Künstlichen Intelligenz

Übersicht

Was sind Methoden der KI? Hier werden Wege aufgezeigt, wie man mit symbolverarbeitenden Computerprogrammen Schlußfolgerungen aus Annahmen ziehen kann, wie man mit Maschinen kommunizieren kann, wie man Planungs- und Entscheidungsprozesse modellieren kann, wie man überhaupt Datenstrukturen zur Darstellung von Wissen maschinenverarbeitbar anlegen kann. Wer Methoden der KI nicht nur theoretisch verstehen, sondern auch praktisch beherrschen lernen will, findet in den Übungen zur Vorlesung eine wesentliche Ergänzung.

Vorlesungsplan WS 2003/2004 (pdf)

Termine

1. Symbolische Repräsentation

   • Einführender Kurztext
     
   • 1. VL, "Einführung; Intelligenter Agent"
     
   • 2. VL, "Repräsentation mit Logik, semantischen Netzen und Frames"
     
   • 3. VL, "Wissensrepräsentation - von Frames zu KL-ONE"
     
     

2. Problemlösen und Suche

   • Einführender Kurztext
     
   • 4. VL, "Suchprobleme und Suchalgorithmen; heuristische Suche"
     
   • 5. VL, "Means-Ends-Analysis, Diskriminationsnetze; Goal Trees"
     
   • 6. VL, "Constraint Satisfaction, Planen, wissensgestützte Suche"
     
     

3. Logik und Inferenz

   • Einführender Kurztext
     
   • 7. VL, "Schlußfolgern im Prädikatenkalkül; Deduktion; Skolemisierung"
     
   • 8. VL, "Unifikation; Vorwärts- und Rückwärtsverkettung; Goal Trees"
     
   • 9. VL, "Indexing; Inferenz durch Graphsuche"
     
     

4. Spezielle Schlussverfahren

   • Einführender Kurztext
     
   • 10. VL, "Abduktion und Hypothesenbildung; Induktion und Lernen"
     
   • 11. VL, "Probabilistisches Schliessen; Nicht-monotones Schliessen"
   • 12. VL, "Temporales und räumliches Schliessen"
     
     

5. Kommunizierende Agenten

   • Einführender Kurztext
     
   • 13. VL, "Sprache verstehen"
     
   • 14. VL, "Multiagentensysteme: Kooperation durch Kommunikation"
     
   • 15. VL, "Max, unser Agent in der virtuellen Welt"
     
     
   • Artikel zu Max im Forschungsmagazin der Uni Bielefeld, Ausgabe 24/2002
     
   • Interview mit Max
     
     

Übungen

Literatur

Online