بازبینی باور

بازبینیِ باور یا تجدید نظر در باور به مفهوم فرایند تغییر باورها برای به حساب آوردن قطعه جدیدی از اطلاعات است. ساختار منطقی تجدید نظر در باور برای طراحی کارگزاران هوشمند در فلسفه، بانکهای اطلاعاتی و هوش مصنوعی مورد تحقیق قرار می گیرد.
آنچه باعث غیر بدیهی بودن تجدید نظر در باور می شود، امکان وجود راه های متفاوت و متعددی برای انجام این کار است. به عنوان مثال اگر دانش موجود شامل سه حقیقت "A درست است", "B درست است" و "اگر A و B درست پس از آن C درست است" باشد، با معرفی حقیقت جدید "C نادرست است" فقط در صورتی می توان ثبات را حفظ کنیم که حداقل یکی از سه حقیقت موجود را حذف کنیم. در این مورد حداقل سه راه مختلف برای این تجدید نظر وجود دارد. به طور کلی ممکن است راه های متعدد متفاوتی برای تغییر دانش وجود داشته باشد.
دو نوع از تغییرات معمولاً انجام می شوند:
فرض اصلی تجدید نظر در باور، انجام حداقل تغییرات است: دانش قبل و بعد از تغییر باید تا حد امکان یکسان باشد. در مورد به «روز رسانی»، این اصل فرض سکون را می سازد. در مورد «تجدید نظر» این اصل تا آنجا که ممکن است باعث محافظت از اطلاعات در برابر تغییر می شود.