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