Künstliche Intelligenz

Künstliche Intelligenz (Wissensrepräsentation und -verarbeitung)

Sommersemester 2019

Wahlpflichtmodul im 2. Semester Master Informatik oder Medieninformatik

Aktuelles

Konsultation zur Prüfungsvorbereitung am Mittwoch, dem 24. 7. 2019, um 11:00 Uhr in Gu 110

Lernziele / Kompetenzen

Die Studierenden sind in der Lage, Wissensrepräsentationen zur Modellierung zu benutzen, die über klassische Prädikatenlogik hinausgeht. Insbesondere können sie dem Problem angemessene Wissensverarbeitungstechniken zur Simulation intelligenten Verhaltens auswählen. Sie verstehen aktuelle Fachbeiträge und können eine verständliche Präsentation der dort vorgestellten Ansätze ausarbeiten und vorstellen.

Inhalt

Aktuelle Themen auf dem Gebiet der künstlichen Intelligenz mit jährlich wechselnden Schwerpunkten, z.B.:

Intelligente Agenten: Aktionen und Verhalten, Struktur und Umgebungen
logische Programmierung und deduktives Schließen
Wissensrepräsentation und Schließen in nichtklassischen Logiken (nichtmonoton, fuzzy, modal, zeitlich, räumlich, Beschreibungslogiken)
künstliche neuronale Netze, Mustererkennung, maschinelles Lernen
wissensbasiertes Planen, Multi-Agenten-Systeme
Algorithmische Geometrie, Pfadplanung
Wissensrepräsentation in Roboterfußball und autonomen Fahrzeugen
wissensbasierte Diagnosesysteme (z.B. in der Medizin)

Vorlesung

Wöchentlich findet eine Vorlesung statt.

Seminar

Reading group zu aktuellen Forschungsbeiträgen (wöchentlich ein Termin)
Die Themen werden jeweils in der Vorlesung angegeben.

bis 12.4.2019
- Lesen: KI-Ethikleitlinien der EU Ethics guidelines for trustworthy AI
- Informieren über die Autoren (52 Expertinnen und Experten)
  High-Level Expert Group on Artificial Intelligence
- Vergleichen mit dem Entwurf
18. 4. 2019: Kapitel (1 und) 2 aus
Raúl Rojas: Neural Networks -- A Systematic Introduction
26. 4. 2019: Kapitel 4 daraus
2. 5. 2019: Abschnitt 3.4 daraus
10. 5. 2019: Besprechung der KNN-Aufgaben
16. 5. 2019: Robert C. Holte, 2010: Common Misconceptions Concerning Heuristic Search
24. 5. 2019: Joseph K. Barker and Richard E Korf, 2012: Solving Dots-And-Boxes
7. 6. 2019: Logische Programmierung in Prolog
13. 6. 2019:
- Esra Erdem, Volkan Patoglu (2018): Applications of ASP in Robotics
- Tran Cao, Marcello Balduccini (2018): Answer Set Planning in Single- and Multi-agent Environments
- Abels, D., Jordi, J., Ostrowski, M., Schaub, T., Toletti, A., Wanko, P. (2019): Train Scheduling with Hybrid ASP
21. 6. 2019: ausnahmsweise um 13:00 Uhr in Z417
Abschnitt 1 - 4 aus Siegfried Gottwald: The logic of fuzzy set theory:a historical approach
27. 6. 2019: Judea Pearl. The Seven Tools of Causal Inference with Reflections on Machine Learning

Literaturempfehlungen

Alle Folien

Aufgaben zur Prüfungsvorbereitung

Die vollständigen Unterlagen zum Modul im SS 2017 stehen hier.

Fachbeiträge aus Zeitschriften und Tagungsbänden

Bücher:

Ingo Boersch, Jochen Heinsohn und Rolf Socher: Wissensverarbeitung. Eine Einführung in die Künstliche Intelligenz Spektrum 2007
Wolfgang Ertel: Grundkurs Künstliche Intelligenz. Eine praxisorientierte Einführung, Springer 2016
Christoph Beierle und Gabriele Kern-Isberner: Methoden wissensbasierter Systeme Vieweg 2006
Stuart Russell und Peter Norvig: Künstliche Intelligenz - Ein moderner Ansatz Pearson 2004

Prüfung

Klausur (90 min)

Zulassungsvoraussetzung: Ausarbeitungen / Präsentationen

https://informatik.htwk-leipzig.de/schwarz mailto:schwarz@imn.htwk-leipzig.de