你为何做不到？在存在规划建议情形下解释经典规划问题的不可解性
人工智能
2019-03-21 v1
摘要
可解释规划被广泛认为是自主智能体成功与人类协作的先决条件。尽管关于生成规划问题解的解释已有大量研究，解释解之缺失仍是一个开放且研究不足的问题，尽管此类情形可能最难理解或调试。本文中，我们展示可利用分层抽象高效生成规划问题不可解性的原因。与计算不可解性证书的相关工作不同，我们表明这些方法能生成紧凑、人类可理解的不可解性原因。实证分析与用户研究显示了我们方法的有效性及其在若干基准规划领域上的计算效能。
引用
@article{arxiv.1903.08218,
title = {Why Couldn't You do that? Explaining Unsolvability of Classical Planning Problems in the Presence of Plan Advice},
author = {Sarath Sreedharan and Siddharth Srivastava and David Smith and Subbarao Kambhampati},
journal= {arXiv preprint arXiv:1903.08218},
year = {2019}
}