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 条
  • [31] A SYSTEMATICS OF DEONTIC ACTION LOGICS BASED ON BOOLEAN ALGEBRA
    Trypuz, Robert
    Kulicki, Piotr
    LOGIC AND LOGICAL PHILOSOPHY, 2009, 18 (3-4) : 253 - 270
  • [32] Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again
    Kees van Berkel
    Agata Ciabattoni
    Elisa Freschi
    Francesca Gulisano
    Maya Olszewski
    Journal of Logic, Language and Information, 2023, 32 : 19 - 62
  • [33] Beyond logics and deontic logics: The rational role of action options and goals in the Wason selection task
    von Sydow, Momme
    Rietz, Chantal
    Beller, Sieghard
    INTERNATIONAL JOURNAL OF PSYCHOLOGY, 2008, 43 (3-4) : 815 - 815
  • [34] EXTENDING THE STANDARD FORMAT OF ADAPTIVE LOGICS TO THE PRIORITIZED CASE
    Van de Putte, Frederik
    Strasser, Christian
    LOGIQUE ET ANALYSE, 2012, (220) : 601 - 641
  • [35] Three formats of prioritized adaptive logics: a comparative study
    Van de Putte, Frederik
    Strasser, Christian
    LOGIC JOURNAL OF THE IGPL, 2013, 21 (02) : 127 - 159
  • [36] Automated Reasoning over Deontic Action Logics with Finite Vocabularies
    Castro, Pablo F.
    Maibaum, Thomas S. E.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (139): : 16 - 30
  • [37] Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
    Orlandelli, Eugenio
    LOGIC AND LOGICAL PHILOSOPHY, 2021, 30 (01) : 139 - 183
  • [38] Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
    Trypuz, Robert
    Kulicki, Piotr
    DEONTIC LOGIC IN COMPUTER SCIENCE, 2010, 6181 : 132 - 147
  • [39] Four-valued logics for reasoning with uncertainty in prioritized data
    Arieli, O
    INFORMATION, UNCERTAINTY AND FUSION, 2000, 516 : 293 - 304
  • [40] Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity
    Castro, Pablo F.
    STUDIA LOGICA, 2017, 105 (02) : 229 - 251