Contextual Permission: A Solution to the Free Choice Paradox

A.J.I. Jones; F. Dignum; M. Sergo; J.-J.Ch. Meyer; Roelf J. Wieringa

Contextual Permission: A Solution to the Free Choice Paradox

A.J.I. Jones (Editor), F. Dignum, M. Sergo (Editor), J.-J.Ch. Meyer, Roelf J. Wieringa

Research output: Contribution to conference › Paper › peer-review

159 Downloads (Pure)

Abstract

In this paper, we give a solution to the Free Choice Paradox. This is done in two stages. First, we have a close look at the logical interpretation of the natural language statements that lead to the paradox. This leads to making the important distinction of permitting an action in isolation or permitting it in combination with some or any other action, i.e. in a certain context. This distinction is made formal by the introduction of a new operator on actions, which forces them to be performed in isolation. With this distinction made clear it is possible to give a "new", stronger definition for the permission operator, which solves the Free Choice Paradox and which does not lead to any new inconsistencies or paradoxes.

Original language	Undefined
Pages	107-130
Number of pages	24
Publication status	Published - Jan 1994
Event	2nd International Workshop on Deontic Logic in Computer Science, DEON 1994 - Oslo, Norway Duration: 6 Jan 1994 → 8 Jan 1994 Conference number: 2

Workshop

Workshop	2nd International Workshop on Deontic Logic in Computer Science, DEON 1994
Abbreviated title	DEON
Country/Territory	Norway
City	Oslo
Period	6/01/94 → 8/01/94

Keywords

EWI-10660
SCS-Services
IR-76210

Access to Document

Cite this

@conference{78fa3ac8e2134e78a05a227a7525b0e4,

title = "Contextual Permission: A Solution to the Free Choice Paradox",

abstract = "In this paper, we give a solution to the Free Choice Paradox. This is done in two stages. First, we have a close look at the logical interpretation of the natural language statements that lead to the paradox. This leads to making the important distinction of permitting an action in isolation or permitting it in combination with some or any other action, i.e. in a certain context. This distinction is made formal by the introduction of a new operator on actions, which forces them to be performed in isolation. With this distinction made clear it is possible to give a {"}new{"}, stronger definition for the permission operator, which solves the Free Choice Paradox and which does not lead to any new inconsistencies or paradoxes.",

keywords = "EWI-10660, SCS-Services, IR-76210",

author = "A.J.I. Jones and F. Dignum and M. Sergo and J.-J.Ch. Meyer and Wieringa, {Roelf J.}",

year = "1994",

month = jan,

language = "Undefined",

pages = "107--130",

note = "2nd International Workshop on Deontic Logic in Computer Science, DEON 1994 ; Conference date: 06-01-1994 Through 08-01-1994",

}

TY - CONF

T1 - Contextual Permission: A Solution to the Free Choice Paradox

AU - Dignum, F.

AU - Meyer, J.-J.Ch.

AU - Wieringa, Roelf J.

A2 - Jones, A.J.I.

A2 - Sergo, M.

N1 - Conference code: 2

PY - 1994/1

Y1 - 1994/1

N2 - In this paper, we give a solution to the Free Choice Paradox. This is done in two stages. First, we have a close look at the logical interpretation of the natural language statements that lead to the paradox. This leads to making the important distinction of permitting an action in isolation or permitting it in combination with some or any other action, i.e. in a certain context. This distinction is made formal by the introduction of a new operator on actions, which forces them to be performed in isolation. With this distinction made clear it is possible to give a "new", stronger definition for the permission operator, which solves the Free Choice Paradox and which does not lead to any new inconsistencies or paradoxes.

AB - In this paper, we give a solution to the Free Choice Paradox. This is done in two stages. First, we have a close look at the logical interpretation of the natural language statements that lead to the paradox. This leads to making the important distinction of permitting an action in isolation or permitting it in combination with some or any other action, i.e. in a certain context. This distinction is made formal by the introduction of a new operator on actions, which forces them to be performed in isolation. With this distinction made clear it is possible to give a "new", stronger definition for the permission operator, which solves the Free Choice Paradox and which does not lead to any new inconsistencies or paradoxes.

KW - EWI-10660

KW - SCS-Services

KW - IR-76210

M3 - Paper

SP - 107

EP - 130

T2 - 2nd International Workshop on Deontic Logic in Computer Science, DEON 1994

Y2 - 6 January 1994 through 8 January 1994

ER -