Your browser does not support JavaScript!

Αρχική    Ανάπτυξη Συστήματος Αναιρέσιμων Κανόνων για το Διαδίκτυο  

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

Προσθήκη στο καλάθι
[Προσθήκη στο καλάθι]
Κωδικός Πόρου uch.csd.msc//2004bikakis
Τίτλος Ανάπτυξη Συστήματος Αναιρέσιμων Κανόνων για το Διαδίκτυο
Άλλος τίτλος A System for Nonmonotonic Rules on the Web
Συγγραφέας Μπικάκης, Αντώνης
Περίληψη Ο Σημασιολογικός Ιστός είναι μια επέκταση του σημερινού Ιστού, όπου η πληροφορία έχει καλά καθορισμένο νόημα, καθιστώντας τη συνεργασία μεταξύ υπολογιστών πιο εφικτή. Για τη λειτουργία του Σημασιολογικού Ιστού, οι υπολογιστές πρέπει να έχουν πρόσβαση σε δομημένες συλλογές πληροφοριών και σε σύνολα συμπερασματικών κανόνων που μπορούν να χρησιμοποιήσουν, ώστε να διεξάγουν αυτοματοποιημένη συλλογιστική. Η ανάπτυξη του Σημασιολογικού Ιστού βασίζεται σε πρότυπα γλωσσών δομημένων σε επίπεδα. Προς το παρόν, το υψηλότερο επίπεδο είναι αυτό των οντολογιών, στη μορφή γλωσσών που βασίζονται στην περιγραφική λογική. Το επόμενο βήμα θα είναι τα επίπεδα της συλλογιστικής και της τεκμηρίωσης, και τα συστήματα κανόνων καταλαμβάνουν κεντρική θέση σε αυτές τις δράσεις. Μέχρι τώρα, οι περισσότερες μελέτες στον τομέα αυτό έχουν επικεντρωθεί στην ανάπτυξη μονοτονικών συστημάτων. Μία λογική χαρακτηρίζεται μονοτονική, αν η αλήθεια μίας πρότασης δεν αλλάζει όταν νέες πληροφορίες εισάγονται στο σύστημα – το σύνολο των συμπερασμάτων μπορεί μόνο να μεγαλώνει μονοτονικά. Μία λογική χαρακτηρίζεται μη μονοτονική αν η αλήθεια σε σχέση με μία πρόταση μπορεί να αλλάξει όταν προστίθενται νέες πληροφορίες – σε αυτήν την περίπτωση το σύνολο των συμπερασμάτων μπορεί να μεγαλώνει ή να συρρικνώνεται. Η μελέτη μη μονοτονικών συστημάτων κανόνων στο πλαίσιο της ανάπτυξης του Σημασιολογικού Ιστού φαίνεται να είναι εξίσου ενδιαφέρουσα, καθώς η μη μονοτονική συλλογιστική βρίσκεται πιο κοντά στη συλλογιστική της κοινής λογικής. Στην παρούσα μελέτη, αναπτύσσουμε ένα μη μονοτονικό σύστημα κανόνων, που βασίζεται στην Αναιρέσιμη Λογική. Το σύστημα μπορεί να «συλλογίζεται» με βάση μονοτονικούς και αναιρέσιμος κανόνες, και υποστηρίζει προτεραιότητες μεταξύ των κανόνων. Μπορεί να χειρίζεται γεγονότα σε μορφή RDF και οντολογίες σε RDFS, και η διεπαφή του με το χρήστη είναι συμβατή με την RuleML, την κύρια προσπάθεια τυποποίησης κανόνων για τον Σημασιολογικό Ιστό. Στον πυρήνα του συστήματος συντελείται μετάφραση αναιρέσιμων θεωριών σε Prolog, με βάση μία μεθοδολογία που έχουμε αναπτύξει για την αναπαράσταση αναιρέσιμων σε λογικούς κανόνες. Ωστόσο, η υλοποίηση είναι δηλωτική, καθώς μεταφράζει τον τελεστή άρνησης χρησιμοποιώντας την Well-Founded σημασιολογία.
Ημερομηνία έκδοσης 2004-11-01
Ημερομηνία διάθεσης 2005-02-07
Συλλογή   Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Επιστήμης Υπολογιστών--Μεταπτυχιακές εργασίες ειδίκευσης
  Τύπος Εργασίας--Μεταπτυχιακές εργασίες ειδίκευσης
Εμφανίσεις 135

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

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