Επισκόπηση της θεωρίας αναθεώρησης πεποιθήσεων

Abstract

Στα μέσα της δεκαετίας του 1980, εφευρέθηκαν λογικά εργαλεία με τα οποία ήταν δυνατή η μοντελοποίηση της αναθεώρησης πεποιθήσεων και γνώσεων με εντελώς καινούριες διαδικασίες. Αυτά τα λογικά εργαλεία αποδείχτηκαν ότι είναι εφαρμόσιμα και στα ανθρώπινα πιστεύω και στα περιεχόμενα των βάσεων δεδομένων των ηλεκτρονικών υπολογιστών. Η ανάγκη για ισχυρότερους τρόπους αναπαράστασης πλήροφορίας οδήγησε στην ανάπτυξη των λογικών βάσεων γνώσεων, δηλαδή βάσεων στις οποίες η γνώση εκφράζεται με την χρήση λογικών προτάσεων. Τέτοιου είδους βάσεις γνώσης δίνουν τη δυνατότητα αποθήκευσης πληροφορίας η οποία δεν είναι ρητώς καταχωρημένη στη βάση. Η παραγόμενη γνώση όμως προκάλεσε δυσκολίες στην ανάπτυξη μεθόδων ενημέρωσης της γνώσης, αφού η νέα πληροφορία μπορεί να αντιφάσκει είτε με την ίδια την βάση ή με την παραγόμενη γνώση της βάσης. Το πρόβλημα της ενημέρωσης μίας βάσης γνώσης με μία νέα, πιθανά αντιφατική, πληροφορία ονομάζεται αναθεώρηση πεποιθήσεων και είναι ένα πολύ σημαντικό πρόβλημα για διάφορες εφαρμογές. Η παρούσα εργασία αντιμετωπίζει το πρόβλημα αυτό για προτασιακές βάσεις γνώσης. Εισάγεται ένα νέος, ισχυρότερος τρόπος αναπαράστασης εκφράσεων του προτασιακού λογισμού, με την βοήθεια του AGM μοντέλου, το οποίο μας βοηθά να κάνουμε: α)πρόσθεση πεποιθήσεων, β) αναθεώρηση πεποιθήσεων και γ) αφαίρεση πεποιθήσεων χρησιμοποιώντας κάποιες αρχές. Η πρόσθεση αναφέρεται στη συλλογή νέων πληροφοριών (επέκταση πεποιθήσεων), η αφα'ιρεση στην απώλεια πληροφορίας, ενώ η αναθεώρηση ερμηνεύει τη μερική ή ολική αλλαγή στο σύνολο των πεποιθήσεών μας, εξαιτίας της εμφάνισης μίας νέας πεποίθησης. Κάθε διαδικασία αναθεώρησης συνοδεύεται από ένα σύνολο ορθολογικών αξιωμάτων. Τέλος, μελετώνται κάποια νέα προβλήματα που ανοίγονται από την εισαγωγή της αναθεώρησης πεποιθήσεων και προτείνονται τρόποι περαιτέρω βελτίωσης της τεχνικής αυτής στην αναπαράσταση και στην ενημέρωση της γνώσης.