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 条

[21] DOMAIN-INDEPENDENT FORMULAS AND DATABASES
TOPOR, RW
[J]. THEORETICAL COMPUTER SCIENCE, 1987, 52 (03) : 281 - 306
[22] Divide-and-evolve:: A new memetic scheme for domain-independent temporal planning
Schoenauer, Marc
Saveant, Pierre
Vidal, Vincent
[J]. EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION, PROCEEDINGS, 2006, 3906 : 247 - 260
[23] On the Robustness of Domain-Independent Planning Engines: The Impact of Poorly-Engineered Knowledge
Vallati, Mauro
Chrpa, Lukas
[J]. PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON KNOWLEDGE CAPTURE (K-CAP '19), 2019, : 197 - 204
[24] Autonomously Controlling Flexible Timelines: From Domain-independent Planning to Robust Execution
Nogueira, Tiago
Fratini, Simone
Schilling, Klaus
[J]. 2017 IEEE AEROSPACE CONFERENCE, 2017,
[25] Improving Domain-Independent Planning via Critical Section Macro-Operators
Chrpa, Lukas
Vallati, Mauro
[J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 7546 - 7553
[26] A Domain-Independent Algorithm for Plan Adaptation
Hanks, Steve
Weld, Daniel S.
[J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1994, 2 : 319 - 360
[27] Semantic Labeling: A Domain-Independent Approach
Minh Pham
Alse, Suresh
Knoblock, Craig A.
Szekely, Pedro
[J]. SEMANTIC WEB - ISWC 2016, PT I, 2016, 9981 : 446 - 462
[28] A tool for domain-independent model mutation
Gomez-Abajo, Pablo
Guerra, Esther
de Lara, Juan
Merayo, Mercedes G.
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2018, 163 : 85 - 92
[29] Examining the canvas as a domain-independent artifact
Pedro Antunes
Mary Tate
[J]. Information Systems and e-Business Management, 2022, 20 : 495 - 514
[30] Examining the canvas as a domain-independent artifact
Antunes, Pedro
Tate, Mary
[J]. INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, 2022, 20 (03) : 495 - 514

← 1 2 3 4 5 →