Who is obliged when many are involved? Labelled transition system modelling of how obligation arises

Artificial Intelligence and Law 29 (3):395-415 (2020)
  Copy   BIBTEX

Abstract

The paper tackles the problem of the relation between rights and obligations. Two examples of situations in which such a relation occurs are discussed. One concerns the abortion regulations in Polish law, the other one—a clash between freedom of expression and freedom of enterprise occurring in the context of discrimination. The examples are analysed and formalised using labelled transition systems in the \ framework. Rights are introduced to the system as procedures allowing for their fulfilment. Obligations are based on the requirement of cooperation in the realisation of the goals of the agent that has a right. If the right of an agent cannot be fulfilled without an action of another agent, then that action is obligatory for that agent. If there are many potential contributors who are individually allowed to refuse, then the last of them is obliged to help when all the others have already refused. By means of formalisation this account of the relation under consideration is precisely expressed and shown consistent.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Transition systems for designing and reasoning about norms.Trevor J. M. Bench-Capon - 2015 - Artificial Intelligence and Law 23 (4):345-366.
Editors' introduction.Henry Prakken & Giovanni Sartor - 1996 - Artificial Intelligence and Law 4 (3-4):157-161.
Instructions for Authors.[author unknown] - 2002 - Artificial Intelligence and Law 10 (4):303-308.
Instructions for Authors.[author unknown] - 2002 - Artificial Intelligence and Law 10 (1):219-224.
Instructions for Authors.[author unknown] - 2004 - Artificial Intelligence and Law 12 (4):447-452.
Instructions for Authors.[author unknown] - 2001 - Artificial Intelligence and Law 9 (4):315-320.
Index of Key Words.[author unknown] - 1997 - Artificial Intelligence and Law 5 (4):347-347.

Analytics

Added to PP
2020-12-02

Downloads
31 (#763,697)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Piotr Kulicki
John Paul II Catholic University of Lublin
Robert Trypuz
John Paul II Catholic University of Lublin

Citations of this work

No citations found.

Add more citations

References found in this work

Utilitarianism.John Stuart Mill - 1861 - Cleveland: Oxford University Press UK. Edited by Roger Crisp.
Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.
Agency and deontic logic.John Horty - 2001 - New York: Oxford University Press.
Action Types in Stit Semantics.John Horty & Eric Pacuit - 2017 - Review of Symbolic Logic 10 (4):617-637.

View all 9 references / Add more references