Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic

التفاصيل البيبلوغرافية
العنوان: Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic
المؤلفون: Governatori, Guido, Tosatto, Silvano Colombo, Rotolo, Antonino
سنة النشر: 2022
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence
الوصف: This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem. The logic applies three general principles: (1) the Pragmatic Oddity problem must be solved within a general logical treatment of CTD reasoning; (2) non-monotonic methods must be adopted to handle CTD reasoning; (3) logical models of CTD reasoning must be computationally feasible and, if possible, efficient. The proposed extension of Defeasible Deontic Logic elaborates a preliminary version of the model proposed by Governatori and Rotolo (2019). The previous solution was based on particular characteristics of the (constructive, top-down) proof theory of the logic. However, that method introduces some degree of non-determinism. To avoid the problem, we provide a bottom-up characterisation of the logic. The new characterisation offers insights for the efficient implementation of the logic and allows us to establish the computational complexity of the problem.
نوع الوثيقة: Working Paper
الوصول الحر: http://arxiv.org/abs/2209.04553Test
رقم الانضمام: edsarx.2209.04553
قاعدة البيانات: arXiv