
arXiv: 2209.12655
handle: 11562/1118167 , 11585/961955 , 10072/427706
Abstract The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such theories were proposed in Olivieri et al. (2021, Computing defeasible meta-logic. In JELIA 2021, LNCS, vol. 12678, pp. 69–84. Springer.). This work extends such a logical framework by considering the deontic aspect. The resulting logic will not just be able to model policies but also tackle well-known aspects that occur in numerous legal systems. The use of Defeasible Logic to model meta-rules in the application area we just alluded to has been investigated. Within this line of research, the study mentioned above was not focusing on the general computational properties of meta-rules. This study fills this gap with two major contributions. First, we introduce and formalise two variants of Defeasible Deontic Logic (DDL) with meta-rules to represent (i) defeasible meta-theories with deontic modalities and (ii) two different types of conflicts among rules: Simple Conflict DDL and Cautious Conflict DDL. Second, we advance efficient algorithms to compute the extensions for both variants.
FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Defeasible logic, Logic, Computer Science - Artificial Intelligence, Theory & Methods, Mathematical sciences, principles, Logic and Foundations of Mathematics, Mathematical logic and foundations, semantics, language, Science & Technology, Defeasible Deontic Logic, meta-rules, Automated reasoning, Computer science, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Computer Science, Information and computing sciences, systems, intentions, Computer Law, Philosophy and religious studies
FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Defeasible logic, Logic, Computer Science - Artificial Intelligence, Theory & Methods, Mathematical sciences, principles, Logic and Foundations of Mathematics, Mathematical logic and foundations, semantics, language, Science & Technology, Defeasible Deontic Logic, meta-rules, Automated reasoning, Computer science, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Computer Science, Information and computing sciences, systems, intentions, Computer Law, Philosophy and religious studies
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
