Η **αναθεώρηση πεποιθήσεων** (αγγλικά: belief revision) είναι κλάδος της επιστημονικής και φιλοσοφικής μελέτης της λογικής. Η τυπική λογική παρουσιάζει κάποια χαρακτηριστικά τα οποία δεν συμπίπτουν πάντα με την ανθρώπινη διαισθητική "λογική". Για παράδειγμα, ο υποθετικός-παραγωγικός συλλογισμός (abductive reasoning) είναι μεταξύ των διαισθητικά λογικών ή εύλογων συλλογισμών που δεν ταυτίζονται με την τυπική λογική. Στην τυπική λογική το μήκος της αλυσίδας των συλλογισμών δεν μειώνει τον βαθμό που το συμπέρασμα είναι αληθές. Το συμπέρασμα είναι 100% αληθές όσο επίπονη και μακρά κι αν ήταν η αλυσίδα έγκυρων συλλογισμών που χρειάστηκε για να αποδειχθεί. Από την άλλη, οι υποθετικοί-παραγωγικοί συλλογισμοί μπορεί να παρουσιάζουν το χαρακτηριστικό ότι όσο μακραίνει η αλυσίδα της απόδειξης μειώνεται η βεβαιότητα (η πιθανότητα) ότι το συμπέρασμα είναι αληθές. Εξετάζοντας τα θέματα αυτά, η θεωρία αναθεώρησης πεποιθήσεων κατά βάση εξετάζει τους διαφορετικούς δυνατούς τρόπους με τους οποίους ένα "ορθολογικό υποκείμενο" μπορεί να αντιμετωπίζει καταστάσεις όπως αυτή κατά την οποία μπορεί να ισχύει ότι "Α είναι αληθές" (ή να ισχύει με μια πιθανότητα, π.χ. πάνω από 50%), μπορεί να ισχύει ότι "Β είναι αληθές" (ή να ισχύει με μια πιθανότητα, π.χ. πάνω από 50%), ισχύει ότι "εάν το Α και Β είναι αληθή τότε Γ είναι αληθές" και γίνεται εισαγωγή της νέας πληροφορίας ότι "Γ είναι ψευδές".

Εισαγωγή
--------

Αναθεώρηση πεποιθήσεων, με την ευρεία έννοια, είναι η διαδικασία αλλαγής πεποιθήσεων προκειμένου να ληφθεί υπόψιν η νέα εισερχόμενη πληροφορία. Ο λογικός φορμαλισμός της αναθεώρησης πεποιθήσεων ερευνάται στη φιλοσοφία, στις βάσεις δεδομένων και στην τεχνητή νοημοσύνη για το σχεδιασμό ορθολογικών υποκειμένων.

Αυτό που καθιστά την αναθεώρηση πεποιθήσεων σημαντική είναι το γεγονός ότι υπάρχουν πολλοί πιθανοί διαφορετικοί τρόποι για την εκτέλεση αυτής της διαδικασίας. Στην πραγματικότητα μπορεί να υπάρχουν πολλοί διαφορετικοί τρόποι για την αλλαγή πεποιθήσεων, δύο όμως είδη αλλαγών σήμερα διακρίνονται: η αναβάθμιση και η αναθεώρηση (Katsuno, Η & Mendelzon, A. O. 1989). 

Οι διαδικασίες για να εκτελέσουμε μια αναβάθμιση ή μια αναθεώρηση δεν είναι οι ίδιες. Το ακόλουθο παράδειγμα βασίζεται σε δύο διαφορετικές ερμηνείες του συστήματος πεποιθήσεων {αÚβ} και της νέας πληροφορίας α: 

(αναβάθμιση) Δύο ορειβάτες κάνουν αναρρίχηση στο ίδιο βουνό από διαφορετικές πλευρές και επικοινωνούν με το ίδιο κέντρο κάτω από το βουνό μέσω ασυρμάτων. Εξαιτίας των κακών καιρικών συνθηκών το κέντρο λαμβάνει την επικοινωνία με τον ένα ορειβάτη, δίχως όμως να δύναται να προσδιορίσει με ποιόν από τους δύο, ο οποίος ισχυρίζεται πως δεν έχει ανέβει ακόμα στην κορυφή. Στη συνέχεια λαμβάνει σήμα ότι ο πρώτος ορειβάτης έφτασε στην κορυφή. Αυτό το σενάριο μπορεί να γίνει μοντέλο με δύο προτασιακές μεταβλητές α και β που δείχνουν ότι ο ορειβάτης 1 και ορειβάτης 2, αντίστοιχα αναρριχώνται στο βουνό. Το αρχικό σύστημα πεποιθήσεων είναι {αVβ} και η νέα εισερχόμενη πληροφορία είναι η ~α (ο ορειβάτης 1 έφτασε στην κορυφή, και για αυτό τον λόγο σταμάτησε την αναρρίχηση). Το μόνο ορθολογικό αποτέλεσμα της αναβάθμισης είναι η ~α, αφού η αρχική πληροφόρηση, ότι ένας από τους δυο ορειβάτες δεν έχει φτάσει στην κορυφή, να προερχόταν πιθανόν από τον πρώτο ορειβάτη, επομένως η θέση του δεύτερου δεν είναι γνωστή.

(αναθεώρηση) Οι αγώνες για το πανελλήνιο πρωτάθλημα στίβου θα γίνουν σε ένα από τα δύο μεγάλα στάδια της Αθήνας (Ο.Α.Κ.Α. / Σ.Ε.Φ.). Αυτή η πληροφορία μπορεί να απεικονιστεί {αVβ}, όπου τα α και β δείχνουν ότι οι αγώνες θα γίνουν ή στο πρώτο ή στο δεύτερο στάδιο αντίστοιχα. Μια επιπρόσθετη πληροφορία, ότι στο πρώτο στάδιο θα διεξαχθεί το πανελλήνιο πρωτάθλημα ποδοσφαίρου την ίδια πάντα μέρα με τους αγώνες στίβου, δείχνει ότι η ~α επικρατεί. Σε αυτή τη περίπτωση το συμπέρασμα είναι ολοφάνερα το γεγονός ότι το πανελλήνιο πρωτάθλημα στίβου θα διεξαχθεί στο δεύτερο και όχι στο πρώτο στάδιο, το οποίο αναπαρίσταται στη λογική με ~αΛβ.

Αυτό το παράδειγμα δείχνει ότι αναθεωρώντας το σύστημα πεποιθήσεων αvβ με τη νέα πληροφορία ~α παράγει δύο διαφορετικά αποτελέσματα ~α και ~αΛβ τα οποία εξαρτώνται από το εάν η διαδικασία είναι αναβάθμισης ή αναθεώρησης.

Θεωρία AGM και επιστημολογική θεώρηση
-------------------------------------

Ένας φυσικός προβληματισμός της επιστημολογίας είναι να προτείνει μια θεώρηση δικαιολογημένης αναθεώρησης πεποιθήσεων. Υπάρχουν δύο δρόμοι που μπορεί να ακολουθήσει κανείς σε μια τέτοια περίπτωση:

* Η *αξιωματική θεώρηση*, η οποία προτείνει αφηρημένες γενικές αρχές που νοηματικά επενεργούν πάνω στη διαδικασία και αξιωματικοποιούν την αναθεώρηση πεποιθήσεων.
* Η *παραγωγική* θεώρηση, η οποία προσπαθεί να αντλήσει μια θεωρία αναθεώρησης πεποιθήσεων από μια πιο εποικοδομητική επιστημολογική θεωρία.

Η πιο δημοφιλής και ευρέως διαδεδομένη αξιωματική θεώρηση είναι η AGM (από τα αρχικά των συγγραφέων) θεώρηση, η οποία είναι κατασκεύασμα των Alchourrón, C. E. P. Gärdenfors, και D. Makinson (1985) και αναπτύχθηκε περαιτέρω από τον P. Gärdenfors (1988, 1992) και τους Alchourrón και Makinson (1982, 1985). Τέτοιου είδους θεωρήσεις προχωρούν σε ένα πολύ μεγάλο επίπεδο αφαίρεσης, αγνοώντας όψεις γνωσιακής ορθολογικότητας, χωρίς την οποία είναι αδύνατο να δημιουργήσουμε πραγματικές αρχές ορθολογικής αναθεώρησης πεποιθήσεων. Μια θεωρία αναθεώρησης πεποιθήσεων οφείλει να καθοδηγείται από μια πιο εποικοδομητική επιστημολογία.

Η θεωρία αναθεώρησης πεποιθήσεων δημιουργήθηκε κατ' αρχήν για να απαντήσει στο ερώτημα πως οι άνθρωποι αλλάζουν γνώμη, ακολουθώντας μια μακρά παράδοση φιλοσοφικού έργου στη θεωρία της αλλαγής πεποιθήσεων. Κατά τις δύο τελευταίες δεκαετίες η πρωταρχική αξιωματική θεώρηση έχει συζητηθεί, ανασκευαστεί και δεχτεί εκτενέστατη κριτική. Άλλα πιο ρεαλιστικά, και πιο εύκολα υπολογιστικά μοντέλα αναθεώρησης πεποιθήσεων έχουν προταθεί. Κανονιστικές θεωρίες αναθεώρησης, οι οποίες υποστηρίζονται από φιλοσόφους και Λογικούς, που μελετάνε το ερώτημα του πως θα έπρεπε οι άνθρωποι να αλλάζουν γνώμες, βαδίζουν παράλληλα με πιο περιγραφικές θεωρήσεις που δημιουργήθηκαν από γνωσιακούς ψυχολόγους και κοινωνικούς επιστήμονες, οι οποίοι θέλουν να ξέρουν πως οι άνθρωποι στη πραγματικότητα λειτουργούν. Ως αποτέλεσμα, η αναθεώρηση πεποιθήσεων έχει γίνει μια από τις πιο ενεργές περιοχές έρευνας, με τη συμβολή μεταξύ γνωσιακής επιστήμης, λογικής, φιλοσοφίας και της τεχνητής νοημοσύνης.

Παραπομπές
----------

1. ↑  Στη συνέχεια θα γίνει διάκριση μεταξύ αναθεώρησης και αναβάθμισης, μια διάκριση που έκαναν πρώτοι οι Katsuno, Η και Mendelzon A. O. (1989) & (1991) αντίστοιχα.
2. ↑  Για περισσότερες πληροφορίες Boutilier, C. (1996).
3. ↑  Pollock και Gillies, 2000, σ. 1
4. ↑  ο.π. σ.2

Εξωτερικοί σύνδεσμοι
--------------------

* Belief Revision - Stanford Encyclopedia of Philosophy.
* Beliefrevision.org Αρχειοθετήθηκε 2020-10-21 στο Wayback Machine.