scholarly journals Free Choice Permission in Defeasible Deontic Logic

2020 ◽  
Author(s):  
Guido Governatori ◽  
Antonino Rotolo
Keyword(s):  
Deontic Logic ◽  
Free Choice ◽  
Restricted Form ◽  
Novel Approach ◽  
Free Choice Permission

Free Choice Permission is one of the challenges for the formalisation of norms. In this paper, we follow a novel approach that accepts Free Choice Permission in a restricted form. The intuition behind the guarded form is strongly aligned with the idea of defeasibility. Accordingly, we investigate how to model the guarded form in Defeasible Deontic Logic extended with disjunctive permissions.

scholarly journals Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach

2020 ◽  
Author(s):  
Björn Lellmann ◽  
Francesca Gulisano ◽  
Agata Ciabattoni
Keyword(s):  
Deontic Logic ◽  
Sequent Calculus ◽  
Prima Facie ◽  
Theoretic Approach ◽  
Deontic Reasoning ◽  
Complexity Results ◽  
Restricted Form ◽  
Philosophical School ◽  
Decidability And Complexity ◽  
Potential Use

Abstract Over the course of more than two millennia the philosophical school of Mīmāṃsā has thoroughly analyzed normative statements. In this paper we approach a formalization of the deontic system which is applied but never explicitly discussed in Mīmāṃsā to resolve conflicts between deontic statements by giving preference to the more specific ones. We first extend with prohibitions and recommendations the non-normal deontic logic extracted in Ciabattoni et al. (in: TABLEAUX 2015, volume 9323 of LNCS, Springer, 2015) from Mīmāṃsā texts, obtaining a multimodal dyadic version of the deontic logic $$\mathsf {MD}$$ MD . Sequent calculus is then used to close a set of prima-facie injunctions under a restricted form of monotonicity, using specificity to avoid conflicts. We establish decidability and complexity results, and investigate the potential use of the resulting system for Mīmāṃsā philosophy and, more generally, for the formal interpretation of normative statements.

Theor of free choice permission

Topoi ◽  
1994 ◽  
Vol 13 (1) ◽  
pp. 3-10 ◽  
Author(s):  
R. E. Jennings
Keyword(s):  
Free Choice ◽  
Free Choice Permission

scholarly journals Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory

2022 ◽  
Vol 183 (3-4) ◽  
pp. 293-317
Author(s):  
Anna Kalenkova ◽  
Josep Carmona ◽  
Artem Polyvyanyy ◽  
Marcello La Rosa
Keyword(s):  
Free Choice ◽  
State Of The Art ◽  
Real Life ◽  
Process Models ◽  
Choice Process ◽  
Process Discovery ◽  
Event Logs ◽  
Novel Approach ◽  
Non Local ◽  
Region Theory

State-of-the-art process discovery methods construct free-choice process models from event logs. Consequently, the constructed models do not take into account indirect dependencies between events. Whenever the input behaviour is not free-choice, these methods fail to provide a precise model. In this paper, we propose a novel approach for enhancing free-choice process models by adding non-free-choice constructs discovered a-posteriori via region-based techniques. This allows us to benefit from the performance of existing process discovery methods and the accuracy of the employed fundamental synthesis techniques. We prove that the proposed approach preserves fitness with respect to the event log while improving the precision when indirect dependencies exist. The approach has been implemented and tested on both synthetic and real-life datasets. The results show its effectiveness in repairing models discovered from event logs.

Sign in / Sign up

Export Citation Format

Share Document