403 research outputs found
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 framework for structured argumentation so as to allow
applications of the reasoning by cases inference scheme for defeasible
arguments. Given an argument with conclusion ` or ', an argument based on
with conclusion , and an argument based on with conclusion , we
allow the construction of an argument with conclusion . 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 ( or ) then ', given two defeasible rules `If then '
and `If then '). 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
- …