Citation

BibTex format

@inproceedings{Čyras:2019:10.1609/aaai.v33i01.33012752,
author = {yras, K and Letsios, D and Misener, R and Toni, F and Cyras, K and Letsios, D and Misener, R and Toni, F},
doi = {10.1609/aaai.v33i01.33012752},
pages = {2752--2759},
publisher = {AAAI},
title = {Argumentation for explainable scheduling},
url = {http://dx.doi.org/10.1609/aaai.v33i01.33012752},
year = {2019}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - 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.
AU - yras,K
AU - Letsios,D
AU - Misener,R
AU - Toni,F
AU - Cyras,K
AU - Letsios,D
AU - Misener,R
AU - Toni,F
DO - 10.1609/aaai.v33i01.33012752
EP - 2759
PB - AAAI
PY - 2019///
SP - 2752
TI - Argumentation for explainable scheduling
UR - http://dx.doi.org/10.1609/aaai.v33i01.33012752
UR - http://arxiv.org/abs/1811.05437v1
UR - https://aaai.org/ojs/index.php/AAAI/article/view/4126
UR - http://hdl.handle.net/10044/1/66186
ER -