Αποτελέσματα - Λεπτομέρειες
Εντολή Αναζήτησης : Συγγραφέας="Τζίτζικας"
Και Συγγραφέας="Ιωάννης"
Τρέχουσα Εγγραφή: 7 από 50
|
Κωδικός Πόρου |
000460801 |
Τίτλος |
Implementation of verification algorithms for ADFD semantics |
Άλλος τίτλος |
Υλοποίηση αλγορίθμων επαλήθευσης για τη σημασιολογία των ADFD |
Συγγραφέας
|
Ντάνης, Δημήτριος Α.
|
Σύμβουλος διατριβής
|
Πλεξουσάκης, Δημήτριος
|
Μέλος κριτικής επιτροπής
|
Φλουρής, Γιώργος
Τζίτζικας, Ιωάννης
|
Περίληψη |
Ο τομέας του Abstract Argumentation ασχολείται με το πρόβλημα της εύρεσης
αποδεκτών επιχειρημάτων, δεδομένου ενός συνόλου από επιχειρήματα και των μεταξύ
τους σχέσεων. ΄Ενα από τα πιο επιφανή και σημαντικά έργα στον τομέα είναι αυτό
του Dung, στο οποίο παρουσιάζει τα Abstract Argumentation Frameworks (AAFs).
Επιπλέον, ο Dung ορίζει πολλούς τύπους σημασιολογίας (semantics) για τα AAFs,
με σκοπό να απεικονίσει διάφορες προσεγγίσεις στην ερμηνεία ενός framework και
στην επιλογή ενός συνόλου επιχειρημάτων, με βάση διαφορετικές οπτικές.
Παρά τη χρησιμότητα και την εφαρμοσιμότητά τους σε πολλές περιπτώσεις, τα
AAFs παρουσιάζουν μερικά μειονεκτήματα, γεγονός που οδήγησε στην ανάπτυξη διάφορων νέων φορμαλισμών που διευρύνουν τις αρχικές ιδέες του Dung και τις εμπλουτίζουν. Τέτοιοι νέοι φορμαλισμοί περιλαμβάνουν τα Abstract Dialectical Frameworks
(ADFs), που επιτρέπουν την ανάθεση μιας συνθήκης αποδοχής σε κάθε επιχείρημα,
και τα Abstract Argumentation Frameworks with Domain Assignments (AAFDs),
που συμπεριλαμβάνουν ένα πεδίο εφαρμογής για κάθε επιχείρημα. Σε μια πρόσφατη,
ακόμη μη δημοσιευμένη εργασία, οι Φλουρής κ.ά. εισάγουν ένα νέο φορμαλισμό, τα
Abstract Dialectical Frameworks with Domain Assignments (ADFDs), τα οποία
αποτελούν μία ένωση των ADFs και των AAFDs, συνδυάζοντας τα πλεονεκτήματά
τους.
Σε αυτή την εργασία παρουσιάζουμε και υλοποιούμε αλγορίθμους για την επαλήθευση (verification) διαφόρων semantics για τα ADFDs. Επιπλέον, αναφέρουμε
ορισμένες δυσκολίες που προκύπτουν κατά την υλοποίηση, καθώς και τους τρόπους
με τους οποίους τις αντιμετωπίζουμε. Τέλος, δείχνουμε την απόδοση της υλοποίησής
μας μέσω πειραμάτων σε datasets διαφόρων μεγεθών και πολυπλοκοτήτων, καθώς
και κάποια ευρήματα σχετικά με την επίδραση συγκεκριμένων παραμέτρων στο χρόνο
εκτέλεσης των αλγορίθμων μας.
|
Φυσική περιγραφή |
viii, 60 σ. : σχεδ., πιν., εικ. (μερ. εγχρ.) ; 30 εκ. |
Γλώσσα |
Αγγλικά |
Θέμα |
Abstract argumentation |
|
Argumentation frameworks |
|
Computational argumentation |
|
Frameworks επιχειρηματολογίας |
|
Αλγόριθμοι επαλήθευσης |
|
Αφηρημένη επιχειροματολογία |
|
Υπολογιστική επιχειρηματολογία |
Ημερομηνία έκδοσης |
2023-12-01 |
Συλλογή
|
Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Επιστήμης Υπολογιστών--Μεταπτυχιακές εργασίες ειδίκευσης
|
|
Τύπος Εργασίας--Μεταπτυχιακές εργασίες ειδίκευσης
|
Μόνιμη Σύνδεση |
https://elocus.lib.uoc.gr//dlib/f/1/6/metadata-dlib-1701429000-391950-2082.tkl
|
Εμφανίσεις |
928 |
Ψηφιακά τεκμήρια
|
|
Δεν έχετε δικαιώματα για να δείτε το έγγραφο.
Δεν θα είναι διαθέσιμο έως: 2024-12-01
|