The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.
Ο λογικός φορμαλισμός της αναθεώρησης πεποιθήσεων ερευνάται στη φιλοσοφία, στις βάσεις δεδομένων και στην τεχνητή νοημοσύνη για το σχεδιασμό ορθολογικών υποκειμένων.