64402 Formale Argumentation im Sommersemester 2024
Das Semester dieser Veranstaltung ist beendet.
Im in Vorbereitung befindlichen Sommersemester 2025 wird eine Veranstaltung mit gleicher Nummer angeboten. Sie gelangen zu dieser Veranstaltung über diesen Link: 64402 Formale Argumentation (SoSe 25).
KursbeschreibungDas Forschungsgebiet Wissensrepräsentation ist ein Teilgebiet der Künstlichen Intelligenz und beschäftigt sich mit der logischen Formalisierung von Informationen und Schlussfolgerungsprozessen. Ein relativ neuer und vielversprechender Ansatz zur Wissensrepräsentation sind formale Modelle der Argumentation, die auf die Repräsentation von Argumenten, d. h. plausible Schlussfolgerungsketten für bestimmte Sachverhalte, und deren Interaktion abzielen. Formale Modelle der Argumentation sind angelehnt an das menschliche Schlussfolgerungsverhalten und sind analytisch interessante und vielstudierte Ansätze in der Künstlichen Intelligenz. Die Themen beziehen sich auf aktuelle Forschungsthemen zu allen Aspekten der formalen Argumentation; die Erarbeitung erfolgt in der Regel basierend auf englischsprachiger Fachliteratur.