Deontic logics for prioritized imperatives

被引:16
|
作者
Hansen, Joerg [1 ]
机构
[1] Univ Leipzig, Inst Philosophie, Beethovenstr 15, D-04107 Leipzig, Germany
关键词
deontic logic; logic of imperatives; priorities;
D O I
10.1007/s10506-005-5081-x
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
When a conflict of duties arises, a resolution is often sought by use of an ordering of priority or importance. This paper examines how such a conflict resolution works, compares mechanisms that have been proposed in the literature, and gives preference to one developed by Brewka and Nebel. I distinguish between two cases - that some conflicts may remain unresolved, and that a priority ordering can be determined that resolves all - and provide semantics and axiomatic systems for accordingly defined dyadic deontic operators.
引用
收藏
页码:1 / 34
页数:34
相关论文
共 50 条