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.