-
5Tolerating deontic conflicts by adaptively restricting inheritanceLogique Et Analyse 55 (219): 477-506. 2012.In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DPM) that are characterized by a restriction of the inheritance principle. While they approximate the deductive power of standard deontic logic, they do so only if the user adds certain statements to the premises. By adaptively strengthening the DPM logics, this paper presents logics that overcome this shortcoming. Furthermore, they are capable of modeling the dynamic and defeasible aspect of our no…Read more
-
5An inconsistency-adaptive deontic logic for normative conflictsJournal of Philosophical Logic. forthcoming.
-
3Non-monotonic reasoning with normative conflicts in multi-agent deontic logicJournal of Logic and Computation 24 (6). 2013.
-
An Andersonian deontic logic with contextualized sanctionsIn Christian Straßer & Mathieu Beirlaen (eds.), International Conference on Deontic Logic in Computer Science, . pp. 151--169. 2012.
-
A critical assessment of Pollock’s work on logic-based argumentation with suppositionsIn Mathieu Beirlaen, Jesse Heyninck & Christian Straßer (eds.), Proceedings of Argumentation and Philosophy, . 2018.
-
Tolerating Deontic Conflicts by Adaptively Restricting InheritanceLogique Et Analyse 219 477--506. 2012.
-
6A structured argumentation framework for detaching conditional obligationsIn A. Tamminga O. Roy & M. Willer (eds.), Proceedings of Deon 2016, College Publications. pp. 32--48. 2016.
-
A critical assessment of Pollock’s work on logic-based argumentation with suppositionsIn Mathieu Beirlaen, Jesse Heyninck & Christian Straßer (eds.), Proceedings of the Nmr, . pp. 63--72. 2018.
-
16A Paraconsistent Multi-agent Framework for Dealing with Normative ConflictsIn Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella & Leon van der Torre (eds.), Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science, vol 6814, Springer. 2011.
-
6Structured argumentation with prioritized conditional obligations and permissionsJournal of Logic and Computation 29 (2): 187-214. 2018.We present a formal argumentation system for dealing with the detachment of prioritized conditional obligations and permissions. In the presence of facts and constraints, we answer the question whether an unconditional obligation or permission is detachable by considering arguments for and against its detachment. For the evaluation of arguments in favour of detachment, we use a Dung-style argumentation-theoretical semantics. We illustrate how violations and contrary-to-duty scenarios are dealt w…Read more
-
13Reasoning by cases in structured argumentationIn Sung Y. Shin (ed.), Proceedings of the Symposium on Applied Computing - Sac ’17, . 2017.
-
Argument strength in formal argumentationJournal of Applied Logics-Ifcolog Journal of Logics and Their Applications 5 (3): 629--675. 2018.
-
11A logic for the discovery of deterministic causal regularitiesSynthese 195 (1): 367-399. 2018.We present a logic, $$\mathbf {ELI^r}$$ ELI r, for the discovery of deterministic causal regularities starting from empirical data. Our approach is inspired by Mackie’s theory of causes as INUS-conditions, and implements a more recent adjustment to Mackie’s theory according to which the left-hand side of causal regularities is required to be a minimal disjunction of minimal conjunctions. To derive such regularities from a given set of data, we make use of the adaptive logics framework. Our knowl…Read more
-
10Inconsistency-Adaptive Dialogical LogicLogica Universalis 10 (1): 99-134. 2016.Even when inconsistencies are present in our premise set, we can sensibly distinguish between good and bad arguments relying on these premises. In making this distinction, the inconsistency-adaptive approach of Batens strikes a particularly nice balance between inconsistency-tolerance and inferential strength. In this paper, we use the machinery of Batens’ approach to extend the paraconsistent approach to dialogical logic as developed by Rahman and Carnielli. In bringing these frameworks closer …Read more
-
15A logic for the discovery of deterministic causal regularitiesSynthese 195 (1): 367-399. 2018.We present a logic, \, for the discovery of deterministic causal regularities starting from empirical data. Our approach is inspired by Mackie’s theory of causes as INUS-conditions, and implements a more recent adjustment to Mackie’s theory according to which the left-hand side of causal regularities is required to be a minimal disjunction of minimal conjunctions. To derive such regularities from a given set of data, we make use of the adaptive logics framework. Our knowledge of deterministic ca…Read more
-
10Adaptive Logic Characterizations of Input/Output LogicStudia Logica 104 (5): 869-916. 2016.We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as viol…Read more
-
120Two Adaptive Logics of Norm-PropositionsJournal of Applied Logic 11 (2): 147-168. 2013.We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework fo…Read more
-
8A Regress Objection to Thagard’s Theory of Deductive CoherenceErkenntnis 80 (5): 975-986. 2015.Paul Thagard’s theory of deductive coherence, as set out in his Coherence in Thought and Action, faces a regress objection. Thagard’s method of solving deductive coherence problems presupposes some notion of logical consequence. The problem of specifying which logic to use to this end is itself a deductive coherence problem, so we would expect Thagard’s theory to be able to solve it. However, on pain of regress, the theory of deductive coherence cannot reach such a solution
-
8Tolerating deontic conflicts by adaptively restricting inheritanceLogique Et Analyse 55 (219): 477. 2012.
-
9A conditional logic for abductionSynthese 191 (15): 3733-3758. 2014.We propose a logic of abduction that (i) provides an appropriate formalization of the explanatory conditional, and that (ii) captures the defeasible nature of abductive inference. For (i), we argue that explanatory conditionals are non-classical, and rely on Brian Chellas’s work on conditional logics for providing an alternative formalization of the explanatory conditional. For (ii), we make use of the adaptive logics framework for modeling defeasible reasoning. We show how our proposal allows f…Read more
-
7A unifying framework for reasoning about normative conflictsIn Michal Peliš & Vít Punčochář (eds.), The Logica Yearbook, College Publications. pp. 1--14. 2011.
-
16An Inconsistency-Adaptive Deontic Logic for Normative ConflictsJournal of Philosophical Logic 42 (2): 285-315. 2013.We present the inconsistency-adaptive deontic logic DP r , a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts such as O A ∧ O ∼A, O A ∧ P ∼A or even O A ∧ ∼O A. On the other hand, DP r still verifies all intuitively reliable inferences valid in Standard Deontic Logic (SDL). DP r interprets a given premise set ‘as normally as possible’ with respect to SDL. Whereas some SDL-rules are ve…Read more