Künstliche Intelligenz
TITEL: Künstliche Intelligenz
PROFESSOR/DOZENT: Prof. Dr. Heiner Stuckenschmidt
ART/UMFANG: Vorlesung 2 SWS + Uebung 1 SWS
URL: http://www.informatik.uni-mannheim.de/informatik/pi4/stud/veranstaltungen
INHALT:
  1. Einführung
    Was ist Kuenstliche Intelligenz? Definitionen, Historie, Sichtweisen.
  2. Problemloesen als Suche
    Formulierung von Suchproblemen, Suche im Zustandsraum, Suchverfahren
    und Ihre Eigenschaften, Heuristische Suche
  3. Constraint Probleme
    Formulierung von Constraint Problemen, Suchverfahren fuer Constraint
    Probleme, Constraint Propagation, Struktur-basierte Heuristiken
  4. Räumliche und Zeitliche Constraintsysteme
    Formulierung von raeumlichen und zeitlichen Problemen, Relationenalgebren,
    Pfadkonsistenz, Allensche Intervall-Relationen, Region Connection Calculus
  5. Aussagenlogik
    Modellbegriff, Eigenschaften von Logiken und Inferenzmethoden,
    Aussagenlogik, Resolution, Davis-Putnam Algorithmus, Tableaux-Beweise,
    Approximatives Schliessen, Beispiel Planen
  6. Relationale Logik
    Relationale Asdruecke, erweiterter Modellbegriff, Quantoren,
    Herbrand-Interpretationen, Semi-Entscheidbarkeit, Beispiel Planen
  7. Beschreibungslogik
    Konzeptuelle Modelle und deren Semantik, Schliessen ueber konzeptuelle
    Modelle, Die Logik ALC, Semantik von ALC, Inferenzprobleme und Reduktion aus
    Erfuellbarkeit, Tableaux-Algorithmen fuer ALC, Anwendungsbeispiele
  8. Unsicheres Wissen
    Wahrscheinlichkeit, Bayessche Regel, Komplexitaet Probabilistischer Inferez,
    Bayessche Netze und deren Semantik, effiziente Algorithmen, Probabilitische
    Relationale Modelle
GEDACHT FÜR: Studierende der Informatik und benachbarter Gebiete im Hauptstudium
VORAUSSETZUNGEN: - Grundkenntnisse in Komplexitaetstheorie
- Faehigkeit zum Programmieren in einer hoeheren Programmiersprache
LITERATUR: - Russel, Norvig: Artificial Intelligence - a modern Approach, (2nd Edition Prentice Hall)
- Enrico Franconis Description Logic Course: http://www.inf.unibz.it/~franconi/dl/course/

Kontakt: webadmin //at// pi4.informatik.uni-mannheim.de