- AutorIn
- Christopher Hermann
- Titel
- Äquivalenz schwach expandierter Argumentationsframeworks in ausgewählten Semantiken
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-171503
- Schriftenreihe
- Abschluss- und Qualifikationsarbeiten aus der Fakultät für Mathematik und Informatik
- Datum der Einreichung
- 01.03.2012
- Abstract (DE)
- In dieser Arbeit haben wir uns mit der Äquivalenz schwach expandierter Argumentationsframeworks beschäftigt. Zunächst haben wir nochmal die Grundlagen der formalen Argumentation und der Semantiken der Akzeptierbarkeit wiederholt. Anschließend betrachteten wir die Konzepte der Expansionen und Splittings und konnten einen direkten Zusammenhang zwischen diesen feststellen. Daraufhin wandten wir uns den Splitting-Resultaten von Baumann [3] zu. Wir haben Redukte und Modifikationen kennengelernt und gesehen wie man diese zur Berechnung neuer Extensionen verwenden kann, nachdem ein Argumentationframework expandiert wurde. Dies geschieht durch das Berechnen einer Extension des ursprünglichen Frameworks, das Ermitteln der Modifikation des Redukts der Erweiterung und deren Extension und anschließende Vereinigung der beiden Extensionen zu einer neuen Extension des Gesamtframeworks.
- Freie Schlagwörter (EN)
- admissible, argumentation, complete, Expansion, extension, grounded, preferred
- Klassifikation (DDC)
- 000
- BetreuerIn Hochschule / Universität
- Prof. Dr. Gerhard Brewka
- Den akademischen Grad verleihende / prüfende Institution
- Universität Leipzig, Leipzig
- Version / Begutachtungsstatus
- publizierte Version / Verlagsversion
- URN Qucosa
- urn:nbn:de:bsz:15-qucosa2-171503
- Veröffentlichungsdatum Qucosa
- 12.02.2018
- Dokumenttyp
- Bachelorarbeit
- Sprache des Dokumentes
- Deutsch