Your browser does not support JavaScript!

Αρχική    Αναζήτηση  

Αποτελέσματα - Λεπτομέρειες

Εντολή Αναζήτησης : Συγγραφέας="Τζίτζικας"  Και Συγγραφέας="Ιωάννης"

Τρέχουσα Εγγραφή: 2 από 45

Πίσω στα Αποτελέσματα Προηγούμενη σελίδα
Επόμενη σελίδα
Προσθήκη στο καλάθι
[Προσθήκη στο καλάθι]
Κωδικός Πόρου 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 Bookmark and Share
Εμφανίσεις 845

Ψηφιακά τεκμήρια
No preview available

Δεν έχετε δικαιώματα για να δείτε το έγγραφο.
Δεν θα είναι διαθέσιμο έως: 2024-12-01