Publicaties
Nonmonotonic reasoning in multivalued logics Universiteit Gent
Towards a deeper understanding of nonmonotonic reasoning with degrees Vrije Universiteit Brussel
Adaptive Logic as a Modal Logic Vrije Universiteit Brussel
Modal logics have in the past been used as a unifying framework for the mini- mality semantics used in defeasible inference, conditional logic, and belief revision. The main aim of the present paper is to add adaptive logics, a general framework for a wide range of defeasible reasoning forms developed by Diderik Batens and his co-workers, to the growing list of formalisms that can be studied with the tools and methods of contemporary modal ...
Reiter's default logic is a logic of autoepistemic reasoning and a good one, too KU Leuven
A fact apparently not observed earlier in the literature of nonmonotonic reasoning is that Reiter, in his default logic paper, did not directly formalize informal defaults. Instead, he translated a default into a certain natural language proposition and provided a formalization of the latter. A few years later, Moore noted that propositions like the one used by Reiter are fundamentally different than defaults and exhibit a certain autoepistemic ...
An inconsistency-adaptive deontic logic for normative conflicts Universiteit Gent
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 a aEuro parts per thousand O similar to A, O A a aEuro parts per thousand P similar to A or even O A a aEuro parts per thousand a1/4O A. On the other hand, DP (r) still verifies all intuitively reliable ...
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic Universiteit Gent
We present two multi-agent deontic logics that consistently accommodate various types of normative conflicts. Its language features modal operators for obligation and permission, and for the realization of individual and collective actions. The logic is non-classical since it makes use of a paraconsistent and paracomplete negation connective. Moreover, it is non-monotonic due to its definition within the adaptive logics framework for defeasible ...
A deductive system for FO(ID) based on least fixpoint logic KU Leuven
The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to extend Gentzen's sequent calculus to obtain a deductive inference method for FO(ID). The main difficulty in building such a proof system is the representation and inference of unfounded sets. It turns out that we can represent unfounded sets by least fixpoint expressions borrowed from ...
Causal reasoning in a logic with possible causal process semantics KU Leuven
We point to several kinds of knowledge that play an important role in controversial examples of actual causation. One is knowledge about the causal mechanisms in the domain and the causal processes that result from them. Another is knowledge of what conditions trigger such mechanisms and under what conditions it can be preempted.We argue that to solve questions of actual causation, such knowledge needs to be made explicit. To this end, we ...