Justifying answer sets using argumentation
From MaRDI portal
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
- 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
- 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?)
- Justifications for logic programs under answer set semantics
- Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
- Logic Programming for Multiagent Planning with Negotiation
- 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
(21)- Assumption-based argumentation for extended disjunctive logic programming
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
- Argumentation-based explanations for answer sets using ADF
- Labellings for assumption-based and abstract argumentation
- Characterising and explaining inconsistency in logic programs
- Justifications for logic programs under answer set semantics
- Justifications for programs with disjunctive and causal-choice rules
- Deriving conclusions from non-monotonic cause-effect relations
- scientific article; zbMATH DE number 7455706 (Why is no real title available?)
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Debugging non-ground ASP programs: technique and graphical tools
- scientific article; zbMATH DE number 7121940
- Justifications for Logic Programs Under Answer Set Semantics
- Witnesses for Answer Sets of Logic Programs
- Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
- Contrastive explanations for answer-set programs
- The XAI system for answer set programming xASP2
- Semantic-based construction of arguments: an answer set programming approach
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)
