TY - GEN
T1 - Explainable planning using answer set programming
AU - Nguyen, Van
AU - Vasileiou, Stylianos Loukas
AU - Son, Tran Cao
AU - Yeoh, William
N1 - Publisher Copyright:
© 2020 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020. All rights reserved.
PY - 2020
Y1 - 2020
N2 - In human-aware planning problems, the planning agent may need to explain its plan to a human user, especially when the plan appears infeasible or suboptimal for the user. A popular approach to do so is called model reconciliation, where the planning agent tries to reconcile the differences between its model and the model of the user such that its plan is also feasible and optimal to the user. This problem can be viewed as an optimization problem, where the goal is to find a subsetminimal explanation that one can use to modify the model of the user such that the plan of the agent is also feasible and optimal to the user. This paper presents an algorithm for solving such problems using answer set programming.
AB - In human-aware planning problems, the planning agent may need to explain its plan to a human user, especially when the plan appears infeasible or suboptimal for the user. A popular approach to do so is called model reconciliation, where the planning agent tries to reconcile the differences between its model and the model of the user such that its plan is also feasible and optimal to the user. This problem can be viewed as an optimization problem, where the goal is to find a subsetminimal explanation that one can use to modify the model of the user such that the plan of the agent is also feasible and optimal to the user. This paper presents an algorithm for solving such problems using answer set programming.
UR - https://www.scopus.com/pages/publications/85104645975
M3 - Conference contribution
AN - SCOPUS:85104645975
T3 - 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
SP - 661
EP - 665
BT - 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
A2 - Calvanese, Diego
A2 - Erdem, Esra
A2 - Thielscher, Michael
PB - International Joint Conference on Artificial Intelligence (IJCAI)
T2 - 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
Y2 - 12 September 2020 through 18 September 2020
ER -