8 research outputs found
Justifying Answer Sets using Argumentation
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.Comment: This article has been accepted for publication in Theory and Practice
of Logic Programmin
Automated legal reasoning with discretion to act using s(LAW)
Automated legal reasoning and its application in smart contracts and
automated decisions are increasingly attracting interest. In this context,
ethical and legal concerns make it necessary for automated reasoners to justify
in human-understandable terms the advice given. Logic Programming, specially
Answer Set Programming, has a rich semantics and has been used to very
concisely express complex knowledge. However, modelling discretionality to act
and other vague concepts such as ambiguity cannot be expressed in top-down
execution models based on Prolog, and in bottom-up execution models based on
ASP the justifications are incomplete and/or not scalable. We propose to use
s(CASP), a top-down execution model for predicate ASP, to model vague concepts
following a set of patterns. We have implemented a framework, called s(LAW), to
model, reason, and justify the applicable legislation and validate it by
translating (and benchmarking) a representative use case, the criteria for the
admission of students in the "Comunidad de Madrid"
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
The multi-agent path finding (MAPF) problem is a combinatorial search problem
that aims at finding paths for multiple agents (e.g., robots) in an environment
(e.g., an autonomous warehouse) such that no two agents collide with each
other, and subject to some constraints on the lengths of paths. We consider a
general version of MAPF, called mMAPF, that involves multi-modal transportation
modes (e.g., due to velocity constraints) and consumption of different types of
resources (e.g., batteries). The real-world applications of mMAPF require
flexibility (e.g., solving variations of mMAPF) as well as explainability. Our
earlier studies on mMAPF have focused on the former challenge of flexibility.
In this study, we focus on the latter challenge of explainability, and
introduce a method for generating explanations for queries regarding the
feasibility and optimality of solutions, the nonexistence of solutions, and the
observations about solutions. Our method is based on answer set programming.
This paper is under consideration for acceptance in TPLP.Comment: Paper presented at the 36th International Conference on Logic
Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September
2020, 16 pages, 6 figure
Developments in abstract and assumption-based argumentation and their application in logic programming
Logic Programming (LP) and Argumentation are two paradigms for knowledge representation and
reasoning under incomplete information. Even though the two paradigms share common features, they constitute mostly separate areas of research. In this thesis, we present novel developments in Argumentation, in particular in Assumption-Based Argumentation (ABA) and Abstract Argumentation (AA), and show how they can
1) extend the understanding of the relationship between the two paradigms and
2) provide solutions to problematic reasoning outcomes in LP.
More precisely, we introduce assumption labellings as a novel way to express the semantics of ABA and prove a more straightforward relationship with LP semantics than found in previous work. Building upon these correspondence results, we apply methods for argument construction and conflict detection from ABA, and for conflict resolution from AA, to construct justifications of unexpected or unexplained LP solutions under the answer set semantics. We furthermore characterise reasons for the non-existence of stable semantics in AA and apply these findings to characterise different scenarios in which the computation of meaningful solutions in LP under the answer set semantics fails.Open Acces