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.07351.18
URN: urn:nbn:de:0030-drops-12124
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2007/1212/
Go to the corresponding Portal

Makinson, David

Propositional Relevance through Letter-Sharing: Review and Contribution

pdf-format:
07351.MakinsonDavid.Paper.1212.pdf (0.08 MB)

Abstract

The concept of relevance between classical propositional formulae, defined in terms of letter-sharing, has been around for a very long time. But it began to take on a fresh life in 1999 when it was reconsidered in the context of the logic of belief change. Two new ideas appeared in independent work of Odinaldo Rodrigues and Rohit Parikh. First, the relation of relevance was considered modulo the belief set under consideration, Second, the belief set was put in a canonical form, known as its finest splitting. In this paper we explain these ideas; relate the approaches of Rodrigues and Parikh to each other; and briefly report some recent results of Kourousias and Makinson on the extent to which AGM belief change operations respect relevance. Finally we suggest a further refinement of the notion of relevance by introducing a parameter that allows one to take epistemic as well as purely logical components into account.

BibTeX - Entry

@InProceedings{makinson:DagSemProc.07351.18,
  author =	{Makinson, David},
  title =	{{Propositional Relevance through Letter-Sharing: Review and Contribution}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2007/1212},
  URN =		{urn:nbn:de:0030-drops-12124},
  doi =		{10.4230/DagSemProc.07351.18},
  annote =	{Keywords: Belief change, relevance, letter-sharing, splitting}
}

Keywords: Belief change, relevance, letter-sharing, splitting
Collection: 07351 - Formal Models of Belief Change in Rational Agents
Issue Date: 2007
Date of publication: 20.11.2007

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