Free choice and contextually permitted actions |
| |
Authors: | F Dignum J -J Ch Meyer R J Wieringa |
| |
Institution: | (1) Dept. of Math. & Comp. Science, Eindhoven University of Technology, P.O.box 513, 5600 MB Eindhoven, The Netherlands;(2) Dept. of Computer Science, Utrecht University, P.O.box 80085, 3508 TB Utrecht, The Netherlands;(3) Fac. of Math. & Comp. Science, Free University of Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands |
| |
Abstract: | We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.This author gratefully acknowledges the hospitality of Linköping University during revision of this paper.This research of J.-J.Ch.Meyer and R.J.Wieringa is partially supported by ESPRIT BRWG project No.8319 ModelAge . |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|