AI-1 Systems Project [AI1SysProj]

Dozentinnen/Dozenten:

Michael Kohlhase, Jan Frederik Schäfer

Angaben:

Projektseminar, 4 SWS, ECTS: 10

Termine:

Di, 14:15 - 16:00, Zoom-Meeting

Studienrichtungen / Studienfächer:

WPF AI-MA ab 1
WPF INF-MA ab 1

Artificial Intelligence I [AI I(A)]

Dozent/in:

Michael Kohlhase

Angaben:

Vorlesung, 4 SWS, ECTS: 7,5

Termine:

Mi, 16:15 - 17:45, H11
Do, 12:15 - 13:45, H7

Studienrichtungen / Studienfächer:

WPF DS-MA-DW ab 1
WPF DS-MA-AI ab 1
WPF DS-BA-DW ab 5
WPF ME-BA-MG6 3-6
WPF INF-BA-V-KI ab 5
WPF INF-MA ab 1
WPF MT-MA-BDV ab 1
WPF ME-MA-MG6 1-3
WF CE-BA-TW ab 5
WPF DS-BA-AI ab 5

Inhalt:

Dieser Kurs beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere dem Problemlösen mittels heuristischer Suche, Spiel-KI mittels adverserieller Suche, Constraint-Lösen, Logik und Inferenz, und Automatischen Planen. Der Nachfolgekurs KI-2 beschäftigt sich dagegen mit statischer KI, insbesondere mit Schliessen unter Unsicherheit und Maschinellem Lernen

Lernziele und Kompetenzen

Fach- Lern- bzw. Methodenkompetenz

• Wissen: Die Studierenden lernen grundlegende Repräsentationsformalismen und Algorithmen der Künstlichen Intelligenz kennen.

• Anwenden: Die Konzepte werden an Beispielen aus der realen Welt angewandt (Übungsaufgaben).

• Analyse: Die Studierenden lernen die über die modellierung in der Maschine menschliche Intelligenzleistungen besser einzuschätzen.

Sozialkompetenz

• Die Studierenden arbeiten in Kleingruppen zusammen um kleine Projekte zu bewältigen

(automatisch geplant, erwartete Hörerzahl original: 250, fixe Veranstaltung: nein)

Empfohlene Literatur:

Die Vor­lesung folgt weit­ge­hend dem Buch
Stu­art Rus­sell und Peter Norvig: Ar­ti­fi­cial In­tel­li­gence: A Mod­ern Ap­proach. Pren­tice Hall, 3rd edi­tion, 2009.
Deutsche Aus­gabe:
Stu­art Rus­sell und Peter Norvig: Künstliche In­tel­li­genz: Ein Mod­ern­er Ansatz. Pear­son-Studi­um, 2004 (Überset­zung der 2. Auflage). ISBN: 978-3-8273-7089-1.

Logik-Basierte Sprachverarbeitung [LBS(A)]

Dozentinnen/Dozenten:

Michael Kohlhase, Florian Rabe

Angaben:

Vorlesung mit Übung, 4 SWS, ECTS: 5, nur Fachstudium, je nachdem was die Studierenden besser verstehen.

Termine:

Di, 16:15 - 17:45, 04.023
Do, 10:15 - 11:45, 04.023
https://www.studon.fau.de/crs4139317.html und https://kwarc.info/courses/lbs

Studienrichtungen / Studienfächer:

WPF INF-BA ab 5
WPF INF-MA ab 1
WPF AI-MA ab 1

Projekt zur Künstlichen Intelligenz

Dozentinnen/Dozenten:

Michael Kohlhase, Florian Rabe

Angaben:

Projektseminar

Termine:

Das KI-Projekt wird individuell betreut, Termine auf Anfrage

Studienrichtungen / Studienfächer:

WPF INF-MA ab 1

Inhalt:

The KWARC group (Wissensrepräsentation und Verarbeitung)conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management. We extend techniques from formal methods so that they can be used in settings where formalization is either infeasible or too costly. We concentrate on developing techniques for marking up the structural semantics in technical documents. This level of markup allows for offering interesting knowledge management services without forcing the author to formalize the document contents.
In contrast to courses with fixed topics, project topics are defined individually. See http://kwarc.info for further information. (erwartete Hörerzahl original: 0, fixe Veranstaltung: nein)

Seminar Wissensrepräsentation und -verarbeitung

Dozentinnen/Dozenten:

Michael Kohlhase, Florian Rabe

Angaben:

Oberseminar, 2 SWS

Termine:

Do, 14:15 - 15:45, 00.131-128

Studienrichtungen / Studienfächer:

WF INF-BA 4-6
WF INF-MA ab 1

Übungen zu Künstliche Intelligenz I [KI I - Ü(A)]

Dozent/in:

Florian Rabe

Angaben:

Übung, 2 SWS, Times are tentative. Details will be published in the studon forum.

Studienrichtungen / Studienfächer:

WPF ME-BA-MG6 3-6
WPF INF-BA-V-KI ab 5
WPF INF-MA ab 1
WPF MT-MA-BDV ab 1
WPF ME-MA-MG6 1-3
WPF DS-MA ab 1

Übungen zu Wissensrepräsentation und -verarbeitung [ÜWuV(A)]

Dozent/in:

Florian Rabe

Angaben:

Übung, 2 SWS, Won't take place in the first week. Takes place in the same zoom room as the lecture.

Studienrichtungen / Studienfächer:

WPF INF-BA ab 4
WPF INF-MA ab 1
WF M-BA ab 4
WF M-MA ab 1
WPF AI-MA ab 1

Wissensrepräsentation und -verarbeitung [WuV(A)]

Dozentinnen/Dozenten:

Florian Rabe, Michael Kohlhase

Angaben:

Vorlesung, 4 SWS, ECTS: 7,5, nur Fachstudium

Termine:

Di, 14:15 - 15:45, H6
Mi, 10:15 - 11:45, H6
Details auf https://kwarc.info/courses/wuv/

Studienrichtungen / Studienfächer:

WF M-BA ab 4
WPF INF-BA ab 4
WPF AI-MA ab 1