Seminar Künstliche Intelligenz (64072) "Approaches to Handling Inconsistency in Knowledge Representation and Reasoning"

Erläuterung:

Inconsistency appears across all domains in computer science. In this seminar, we focus on the role of inconsistency in systems that make use of knowledge. We consider inconsistencies from a foundational perspective from different angles, e.g., seminar topics will deal with resolving inconsistencies and measuring inconsistency or reason in inconsistent situations. The formalisms we consider are mainly logic-based. Depending on the considered formalism, inconsistencies take different forms. For instance, when involving time, e.g., in Linear Temporal Logic (LTL), one has to consider how focusing on temporal structures impacts inconsistency management. The seminar will cover inconsistency in argumentation, where the interplay of conflicting arguments offers unique challenges and solutions. We will also delve into probabilistic and paraconsistent reasoning, which allows for reasoning under uncertainty and contradiction without trivialization.

Inhaltliche Voraussetzungen:

Vorkenntnisse zu klassischen Logiken wie Aussagenlogik und Prädikatenlogik sind hilfreich.

Geforderte Leistungen:

Das Seminar findet vollständig in Englisch statt. Eine schriftliche Ausarbeitung in englischer Sprache, eine englischsprachige Präsentation im Rahmen von gemeinsamen Online-Sitzungen, regelmäßige Teilnahme an den Vorträgen der anderen Studierenden und Beteiligung an den inhaltlichen Diskussionen während der Online-Sitzungen.

Bemerkung:

Das Seminar ist auf 16 Teilnehmer beschränkt. Nicht als Seminar im Masterstudiengang Wirtschaftsinformatik nutzbar.

Alle Seminarvorträge und Besprechungen finden online statt. Die Seminarthemen werden nach der ersten Sitzung zu Beginn des Semesters festgelegt. Eigene Themenvorschläge sind nach Rücksprache möglich. Jeder Seminarteilnehmer fertigt eine Seminararbeit während der Vorlesungszeit an zu seinem Seminarthema an. Die Vorträge finden gebündelt an zwei bis drei Tagen am Ende des Semesters statt.