Your browser does not support JavaScript!

Αρχική    A System for Modal and Deontic Defeasible Reasoning  

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

Προσθήκη στο καλάθι
[Προσθήκη στο καλάθι]
Κωδικός Πόρου uch.csd.msc//2007dimaresis
Τίτλος A System for Modal and Deontic Defeasible Reasoning
Άλλος τίτλος Ένα Σύστημα για Τροπική και Δεοντική Συλλογιστική
Συγγραφέας Dimaresis, Nikos
Σύμβουλος διατριβής Αντωνίου, Γρηγόρης
Περίληψη Η Αναιρέσιμη Λογική είναι μία απλή και αποδοτική βασισμένη-σε-κανόνες μη μονοτονική προσέγγιση, η οποία έχει αποδειχτεί χρήσιμη σε διάφορες περιοχές εφαρμογών. Πρόσφατα η Αναιρέσιμη Λογική έχει χρησιμοποιηθεί σε εφαρμογές πάνω στο Σημασιολογικό Ιστό. Ο Σημασιολογικός Ιστός είναι μία επέκταση του σημερινού Ιστού, όπου η πληροφορία έχει καλά καθορισμένο νόημα, και η ανάπτυξη του βασίζεται σε πρότυπα γλωσσών δομημένων σε επίπεδα, με κάθε επίπεδο να βρίσκεται πάνω από άλλα επίπεδα. Τώρα που τα επίπεδα των μετα-δεδομένων (RDF) και οντολογιών (OWL) έχουν αναπτυχθεί επαρκώς, το επόμενο βήμα θα είναι τα επίπεδα λογικής και της τεκμηρίωσης και σημαντική εστίαση γίνεται πάνω στις γλώσσες κανόνων για το Σημασιολογικό Ιστό. Ενώ αρχικά η εστίαση έχει γίνει πάνω στα μονοτονικά συστήματα κανόνων, τα μη μονοτονικά συστήματα κανόνων κερδίζουν όλο και περισσότερη προσοχή. Η πρώτη πηγή κινήτρου για τη δουλειά μας είναι η μοντελοποίηση πολυ-πρακτορικών συστημάτων, βασισμένα πάνω σε γνωστικά και κοινωνικά μοντέλα, στα οποία η συμπεριφορά ενός πράκτορα καθορίζεται από την αλληλεπίδραση μεταξύ διανοητικών συμπεριφορών και κανονιστικών όψεων. Συνήθως αυτές οι όψεις αναπαριστάνονται λογικά μέσα από τη χρήση της “τροπικής” λογικής, η οποία είναι εξ? ορισμού μονοτονική. Η συλλογιστική πάνω σε προθέσεις και άλλες διανοητικές συμπεριφορές έχει αναιρέσιμη φύση και η αναιρεσιμότητα είναι σημείο κλειδί για τη κανονιστική συλλογιστική. Η δεύτερη σημαντική πηγή κινήτρου για τη δουλειά μας είναι η μοντελοποίηση πολιτικών. Η Αναιρέσιμη Λογική είναι η προσέγγιση μη μονοτονικής συλλογιστικής που θα ήταν η κατάλληλη λύση για τις απαιτήσεις που εμφανίζονται λόγω της συγκεκριμένης φύσης των πολιτικών και ειδικότερα των επιχειρησιακών κανόνων. Στην εργασία μας χρησιμοποιούμε και αναπτύσσουμε μία επεκτάσιμη παραλλαγή της Αναιρέσιμης Λογικής, η οποία χρησιμοποιεί “τροπικούς” και “δεοντικούς” τελεστές. Αυτή είναι μία κατάλληλη τυπική γλώσσα που μπορεί να χειριστεί τους παράγοντες που έδωσαν κίνητρο στη δουλειά και να συλλάβει τη μη μονοτονική συμπεριφορά τους. Για τους σκοπούς μοντελοποίησης πολιτικών επαρκώς, θα εισάγουμε ένα επιπλέον δεοντικό τελεστή για να εκφράσουμε την “άδεια”. Υλοποιήσαμε ένα μη μονοτονικό βασισμένο-σε-κανόνες σύστημα, στηριζόμενο σε αυτή τη τυπική γλώσσα, το οποίο αλληλεπιδρά με τα πρότυπα RDF και RDF Schema του Σημασιολογικού Ιστού. Ο πυρήνας του συστήματος αποτελείται από ένα λογικό μεταπρόγραμμα, το οποίο υλοποιεί την επέκταση της Αναιρέσιμης Λογικής.
Γλώσσα Αγγλικά
Ημερομηνία έκδοσης 2007-09-21
Ημερομηνία διάθεσης 2007-10-11
Συλλογή   Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Επιστήμης Υπολογιστών--Μεταπτυχιακές εργασίες ειδίκευσης
  Τύπος Εργασίας--Μεταπτυχιακές εργασίες ειδίκευσης
Εμφανίσεις 104

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

Προβολή Εγγράφου
Εμφανίσεις : 0