DROPS

Document

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.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}
}

Document

DOI: 10.4230/DagSemProc.07122.32

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions

Authors: David Makinson and Leendert van der Torre

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)

Abstract

We explain the {em raison d'^etre} and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation comes from the logic of norms. Unconstrained input/output operations are straightforward to define, with relatively simple behaviour, but ignore the subtleties of contrary-to-duty norms. To deal with these more sensitively, we constrain input/output operations by means of consistency conditions, expressed via the concept of an outfamily. They also provide a convenient platform for distinguishing and analysing several different kinds of permission.

Cite as

David Makinson and Leendert van der Torre. What is Input/Output Logic? Input/Output Logic, Constraints, Permissions. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{makinson_et_al:DagSemProc.07122.32,
  author =	{Makinson, David and van der Torre, Leendert},
  title =	{{What is Input/Output Logic? Input/Output Logic, Constraints, Permissions}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.32},
  URN =		{urn:nbn:de:0030-drops-9282},
  doi =		{10.4230/DagSemProc.07122.32},
  annote =	{Keywords: Deontic logic, input/output logic, constraints, permissions}
}

Search Results

Documents authored by Makinson, David

Propositional Relevance through Letter-Sharing: Review and Contribution

Abstract

Cite as

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions

Abstract

Cite as

Thanks for your feedback!

Could not send message