Inductive Certificates of Unsolvability for Domain-Independent Planning

被引：0

作者：

Eriksson, Salome ^{[1
]}

Roeger, Gabriele ^{[1
]}

Helmert, Malte ^{[1
]}

机构：

[1] Univ Basel, Basel, Switzerland

来源：

PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2018年

基金：

欧洲研究理事会;

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

If a planning system outputs a solution for a given problem, it is simple to verify that the solution is valid. However, if a planner claims that a task is unsolvable, we currently have no choice but to trust the planner blindly. We propose a sound and complete class of certificates of unsolvability, which can be verified efficiently by an independent program. To highlight their practical use, we show how these certificates can be generated for a wide range of state-of-the-art planning techniques with only polynomial overhead for the planner.

引用

页码：5244 / 5248

页数：5

共 50 条

[1] Unsolvability Certificates for Classical Planning
Eriksson, Salome
Roger, Gabriele
Helmert, Malte
[J]. TWENTY-SEVENTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING, 2017, : 88 - 97
[2] Incorporating Domain-Independent Planning Heuristics in Hierarchical Planning
Shivashankar, Vikas
Alford, Ron
Aha, David W.
[J]. THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 3658 - 3664
[3] Inferring state constraints for domain-independent planning
Gerevini, A
Schubert, L
[J]. FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, 1998, : 905 - 912
[4] Deep Learning of Heuristics for Domain-independent Planning
Trunda, Otakar
Bartak, Roman
[J]. ICAART: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2, 2020, : 79 - 88
[5] Domain-Independent, Automatic Partitioning for Probabilistic Planning
Dai, Peng
Mausam
Weld, Daniel S.
[J]. 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, : 1677 - 1683
[6] Domain-independent online planning for STRIPS domains
Sapena, O
Onaindía, E
[J]. ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, 2002, 2527 : 825 - 834
[7] DOMAIN-INDEPENDENT PLANNING - REPRESENTATION AND PLAN GENERATION
WILKINS, DE
[J]. ARTIFICIAL INTELLIGENCE, 1984, 22 (03) : 269 - 301
[8] Semantic attachments for domain-independent planning systems
Dornhege, Christian
Eyerich, Patrick
Keller, Thomas
Trüg, Sebastian
Brenner, Michael
Nebel, Bernhard
[J]. Springer Tracts in Advanced Robotics, 2012, 76 (STAR): : 99 - 115
[9] Combining Domain-Independent Planning and HTN Planning: The Duet Planner
Gerevini, Alfonso
Kuter, Ugur
Nau, Dana
Saetti, Alessandro
Waisbrot, Nathaniel
[J]. ECAI 2008, PROCEEDINGS, 2008, 178 : 573 - +
[10] Domain-Independent Cost-Optimal Planning in ASP
Spies, David
You, Jia-Huai
Hayward, Ryan
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2019, 19 (5-6) : 1124 - 1141

← 1 2 3 4 5 →