Αναθεώρηση πεποιθήσεων: Διαφορά μεταξύ των αναθεωρήσεων

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

Αναθεώρηση πεποιθήσεων, με την ευρεία έννοια,<ref>Στη συνέχεια θα γίνει διάκριση μεταξύ αναθεώρησης και αναβάθμισης, μια διάκριση που έκαναν πρώτοι οι Katsuno, H και Mendelzon A. O. (1989) & (1991) αντίστοιχα.</ref>, είναι η διαδικασία αλλαγής πεποιθήσεων προκειμένου να ληφθεί υπόψιν η νέα εισερχόμενη πληροφορία. Ο λογικός φορμαλισμός της αναθεώρησης πεποιθήσεων ερευνάται στη φιλοσοφία, στις βάσεις δεδομένων και στην τεχνητή νοημοσύνη για το σχεδιασμό ορθολογικών υποκειμένων.

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

*Η ''παραγωγική'' θεώρηση, η οποία προσπαθεί να αντλήσει μια θεωρία αναθεώρησης πεποιθήσεων από μια πιο εποικοδομητική επιστημολογική θεωρία.<ref>Pollock και Gillies, 2000, σ. 1</ref>.

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