TL;DR
The Knowledge-based Argumentation Framework (KAF), an extension of AF with a Knowledge Base expressed in DL - Lite, is discussed, which includes concept and role instances describing the topology of an AF, besides additional knowledge on the domain.
This paper explores how reasoning over DL terminologies can be captured in argumentative terms, by establishing a translation into Assumption-Based Argumentation (ABA), a rule-based formalism comprising defeasible assumptions, where argumentation semantics are used to retrieve sets of jointly acceptable assumptions.
Incomplete Abstract Argumentation Frameworks (iAAFs) extend Abstract Argumentation Frameworks (AAFs) by allowing arguments and attacks to be specified as uncertain, enabling a compact representation of alternative argumentation scenarios. Despite extensive work on reasoning with iAAFs, their expressive power relative...
This paper introduces ranking-based semantics for incomplete argumentation frameworks (IAFs), and proposes a number of principles the ranking-based semantics for IAFs should follow, some adapted from existing principles out of the formal argumentation literature, others novel principles tailored to IAFs.
This work proposes formula-based enforcement, a generic framework that strictly generalizes existing approaches, by additionally covering cases they cannot handle, including semantic change, under central argumentation semantics.
Evidential argumentation extends Dung's abstract argumentation by requiring arguments and interactions to be backed by chains of evidence rooted in prima-facie elements. However, existing formalisms lack a unified treatment of evidential support, higher-order relations (attacks and supports targeting arbitrary elements...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
