AI-1 Systems Project [AI1SysProj]

Lecturers:

Michael Kohlhase, Jan Frederik Schäfer

Details:

Projektseminar, 4 cred.h, ECTS: 10

Dates:

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

Fields of study:

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

Artificial Intelligence I [AI I]

Lecturer:

Michael Kohlhase

Details:

Vorlesung, 4 cred.h, ECTS: 7,5

Dates:

Tue, Wed, 16:15 - 17:45, H8

Fields of study:

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

Contents:

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

Recommended literature:

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]

Lecturers:

Michael Kohlhase, Florian Rabe

Details:

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

Dates:

Wed, Thu, 10:15 - 11:45, 04.023
https://www.studon.fau.de/crs4139317.html und https://kwarc.info/courses/lbs

Fields of study:

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

Projekt zur Künstlichen Intelligenz [P KI]

Lecturers:

Michael Kohlhase, Florian Rabe

Details:

Projektseminar

Dates:

Das KI-Projekt wird individuell betreut, Termine auf Anfrage

Fields of study:

WPF INF-MA ab 1

Contents:

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.

Seminar Wissensrepräsentation und -verarbeitung [SWuV]

Lecturers:

Michael Kohlhase, Florian Rabe

Details:

Oberseminar, 2 cred.h

Dates:

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

Fields of study:

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

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

Lecturer:

Florian Rabe

Details:

Übung, 2 cred.h

Fields of study:

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