Giving permission implies giving choice

被引:0
|
作者
Royakkers, LMM
机构
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This article presents the formalisation of the weak and strong permission in deontic logic based ora the logic of enactment. A permission that follows from the absence of a prohibition. we call a weak permission; this permission is not enacted. A strong permission is always enacted (implicitly or explicitly), and implies a gluing choice. The distinction between these two types of pel mission is a consequence of the universality of a normative system by the closure rule: 'whatever is not forbidden, is permitted'.
引用
收藏
页码:198 / 203
页数:6
相关论文
共 50 条