| Περίληψη |
Η ανάγκη για ισχυρότερους τρόπους αναπαράστασης πληροφορίας οδήγησε στην ανάπτυξη των λογικών βάσεων γνώσεων, δηλαδή βάσεων στις οποίες η γνώση εκφράζεται με την χρήση λογικών προτάσεων. Τέτοιου είδους βάσεις γνώσης δίνουν την δυνατότητα αποθήκευσης πληροφορίας η οποία δεν είναι ρητώς καταχωρημένη στην βάση (παραγόμενη γνώση). Η παραγόμενη γνώση όμως προκάλεσε δυσκολίες στην ανάπτυξη μεθόδων ενημέρωσης της γνώσης, αφού η νέα πληροφορία μπορεί να αντιφάσκει είτε με την ίδια την βάση ή με την παραγόμενη γνώση της βάσης. Το πρόβλημα της ενημέρωσης μίας βάσης γνώσης με μία νέα, πιθανά αντιφατική, πληροφορία ονομάζεται αναθεώρηση πεποιθήσεων και είναι ένα πολύ σημαντικό πρόβλημα για διάφορες εφαρμογές. Η παρούσα εργασία αντιμετωπίζει το πρόβλημα αυτό για προτασιακές βάσεις γνώσης. Εισάγεται ένας νέος, ισχυρότερος τρόπος αναπαράστασης εκφράσεων του προτασιακού λογισμού, με την βοήθεια του οποίου μπορούμε να εκφράσουμε την γνώση σαν ένα πίνακα μιγαδικών αριθμών. Η αναπαράσταση αυτή επιτρέπει την "ποσοτικοποίηση" της πληροφορίας και παρέχει έναν άμεσο τρόπο εκτέλεσης των ενημερώσεων καθώς και έναν εύκολο τρόπο αναζήτησης, αξιολόγησης και άρσης των αντιφάσεων της βάσης. Η εκτέλεση των επερωτήσεων υπό την νέα αναπαράσταση είναι ένα παρεμφερές πρόβλημα το οποίο αντιμετωπίζεται, και το οποίο είναι άμεσα συνυφασμένο με το πρόβλημα της αναθεώρησης πεποιθήσεων. Επιπλέον, προτείνονται τρόποι παραμετροποίησης των μεθόδων ενημέρωσης και επερώτησης και παρατηρείται ότι στην κλάση αλγορίθμων που προκύπτει από την παραπάνω παραμετροποίηση ανήκουν πολύ διαφορετικές τεχνικές ενημέρωσης. Παρόλα αυτά, οι αλγόριθμοι της κλάσης αυτής έχουν πολλές επιθυμητές ιδιότητες και επιτρέπουν την ενοποίηση διαφορετικών πράξεων ενημέρωσης όπως η αναθεώρηση (revision), η διόρθωση (update), η αφαίρεση (contraction) και η διαγραφή (erasure). Αλγόριθμοι της βιβλιογραφίας μπορούν να διατυπωθούν υπό το νέο πλαίσιο εργασίας για συγκεκριμένες παραμέρους και προβλήματα του κλασικού προτασιακού λογισμού μπορούν να επιλυθούν με όρους της αναπαράστασης πινάκων. Τέλος, μελετώνται κάποια νέα προβλήματα που ανοίγονται από την εισαγωγή της αναπαράστασης πινάκων και προτείνονται τρόποι περαιτέρω βελτίωσης της τεχνικής αυτής στην αναπαράσταση και ενημέρωση γνώσης.
|
Αναθεώρηση Πεποιθήσεων σε Βάσεις Γνώσεων
