Who is obliged when many are involved? Labelled transition system modelling of how obligation arises-Reference-Cited by-同舟云学术

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

Published:2020-12-02 Issue: Volume: Page:
ISSN:0924-8463
Container-title:Artificial Intelligence and Law
language:en
Short-container-title:Artif Intell Law

Author:

Kulicki Piotr^ORCID,Trypuz Robert^ORCID,Sergot Marek^ORCID

Abstract

AbstractThe 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

$$n\mathcal {C}+$$

n C + 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.

Funder

Narodowe Centrum Nauki

The John Paul II Catholic University of Lublin

Publisher

Springer Science and Business Media LLC

Subject

Law,Artificial Intelligence

Link

http://link.springer.com/content/pdf/10.1007/s10506-020-09279-9.pdf

Reference18 articles.

1. Belnap N (2001) Facing the future: agents and choices in our indeterminist world. Oxford University Press, Oxford

2. Broersen JM (2008) A complete STIT logic for knowledge and action, and some of its applications. In: Baldoni M, Son TC, van Riemsdijk MB, Winikoff M (eds) Declarative agent languages and technologies VI, 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised selected and invited papers, volume 5397 of lecture notes in computer science. Springer, Berlin, pp 47–59

3. Broersen JM (2014) A stit logic analysis of morally lucky and legally lucky action outcomes. Springer, Cham, pp 75–98

4. Carmo J, Jones AJI (1996) Deontic database contraints, violation and recovery. Studia Logica 57(1):139–165

5. Craven R, Sergot MJ (2008) Agent strands in the action language nC+. J Appl Logic 6(2):172–191

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Actions and Deontology: Janusz Czelakowski on Actions and their Assessment;Outstanding Contributions to Logic;2024