Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond

@article{Strass2018InstantiatingRD,
  title={Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond},
  author={Hannes Strass},
  journal={J. Log. Comput.},
  year={2018},
  volume={28},
  pages={605-627}
}
dialectical frameworks and beyond 

Towards Conditional Logic Semantics for Abstract Dialectical Frameworks

TLDR
This work interprets an abstract dialectical frameworks as a conditional logic knowledge base and applies the Z-inference relation in order to obtain a new semantics for abstract dialecticals frameworks.

Strong admissibility for abstract dialectical frameworks

TLDR
This work presents the concept of strong admissibility of interpretations of interpretations for ADFs and shows that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as top element.

On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics

TLDR
It is shown that in general, there is a gap between argumentation and conditional semantics when applying several intuitive translations, but it is proved that this gap can be closed when focusing on specific classes of translations.

Interpreting Conditionals in Argumentative Environments

TLDR
This paper shows how plausible conditionals can be interpreted in argumentative reasoning enviroments, and provides interpretations of conditional knowledge bases in abstract dialectical frameworks, one of the most general approaches to computational models of argumentation.

dARe - Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base

We present an approach to reasoning with knowledge bases comprised of strict and defeasible rules over literals. A controlled natural language is proposed as a human/machine interface to facilitate

On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics

TLDR
An exhaustive analysis of the computational complexity of these new, so-called naive-based semantics, which allow us to deal with pertinent problems such as odd-length negative cycles in a more general setting, that for instance also encompasses logic programs.

On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation

TLDR
This work addresses automated reasoning but also human acceptance of provided conclusions of the approach, and addresses several issues for current approaches to argumentation-based defeasible reasoning.

Applications of ASP in Formal Argumentation

TLDR
The aim of this paper is to survey argumentation systems that use ASP technology inside and give an orthogonal view on several formalisms from the AI domain.

Repairing Argumentation Frameworks

TLDR
This article provides a series of first results for these problems regarding minimal repairs/diagnoses in the context of abstract argumentation theory regarding the two most important reasoning modes, namely credulous as well as sceptical acceptance.

References

SHOWING 1-10 OF 27 REFERENCES

Instantiating Knowledge Bases in Abstract Dialectical Frameworks

TLDR
A translation from defeasible theory bases to abstract dialectical frameworks, a recent generalisation of abstract argumentation frameworks, is presented and it is proved that the translated frameworks satisfy the rationality postulates closure and direct/indirect consistency.

Abstract Dialectical Frameworks Revisited

TLDR
It is shown how the existing definitions of stable and preferred semantics can be improved and generalized to arbitrary frameworks and preference handling methods for ADFs are introduced, allowing for both reasoning with and about preferences.

Carneades and Abstract Dialectical Frameworks: A Reconstruction

TLDR
This paper shows how Carneades argument evaluation structures can be reconstructed as abstract dialectical frameworks (ADFs), a recently proposed generalization of Dung argumentation frameworks (AFs) and provides strong evidence for the usefulness of ADFs as analytical/semantical tools in argumentation.

Abstract Dialectical Frameworks

TLDR
This paper introduces dialectical frameworks, a powerful generalization of Dung-style argumentation frameworks where each node comes with an associated acceptance condition, and shows how acceptance conditions can be conveniently represented using weights respectively priorities on the links.

Instantiating Knowledge Bases in Abstract Argumentation Frameworks

TLDR
This work provides an approach to instantiating AFs in which the nodes are restricted to literals and rules, encoding the underlying theory directly, while keeping notions distinct which are conflated in other approaches to instantiation.

On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks

TLDR
This work provides an approach to instantiating AF in which the nodes are restricted to literals and rules, encoding the underlying theory directly, and keeps notions distinct which are conflated in other approaches to instantiation.

Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning

TLDR
This paper develops an algebraic framework for studying semantics of nonmonotonic logics in the language of lattices, bilattices, operati.

Approximating operators and semantics for abstract dialectical frameworks

SCC-recursiveness: a general schema for argumentation semantics