Visualisierung von Lösungen in Abstrakten Argumentation Frameworks

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Visualisierung von Lösungen in Abstrakten Argumentation Frameworks

Studienarbeit von Rajwardhan Kumar

•   Betreuer Sarah Alice Gaggl
•   Computational Logic
•   06. März 2015 – 27. Oktober 2016

Abstrakte Argumentation Frameworks (AFs) werden normalerweise als gerichtete Graphen dargestellt. Für die einzelnen Semantiken kann es mehrere Lösungen von solch einem AF geben. Das Ziel dieser Aufgabe ist es herauszufinden wie man den gesamten Lösungsraum darstellen kann und auch darin von einer Lösung zur nächsten navigieren kann.