Results - Details
Search command : Author="Τζίτζικας"
And Author="Ιωάννης"
Current Record: 7 of 50
|
Identifier |
000460801 |
Title |
Implementation of verification algorithms for ADFD semantics |
Alternative Title |
Υλοποίηση αλγορίθμων επαλήθευσης για τη σημασιολογία των ADFD |
Author
|
Ντάνης, Δημήτριος Α.
|
Thesis advisor
|
Πλεξουσάκης, Δημήτριος
|
Reviewer
|
Φλουρής, Γιώργος
Τζίτζικας, Ιωάννης
|
Abstract |
Abstract argumentation deals with the problem of identifying acceptable arguments, given a set of arguments and their relationships. One of the most prominent
and impactful works in the field has been that of Dung, where he introduces the
Abstract Argumentation Framework (or AAF for short). Dung also defines several
semantics for the AAFs, so as to depict different ways to interpret the framework
and select a set of arguments, based on different rationales.
Although powerful and useful, AAFs have some shortcomings, which led to
the development of various new formalisms that enrich and expand on Dung’s
original ideas, such as Abstract Dialectical Frameworks (ADFs), which allow the
association of each argument with an arbitrarily complex acceptance condition, and
Abstract Argumentation Frameworks with Domain Assignments (AAFDs), which
include a domain of application for each argument. In a recent (yet unpublished)
work, Flouris et al. proposed ADFDs, which constitute a fusion of ADFs and
AAFDs.
In this work, we present and implement algorithms for the verification of various
semantics for the ADFDs. We also mention some difficulties that such implementation work poses, as well as our way of dealing with them. Finally, we showcase the
performance of our implementation through some experiments on several datasets
of varying sizes and complexities, as well as some discoveries about the relation of
specific parameters with the runtime of our algorithms.
|
Language |
English |
Subject |
Abstract argumentation |
|
Argumentation frameworks |
|
Computational argumentation |
|
Frameworks επιχειρηματολογίας |
|
Αλγόριθμοι επαλήθευσης |
|
Αφηρημένη επιχειροματολογία |
|
Υπολογιστική επιχειρηματολογία |
Issue date |
2023-12-01 |
Collection
|
School/Department--School of Sciences and Engineering--Department of Computer Science--Post-graduate theses
|
|
Type of Work--Post-graduate theses
|
Permanent Link |
https://elocus.lib.uoc.gr//dlib/f/1/6/metadata-dlib-1701429000-391950-2082.tkl
|
Views |
925 |
Digital Documents
|
|
No permission to view document.
It won't be available until: 2024-12-01
|