Examinando por Autor "Moreno-Rebato, Mar"

Seleccione resultados tecleando las primeras letras
Mostrando 1 - 2 de 2
  • Miniatura
    Ítem
    Automated Legal Reasoning with Discretion to Act using s(LAW)
    (Springer, 2023-11-20) Arias, Joaquín; Moreno-Rebato, Mar; Rodríguez-García, José Antonio; Ossowski, Sascha
    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"
  • Miniatura
    Ítem
    On admissible behaviours for goal-oriented decision-making of value-aware agents
    (Springer, 2023-09) Holgado-Sánchez, Andrés; Arias, Joaquín; Moreno-Rebato, Mar; Ossowski, Sascha
    The emerging field of value awareness engineering claims that software agents and systems should be value-aware, i.e. they should be able to explicitly reason about the value-alignment of their actions. Values are often modelled as preferences over states or actions which are then extended to plans. In this paper, we examine the effect of different groundings of values depending on context and claim that they can be used to prune the space of courses of actions that are aligned with them. We put forward several notions of such value-admissible behaviours and illustrate them in the domain of water distribution.