License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05321.4
URN: urn:nbn:de:0030-drops-3302
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2005/330/
Go to the corresponding Portal

Bonanno, Giacomo

A simple modal logic for belief revision

pdf-format:
05321.BonannoGiacomo2.ExtAbstract.330.pdf (0.3 MB)

Abstract

I propose a modal logic for belief revision based on three operators representing initial beliefs, information and revised beliefs. Three axioms are put forward that express three simple principles: (1) if the agent is informed of something that he considered possible initially, then he incorporates the information in his revised beliefs, (2) if the information received is not surprising then all previous beliefs are maintained (although new beliefs may be added) and (3) any new belief must be deducible from the initial beliefs and the information received. I show that these three axioms characterize the qualitative content of Bayes' rule. I also construct a logic which is sound and complete with respect to the class of frames that satisfy the qualitative Bayes rule. Some interesting theorems are derived for extensions of this logic, for example that the agent initially believes that he later will believe A if and only if he already believes A to start with. I then extend the framework to deal with iterated belief revision and the iterated version of Bayes rule.

BibTeX - Entry

@InProceedings{bonanno:DagSemProc.05321.4,
  author =	{Bonanno, Giacomo},
  title =	{{A simple modal logic for belief revision}},
  booktitle =	{Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5321},
  editor =	{James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2005/330},
  URN =		{urn:nbn:de:0030-drops-3302},
  doi =		{10.4230/DagSemProc.05321.4},
  annote =	{Keywords: Belief revision, information, Bayes' rule, iterated revision}
}

Keywords: Belief revision, information, Bayes' rule, iterated revision
Collection: 05321 - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics
Issue Date: 2005
Date of publication: 21.11.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI