Justifying answer sets using argumentation
From MaRDI portal
Publication:4593019
Abstract: An answer set is a plain set of literals which has no further structure that would explain why certain literals are part of it and why others are not. We show how argumentation theory can help to explain why a literal is or is not contained in a given answer set by defining two justification methods, both of which make use of the correspondence between answer sets of a logic program and stable extensions of the Assumption-Based Argumentation (ABA) framework constructed from the same logic program. Attack Trees justify a literal in argumentation-theoretic terms, i.e. using arguments and attacks between them, whereas ABA-Based Answer Set Justifications express the same justification structure in logic programming terms, that is using literals and their relationships. Interestingly, an ABA-Based Answer Set Justification corresponds to an admissible fragment of the answer set in question, and an Attack Tree corresponds to an admissible fragment of the stable extension corresponding to this answer set.
Recommendations
Cites work
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- scientific article; zbMATH DE number 5136283 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- An abstract, argumentation-theoretic approach to default reasoning
- An argumentation-theoretic foundation for logic programming
- Argumentation Semantics for Defeasible Logic
- Computing ideal sceptical argumentation
- Defeasible logic programming: an argumentative approach
- Dialectic proof procedures for assumption-based, admissible argumentation
- Explanation and argumentation capabilities: towards the creation of more persuasive agents
- Generating explanations for biomedical queries
- Justifications for logic programs under answer set semantics
- Logic Programming for Multiagent Planning with Negotiation
- Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
- Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
Cited in
(20)- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
- Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming
- Deriving conclusions from non-monotonic cause-effect relations
- Argumentation-based explanations for answer sets using ADF
- Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
- Debugging non-ground ASP programs: technique and graphical tools
- Contrastive explanations for answer-set programs
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
- scientific article; zbMATH DE number 7455706 (Why is no real title available?)
- Semantic-based construction of arguments: an answer set programming approach
- Labellings for assumption-based and abstract argumentation
- Characterising and explaining inconsistency in logic programs
- Witnesses for Answer Sets of Logic Programs
- Assumption-based argumentation for extended disjunctive logic programming
- Answering the ``why in answer set programming -- a survey of explanation approaches
- scientific article; zbMATH DE number 7121940 (Why is no real title available?)
- Justifications for logic programs under answer set semantics
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- Justifications for programs with disjunctive and causal-choice rules
- Justifications for Logic Programs Under Answer Set Semantics
This page was built for publication: Justifying answer sets using argumentation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593019)
