Plan-Property Dependencies are Useful: A User Study
Plan-Property Dependencies are Useful: A User Study
复制标题
计划-属性依赖性很有用：用户研究
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
J. Hoffmann
中科院分区：
文献类型：
--
作者：
Rebecca Eifler;Martim Brandao;A. Coles;J. Frank;J. Hoffmann
不同所需计划属性之间的权衡--例如，fi临时计划偏好--通常很难理解。最近的工作建议通过迭代规划来解决这个问题，并解释这些规划属性之间的依赖关系。用户可以问这样的问题：“为什么您建议的计划不满足属性p？”，问题的答案是“因为这样我们就不得不放弃q”，其中q由p在计划空间中蕴含。结果表明，这样的规划-属性依赖关系可以合理地计算fi。但这种形式的解释对用户真的有用吗？我们贡献了一份评估这个问题的用户研究报告。我们设计了来自三个领域的用例，并在互联网平台Prolific上运行了一个大型用户研究(每个领域N=40，每个用户和域大约40分钟的工作时间)。比较有权访问解释的用户和没有访问解释的用户，我们fi发现，解释往往使用户能够识别计划属性之间的更好权衡，表明对任务的更好理解。
The trade-offs between different desirable plan properties – e.g. PDDL temporal plan preferences – are often difficult to understand. Recent work proposes to address this by iterative planning with explanations elucidating the dependencies be-tween such plan properties. Users can ask questions of the form “Why does the plan you suggest not satisfy property p ?”, which are answered by “Because then we would have to forego q ” where ¬ q is entailed by p in plan space. It has been shown that such plan-property dependencies can be computed reasonably efficiently. But is this form of explanation actually useful for users? We contribute a user study evaluating that question. We design use cases from three domains and run a large user study ( N = 40 for each domain, ca. 40 minutes work time per user and domain) on the internet platform Prolific. Comparing users with vs. without access to the explanations, we find that the explanations tend to enable users to identify better trade-offs between the plan properties, indicating an improved understanding of the task.
DOI：
--
发表时间：
2019
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
Sreedharan, Sarath;Srivastava, Siddharth;Smith, David;Kambhampati, Subbarao.
通讯作者：
Kambhampati, Subbarao.
TLdR：使用时间抽象对因子式 SSP 问题进行策略总结
DOI：
--
发表时间：
2020
期刊：
Proceedings of the International Conference on Automated Planning and Scheduling
影响因子：
--
作者：
Sarath Sreedharan, Siddharth Srivastava
通讯作者：
Sarath Sreedharan, Siddharth Srivastava