A structured argumentation framework for detaching conditional obligations

We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is detachable by considering reasons for and against its detachment. For the evaluation of arguments in favor of detaching obligations we use a Dung-style argumentation-theoretical semantics. We illustrate the modularity of the general framework by considering some extensions, and we compare the framework to some related approaches from the literature.Comment: This is our submission to DEON 2016, including the technical appendi

Reasoning by Cases in Structured Argumentation

We extend the $ASPIC^+$ framework for structured argumentation so as to allow applications of the reasoning by cases inference scheme for defeasible arguments. Given an argument with conclusion `$A$ or $B$', an argument based on $A$ with conclusion $C$, and an argument based on $B$ with conclusion $C$, we allow the construction of an argument with conclusion $C$. We show how our framework leads to different results than other approaches in non-monotonic logic for dealing with disjunctive information, such as disjunctive default theory or approaches based on the OR-rule (which allows to derive a defeasible rule `If ($A$ or $B$) then $C$', given two defeasible rules `If $A$ then $C$' and `If $B$ then $C$'). We raise new questions regarding the subtleties of reasoning defeasibly with disjunctive information, and show that its formalization is more intricate than one would presume.Comment: Proceedings of SAC/KRR 201

Adaptive logic characterizations of input/output logic

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 (dynamic) 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 violations and sanctions

Abstract Argumentation and Explanation Applied to Scientific Debates

Abstract argumentation has been shown to be a powerful tool within many fields such as artificial intelligence, logic and legal reasoning. In this paper we enhance Dung's well-known abstract argumentation framework with explanatory capabilities. We show that an explanatory argumentation framework (EAF) obtained in this way is a useful tool for the modeling of scientific debates. On the one hand, EAFs allow for the representation of explanatory and justificatory arguments constituting rivaling scientific views. On the other hand, different procedures for selecting arguments, corresponding to different methodological and epistemic requirements of theory evaluation, can be formulated in view of our framework

Efficient Surface Reconstruction for Piecewise Smooth Objects

In this report we present a new surface reconstruction technique from unstructured point clouds for piecewise smooth objects, such as scans of architectural and other man-made artifacts. The new technique operates in three conceptual steps: First, a set of basis functions is computed and a topology is established among these functions that respect sharp features using a RANSAC technique. Second, a linearized, statistically motivated optimization problem is solved employing this discretization. Lastly, an implicit function based meshing technique is employed to determine a clean, manifold mesh representation. The main benefit of our new proposal in comparison to previous work is its robustness and efficiency, which we examine by applying the algorithm to a set of synthetic and real-world benchmark data sets

A consistent bending model for cloth simulation with corotational subdivision finite elements

Modelling bending energy in a consistent way is decisive for the realistic simulation of cloth. With existing approaches characteristic behaviour like folding and buckling cannot be reproduced in a physically convincing way. We present a new method based on a corotational formulation of subdivision finite elements. Due to the non-local nature of the employed subdivision basis functions a C1-continuous displacement field can be defined. It is thus possible to use the governing equations of thin shell analysis leading to a physically accurate bending behaviour. Using a corotated strain tensor allows the large displacement analysis of cloth while retaining a linear system of equations. Hence, known convergence properties and computational efficiency are preserved