Dignum, F., Meyer, J.-J.Ch. and Wieringa, R. J.: \Free choice and contextually permitted action", Studia Logica, 57, 1996, 193-220. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Role of Deontic Logic in the Specification of Information .. - Ch Meyer Utrecht (10 citations) Self-citation (Dignum Ch Wieringa) (Correct)
No context found.
F. Dignum, J.-J. Ch. Meyer & R.J. Wieringa, Free Choice and Contextually Permitted Actions, Studia Logica 57(1), pp. 193-220, 1996.
The Role of Deontic Logic in the Specification of.. - Meyer, Wieringa, Dignum (1996) (10 citations) Self-citation (Dignum Ch Wieringa) (Correct)
....application to computer programs and consider general actions, whether they are supposed to be executed by computers or by humans. In this way, dynamic logic may be viewed as a general logic for reasoning about actions. We ( Mey87, Mey88] MWW89] MWM89] DM90] WWMD91] DMW94a,b] [DMW96]) have employed this idea in order to get a deontic logic for ought to do (i.e. obliged actions) We will sketch this approach below in section 5.1. Admittedly, also in the philosophical literature on deontic logic there have been proposals to distinguish between actions and assertions ( vW81] ....
....choice operators representing free and imposed choice and obtained a framework (albeit complicated) in which both could be used intertwined. Here we mixed techniques from process algebra (and universal algebra) with dynamic logic to get a solution for this well known problem in deontic logic. In [DMW94a, DMW96] we gave a less involved solution to this problem using another (stronger) definition of permission together with admissible contexts for actions, but also here dynamic logic is a crucial ingredient of the approach. 6.1 A Logic of Ought to Do: a Deontic Logic Based on Dynamic Logic PDeL, ....
[Article contains additional citation context not shown here]
F. Dignum, J.-J. Ch. Meyer & R.J. Wieringa, Free Choice and Contextually Permitted Actions, Studia Logica 57(1), pp. 193-220, 1996.
Dynamic Logic Reasoning about Actions and Agents - Meyer (1999) Self-citation (Ch) (Correct)
....rather involved (due to the presence of the sequential composition # ) so that we do not give its full definition here. Here it suffices that and are very much resembling an intersection and complement operator on the accessibility relations (like is resembling an union operator) cf. [34, 9]) 4 We can now define the deontic operators as abbreviations as follows: Definition 5.2 ffl Fff j [ff]V, i.e. the action ff is forbidden iff performing ff leads to a state of violation# ffl Pff j:Fff, i.e. the action ff is permitted iff it is not forbidden# ffl Oblff j [ff]V, i.e. an ....
....acceptable for some applications, it is obviously not the case for all uses readings of permission, so that one should then use a stronger notion. In fact several of these alternatives have been proposed. We ourselves have also considered alternatives to deal with these so called paradoxes (e.g. [9]) but most of them can be viewed harmless once one realizes what exactly the meanings of these are, and one is then able to fine tune these notions to one s needs. Deontic logic can be employed for the representation of knowledge in domains where obligations, permissions and prohibitions occur ....
F.P.M. Dignum, J.-J. Ch. Meyer & R.J. Wieringa, Free Choice and Contextually Permitted Actions, Studia Logica 57(1), 1996, pp. 193-220. 26
Cumulativity, Identity and Time in Deontic Logic - Parent (2001) (Correct)
No context found.
Dignum, F., Meyer, J.-J.Ch. and Wieringa, R. J.: \Free choice and contextually permitted action", Studia Logica, 57, 1996, 193-220.
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