Vorlesung Künstliche Intelligenz (Master)

1. Einführung und Überblick (13.10.)

2. KI-Logik

    2.1 Crashkurs PROLOG (13.10., 20.10.)

    2.2 Grundlagen und Grenzen der logischen Programmierung (20.10., 27.10.))

    2.3 Funktionsweise eines Resolutionsbeweisers (27.10.)

    2.4 Nichtmonotones Schließen (27.10.)

3. KI-Algorithmik (03.11., 10.11.)

4. KI-Architektur: Wissensbasierte Systeme

    4.1 Repräsentation und Klassifikation von Wissen (17.11.)

    4.2 Die verschiedenen Verarbeitungstechniken im Vergleich (17.11., 24.11.)

    4.3 MDS: Modellierung der Komponenten (24.11.)

    4.4 MDS: Funktionsweise der Inferenzmaschine (Basisfunktionalität) (24.11., 01.12.)

    4.5 MDS: Realisierung der erweiterten Funktionalität (15.12.)

    4.6 Zusammenfassender Vergleich der Verarbeitungstechniken für die Anwendung Technische Diagnose (15.12.)

5. Ameisenalgorithmen und ihre Anwendungen
    Dieses Kapitel stellt im Detail wichtige Grundlagen für mein Forschungsgebiet Dynamische Verkehrsnavigation vor.
    Hierzu siehe auch die beiden Masterarbeiten von Thomas Walther und Michael Suthe.
    Eine Zusammenfassung dieser Arbeiten in englischer Sprache steht in einem internen Dokument auf dem Handout-Server.

    5.1 Grundprinzip: Dynamische Wegfindung von Ameisen und ihre Simulation (15.12.)
          Für die Simulation gibt es eine Software, die hier heruntergeladen werden kann.

    5.2 Anwendung auf dynamische Verkehrsnavigation (15.12.)

    5.3 Im Detail: Aktualisierung der Pheromone am Beispiel des AntNet-Verfahrens (05.01.)

    5.4 Ausblick auf weitere Forschungs-/Entwicklungsarbeiten (05.01.)

    5.5 Überblick: Schwarmintelligenz mit Anwendung auf TSP und andere Probleme (05.01., 12.01.)
          Hierfür gibt es einen Übersichtsartikel von Teodorovic auf dem Handout-Server sowie die Seminararbeiten Nr. 9, 10 und 11 des Seminars Verkehr und Logistik vom WS 2009/2010.

6.  KI-Architektur: Agentenorientierte Systeme (mit Beispiel Touristeninformationssystem) (12.01.)

Zusammenfassung der Vorlesung mit Klausurabgrenzung