Your browser does not support JavaScript!

Home    Collections    Type of Work    Post-graduate theses  

Post-graduate theses

Search command : Author="Κωνσταντινίδης"  And Author="Κ."  And Author="Θεόδωρος"

Current Record: 45 of 6472

Back to Results Previous page
Next page
Add to Basket
[Add to Basket]
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 Bookmark and Share
Views 845

Digital Documents
No preview available

No permission to view document.
It won't be available until: 2024-12-01