On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm

被引：0

作者：

Lin, Songtuan ^{[1
]}

Behnke, Gregor ^{[2
]}

Ondrckova, Simona ^{[3
]}

Bartak, Roman ^{[3
]}

Bercher, Pascal ^{[1
]}

机构：

[1] Australian Natl Univ, Sch Comp, Canberra, ACT, Australia

[2] Univ Amsterdam, ILLC, Amsterdam, Netherlands

[3] Charles Univ Prague, Fac Math & Phys, Prague, Czech Republic

来源：

THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 10 | 2023年

基金：

欧盟地平线“2020”;

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper, we consider the plan verification problem for totally ordered (TO) HTN planning. The problem is proved to be solvable in polynomial time by recognizing its connection to the membership decision problem for context-free grammars. Currently, most HTN plan verification approaches do not have special treatments for the TO configuration, and the only one features such an optimization still relies on an exhaustive search. Hence, we will develop a new TOHTN plan verification approach in this paper by extending the standard CYK parsing algorithm which acts as the best decision procedure in general.

引用

页码：12041 / 12048

页数：8

共 5 条

[1] Symbolic Search for Optimal Total-Order HTN Planning
Behnke, Gregor
Speck, David
THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 11744 - 11754
[2] Total Variation Deblurring Algorithm Extension in Third-order Tensor Space
Liu, Hong
Liu, Benyong
2015 IEEE ADVANCED INFORMATION TECHNOLOGY, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IAEAC), 2015, : 221 - 224
[3] A Second-Order Generalized Total Variation with Improved Alternating Direction Method of Multipliers Algorithm for Electrical Impedance Tomography Reconstruction
Zhao, Ruwen
Xu, Chuanpei
Mo, Wei
Zhu, Zhibin
APPLIED SCIENCES-BASEL, 2024, 14 (04):
[4] Extension of the self-consistent-charge density-functional tight-binding method: Third-order expansion of the density functional theory total energy and introduction of a modified effective coulomb interaction
Yang, Yang
Yu, Haibo
York, Darrin
Cui, Qiang
Elstner, Marcus
JOURNAL OF PHYSICAL CHEMISTRY A, 2007, 111 (42): : 10861 - 10873
[5] This paper presents a solution of a short term hydrothermal scheduling problem using Evolutionary Computing technique. The technique is used to handle the problems of short-term hydrothermal scheduling and economic load dispatch while satisfying hydraulic and thermal constraints in order to minimize the total system cost.: This technique is tested on a system consisting of a hydroplant and a steam unit and the test results are compared with those obtained using λ-γ iteration and genetic algorithm method.
Rahimullah, B. N. S.
Rahman, T. K. Abdul
2006 4TH STUDENT CONFERENCE ON RESEARCH AND DEVELOPMENT, 2006, : 219 - 222

← 1 →