2 Search Results for "Rodrigues, Odinaldo"

Document
DOI: 10.4230/DagSemProc.07351.8
Common Foundations for belief revision, belief merging and voting

Authors: Dov Gabbay, Gabriella Pigozzi, and Odinaldo Rodrigues

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)

Abstract
In this paper, we consider a number of different ways of reasoning about voting as a problem of conciliating contradictory interests. The mechanisms that do the reconciliation are belief revision and belief merging. By investigating the relationship between different voting strategies and their associated counterparts in revision theory, we find that whereas the counting mechanism of the voting process is more easily done at the meta-level in belief merging, it can be brought to the object level in base revision. In the former case, the counting can be tweaked according to the aggregation procedure used, whereas in base revision, we can only rely on the notion of minimal change and hence the syntactical representation of the voters' preferences plays a crucial part in the process. This highlights the similarities between the revision approaches on the one hand and voting on the other, but also opens up a number of interesting questions.
Cite as

Dov Gabbay, Gabriella Pigozzi, and Odinaldo Rodrigues. Common Foundations for belief revision, belief merging and voting. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{gabbay_et_al:DagSemProc.07351.8,
  author =	{Gabbay, Dov and Pigozzi, Gabriella and Rodrigues, Odinaldo},
  title =	{{Common Foundations for belief revision, belief merging and voting}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--16},
  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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.8},
  URN =		{urn:nbn:de:0030-drops-12172},
  doi =		{10.4230/DagSemProc.07351.8},
  annote =	{Keywords: Belief revision, belief merging, voting, social choice theory}
}
Document
DOI: 10.4230/DagSemProc.07351.18
Propositional Relevance through Letter-Sharing: Review and Contribution

Authors: David Makinson

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)

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.
Cite as

David Makinson. Propositional Relevance through Letter-Sharing: Review and Contribution. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.18},
  URN =		{urn:nbn:de:0030-drops-12124},
  doi =		{10.4230/DagSemProc.07351.18},
  annote =	{Keywords: Belief change, relevance, letter-sharing, splitting}
}
  • Refine by Author
  • 1 Gabbay, Dov
  • 1 Makinson, David
  • 1 Pigozzi, Gabriella
  • 1 Rodrigues, Odinaldo

  • Refine by Classification

  • Refine by Keyword
  • 1 Belief change
  • 1 Belief revision
  • 1 belief merging
  • 1 letter-sharing
  • 1 relevance
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 2 2007

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact