Künstliche Intelligenz

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

Sommersemester 2020

Wahlpflichtmodul C244 im 2. Semester Master Informatik oder Medieninformatik

Aktuelles

Zu Beginn des Sommersemesters 2020 ist eine Phase unklarer Dauer ohne Präsenzunterricht notwendig.

Wir werden in diesem Semester gemeinsam das Buch Logic in Action durcharbeiten.

Laut Stundenplan finden die Vorlesungen freitags statt. Sie werden deshalb jeden Freitag im Semester hier ein Arbeitspaket finden, welches von jedem Teilnehmer zu bearbeiten ist. Abweichend davon erscheinen die ersten Arbeitspakete für

KW 15, Organisation in diesem Semester
KW 16, Übungsserie 1
KW 17, Übungsserie 2
KW 18, Übungsserie 3
KW 19 (Änderung: eine neue Autotool-Aufgabe)
KW 20, Übungsserie 4
KW 21, Übungsserie 5
KW 23
KW 24
KW 25
KW 26
KW 27, Übungsserie 6, aussagenlogische Tableaux
KW 28: Zusammenfassung, Konsultation zur Prüfungsvorbereitung

Ein Arbeitspaket besteht jeweils aus

den bis zum folgenden Mittwoch zu verstehenden Abschnitten im Buch,
Testfragen,
einer Serie von Übungsaufgaben und
manchmal auch Autotool-Aufgaben.

Anhand dieser Arbeitspakete werden Sie gemeinsam im Laufe des Semesters im Opal-Kurs zum Modul

Zusammenfassungen der relevanten Abschnitte des Buches,
die Antworten auf die Testfragen und
die Lösung der Übungsaufgaben

zusammentragen. Dieses Material dient dann auch zur Vorbereitung auf die Prüfung.

Sobald wieder Präsenzlehre möglich ist, werden während der Übungszeiten Diskussionen / Konsultationen zum Arbeitspaket für alle Teilnehmer zum aktuellen Arbeitspaket stattfinden. Der für die Zusammenfassung zuständige Teilnehmer moderiert die Diskussion. Bis Freitag können die Verantwortlichen ihre Zusammenfassungen und Lösungen korrigieren und ergänzen. Die endgültigen Ergebnisse werden am Freitag während der Vorlesungszeit vorgestellt.

Eventuell wird es in der nächsten Zeit möglich sein, diese Termine in einer virtuellen Form umzusetzen. Ich werde Sie dann zu gegebener Zeit benachrichtigen. Da wir im Moment aber nicht davon ausgehen können, dass dies zuverlässig funktioniert, finden die Diskussionen zunächst im Forum im Opal-Kurs statt.

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)

Literaturempfehlungen

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

Die vollständigen Unterlagen zum Modul Wissensrepräsentation und -verarbeitung im SS 2019 stehen hier.

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