| Περίληψη |
Ο Σημασιολογικός Ιστός είναι μια επέκταση του σημερινού Ιστού, όπου η πληροφορία έχει καλά καθορισμένο νόημα, καθιστώντας τη συνεργασία μεταξύ υπολογιστών πιο εφικτή. Για τη λειτουργία του Σημασιολογικού Ιστού, οι υπολογιστές πρέπει να έχουν πρόσβαση σε δομημένες συλλογές πληροφοριών και σε σύνολα συμπερασματικών κανόνων που μπορούν να χρησιμοποιήσουν, ώστε να διεξάγουν αυτοματοποιημένη συλλογιστική. Η ανάπτυξη του Σημασιολογικού Ιστού βασίζεται σε πρότυπα γλωσσών δομημένων σε επίπεδα. Προς το παρόν, το υψηλότερο επίπεδο είναι αυτό των οντολογιών, στη μορφή γλωσσών που βασίζονται στην περιγραφική λογική. Το επόμενο βήμα θα είναι τα επίπεδα της συλλογιστικής και της τεκμηρίωσης, και τα συστήματα κανόνων καταλαμβάνουν κεντρική θέση σε αυτές τις δράσεις. Μέχρι τώρα, οι περισσότερες μελέτες στον τομέα αυτό έχουν επικεντρωθεί στην ανάπτυξη μονοτονικών συστημάτων. Μία λογική χαρακτηρίζεται μονοτονική, αν η αλήθεια μίας πρότασης δεν αλλάζει όταν νέες πληροφορίες εισάγονται στο σύστημα το σύνολο των συμπερασμάτων μπορεί μόνο να μεγαλώνει μονοτονικά. Μία λογική χαρακτηρίζεται μη μονοτονική αν η αλήθεια σε σχέση με μία πρόταση μπορεί να αλλάξει όταν προστίθενται νέες πληροφορίες σε αυτήν την περίπτωση το σύνολο των συμπερασμάτων μπορεί να μεγαλώνει ή να συρρικνώνεται. Η μελέτη μη μονοτονικών συστημάτων κανόνων στο πλαίσιο της ανάπτυξης του Σημασιολογικού Ιστού φαίνεται να είναι εξίσου ενδιαφέρουσα, καθώς η μη μονοτονική συλλογιστική βρίσκεται πιο κοντά στη συλλογιστική της κοινής λογικής. Στην παρούσα μελέτη, αναπτύσσουμε ένα μη μονοτονικό σύστημα κανόνων, που βασίζεται στην Αναιρέσιμη Λογική. Το σύστημα μπορεί να «συλλογίζεται» με βάση μονοτονικούς και αναιρέσιμος κανόνες, και υποστηρίζει προτεραιότητες μεταξύ των κανόνων. Μπορεί να χειρίζεται γεγονότα σε μορφή RDF και οντολογίες σε RDFS, και η διεπαφή του με το χρήστη είναι συμβατή με την RuleML, την κύρια προσπάθεια τυποποίησης κανόνων για τον Σημασιολογικό Ιστό. Στον πυρήνα του συστήματος συντελείται μετάφραση αναιρέσιμων θεωριών σε Prolog, με βάση μία μεθοδολογία που έχουμε αναπτύξει για την αναπαράσταση αναιρέσιμων σε λογικούς κανόνες. Ωστόσο, η υλοποίηση είναι δηλωτική, καθώς μεταφράζει τον τελεστή άρνησης χρησιμοποιώντας την Well-Founded σημασιολογία.
|
Ανάπτυξη Συστήματος Αναιρέσιμων Κανόνων για το Διαδίκτυο
