DeepAI AI Chat
Log In Sign Up

Argumentation for Explainable Scheduling (Full Paper with Proofs)

by   Kristijonas Čyras, et al.

Mathematical optimization offers highly-effective tools for finding solutions for problems with well-defined goals, notably scheduling. However, optimization solvers are often unexplainable black boxes whose solutions are inaccessible to users and which users cannot interact with. We define a novel paradigm using argumentation to empower the interaction between optimization solvers and users, supported by tractable explanations which certify or refute solutions. A solution can be from a solver or of interest to a user (in the context of 'what-if' scenarios). Specifically, we define argumentative and natural language explanations for why a schedule is (not) feasible, (not) efficient or (not) satisfying fixed user decisions, based on models of the fundamental makespan scheduling problem in terms of abstract argumentation frameworks (AFs). We define three types of AFs, whose stable extensions are in one-to-one correspondence with schedules that are feasible, efficient and satisfying fixed decisions, respectively. We extract the argumentative explanations from these AFs and the natural language explanations from the argumentative ones.


page 1

page 2

page 3

page 4


Explainable Decision Making with Lean and Argumentative Explanations

It is widely acknowledged that transparency of automated decision making...

Argumentation-based Agents that Explain their Decisions

Explainable Artificial Intelligence (XAI) systems, including intelligent...

An Argumentation-based Approach for Explaining Goal Selection in Intelligent Agents

During the first step of practical reasoning, i.e. deliberation or goals...

Contrastive Explanations for Argumentation-Based Conclusions

In this paper we discuss contrastive explanations for formal argumentati...

∂-Explainer: Abductive Natural Language Inference via Differentiable Convex Optimization

Constrained optimization solvers with Integer Linear programming (ILP) h...

Interactive Explanations by Conflict Resolution via Argumentative Exchanges

As the field of explainable AI (XAI) is maturing, calls for interactive ...

Evaluating the quality of tourist agendas customized to different travel styles

Many tourist applications provide a personalized tourist agenda with the...