F. Dignum, J.-J.Ch. Meyer, R.J. Wieringa  Home/Search
Context Related
| cs.vu.nl/pub/roelw...eonticContext.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math.ju...ftp.cs.vu.nl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
.... contractual obligations [38] contextual obligations [84] and so called Free choice permissions (cf. Dignum, Meyer and Wieringa s [27]) 8 The sentences can for instance be formalised in the following manner, adhering to the formalisms found in [55] A.1: O:A, A.2: j O( i...
.... deontic logic, that is concerned with the modeling of ought to do normative assertions, and that was initiated by Meyer [18] 24][9][16] Recent developments in AI demonstrate how these logics play a role in the modeling of rational agent behavior in normative environments...
Cited by: More
The Role of Deontic Logic in the Specification of Information .. - Ch Meyer Utrecht (Correct)
The Paradoxes of Deontic Logic Revisited: A Computer Science.. - Meyer, al. (1994) (Correct)
A Fixed-point Characterization of a Deontic Logic of.. - Broersen, Wieringa, Meyer (2001) (Correct)
Similar documents (at the sentence level):
30.6%: Free Choice and Contextually Permitted Actions - Dignum, Meyer, Wieringa (1996) (Correct)
Active bibliography (related documents): More All
0.7: Actors, Actions, and Initiative in Normative System.. - Wieringa, Meyer (Correct)
0.4: A Modal Approach to Intentions, Commitments and.. - Dignum, Meyer.. (1996) (Correct)
0.3: Actor-Oriented Specification of Deontic Integrity Constraints - Wieringa, Meyer (1991) (Correct)
Similar documents based on text: More All
0.8: A Dynamic Logic for Reasoning about Sub-ideal States - Dignum Ch Meyer (1994) (Correct)
0.2: You May Read It Now Or Later: A Case Study on the Paradox of Free .. - Schulz (2004) (Correct)
0.1: A Language/Action perspective on Cooperative Information.. - Verharen, Dignum, Weigand (Correct)
Related documents from co-citation: More All
4: Deontic Logic in Computer Science: Normative System Specification (context) - Meyer, Wieringa - 1993
3: Towards a formal theory of defeasible deontic conditionals (context) - Jones - 1993
3: Bringing it about (context) - Segerberg - 1989
BibTeX entry: (Update)
F.Dignum, J.-J.Ch. Meyer, and R.J. Wieringa. Contextual permission: A solution to the free choice paradox. In A.J.I. Jones and M. Sergot, editors, Second International Workshop on Deontic Logic in Computer Science (DEON'94), pages 107-130. Norwegian Research Center for Computers and Law, 1994. http://citeseer.ist.psu.edu/dignum94contextual.html More
@misc{ dignum94contextual,
author = "F. Dignum and J. Ch and M. Wieringa",
title = "Contextual permission: A solution to the free choice paradox",
text = "F.Dignum, J.-J.Ch. Meyer, and R.J. Wieringa. Contextual permission: A solution
to the free choice paradox. In A.J.I. Jones and M. Sergot, editors, Second
International Workshop on Deontic Logic in Computer Science (DEON'94), pages
107-130. Norwegian Research Center for Computers and Law, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/dignum94contextual.html" }
Citations (may not include all citations):65 A different approach to deontic logic: Deontic logic viewed .. (context) - Ch - 1988
42 Specifying dynamic and deontic integrity constraints in know.. (context) - Wieringa, Ch et al. - 1989
25 Theoretical Computer Science - Broy, for et al. - 1986
18 A language for modelling knowledge bases (context) - Dignum - 1989
14 Contrasting themes in the semantics of imperative concurrenc.. (context) - de Bakker, Kok et al. - 1986
13 Negations of transactions and their use in the specification.. (context) - Dignum, Ch - 1990
9 Free Choice Permissions and Ross's Paradox: Internal vs (context) - Ch - 1992
7 Using programming concepts in deontic reasoning (context) - Ch - 1990
4 Using transactions in integrity constraints (context) - Dignum - 1992
3 Aristotelian Society Proceedings N (context) - Free, Permission - 1974
2 Actions and Initiative in Normative System Specification (context) - Ch, Wieringa - 1993
2 Deontic Logic: A Comprehensive Appraisal and a New Proposal (context) - al-Hibri - 1978
1 Conditionals in Possible Worlds in G (context) - Hilpinen
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.vu.nl.html): More
Models for Asynchronous Message Handling - Langendoen, Bhoedjang, Bal (1997) (Correct)
Orca: a Portable User-Level Shared Object System - Bal, BHOEDJANG, HOFMAN.. (1996) (Correct)
Object Distribution in Orca using Compile-Time and Run-Time.. - Bal, Kaashoek (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC