Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans

Verification of hierarchical plans deals with the problem of whether an action sequence is causally consistent and can be obtained by a decomposition of a goal task. This second sub-problem (finding the decomposition) makes the verification problem NP-hard. The task decomposition structure is very c...

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Proceedings of the International Florida Artificial Intelligence Research Society Conference
المؤلفون الرئيسيون:	Simona Ondrčková, Roman Barták, Pascal Bercher, Gregor Behnke
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	LibraryPress@UF 2023-05-01
الموضوعات:	hierarchical planning parsing hierarchical plan verification plan verification
الوصول للمادة أونلاين:	https://journals.flvc.org/FLAIRS/article/view/133196

مواد مشابهة

Using Earley Parser for Verification of Totally Ordered Hierarchical Plans
حسب: Kristýna Pantůčková, وآخرون
منشور في: (2024-05-01)

Handling Empty Decomposition Methods in Hierarchical Planning
حسب: Simona Ondrčková, وآخرون
منشور في: (2024-05-01)

Hierarchical Plan Repair via Plan Recognition and Plan Correction
حسب: Kristýna Pantůčková, وآخرون
منشور في: (2025-05-01)

On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task
حسب: Simona Ondrčková, وآخرون
منشور في: (2022-05-01)

On Removing Left Recursion from Totally-ordered HTN Domain Models
حسب: Simona Ondrčková, وآخرون
منشور في: (2025-05-01)

CYK Parsing over Distributed Representations
حسب: Fabio Massimo Zanzotto, وآخرون
منشور في: (2020-10-01)

A program for the independent verification of brachytherapy planning system calculations
حسب: Facundo Ballester, وآخرون
منشور في: (2010-10-01)

Comparative evaluation of two dose-volume histogram prediction tools for treatment planning: Treatment planning quality and dose verification accuracy
حسب: Shoma Nakano, وآخرون
منشور في: (2025-03-01)

Hierarchical Clause Annotation: Building a Clause-Level Corpus for Semantic Parsing with Complex Sentences
حسب: Yunlong Fan, وآخرون
منشور في: (2023-08-01)

Probabilistic Contingent Planning Based on Hierarchical Task Network for High-Quality Plans
حسب: Peng Zhao, وآخرون
منشور في: (2025-04-01)

Hierarchical Planning Methodology for a Supply Chain Management
حسب: Virna ORTIZ-ARAYA, وآخرون
منشور في: (2012-01-01)

Radio Frequency Identification Network Planning Using Ascendant Hierarchical Clustering Algorithm
حسب: Lamri Sayad
منشور في: (2024-03-01)

Specification and Verification Method of Parallel Hierarchical Timed Automata by Predicate Abstraction and Refinement
حسب: Satoshi Yamane
منشور في: (2025-01-01)

A Hierarchical Motion Planning Method for Mobile Manipulator
حسب: Hanlin Chen, وآخرون
منشور في: (2023-08-01)

Verification and Examination Management of Complex Systems
حسب: Stian Ruud, وآخرون
منشور في: (2014-10-01)

Hierarchical production planning in the flexible job shop
حسب: Juan Carlos Osorio, وآخرون
منشور في: (2014-02-01)

Analysis of the Rate of Re-planning in Spot-Scanning Proton Therapy
حسب: Yue-Houng Hu, PhD, وآخرون
منشور في: (2022-06-01)

A Mathematical Approach to Design Verification Strategies That Incorporate Corrective Activities as Dedicated Decisions
حسب: Peng Xu, وآخرون
منشور في: (2023-01-01)

Hierarchical Reinforcement Learning for Viewpoint Planning with Scalable Precision in UAV Inspection
حسب: Hua Wu, وآخرون
منشور في: (2025-05-01)

An automated dose verification software for brachytherapy
حسب: Xianliang Wang, وآخرون
منشور في: (2018-10-01)

Extensible hierarchical codec semantic communication system
حسب: Yuyuan ZHANG, وآخرون
منشور في: (2023-08-01)

Extensible hierarchical codec semantic communication system
حسب: Yuyuan ZHANG, وآخرون
منشور في: (2023-08-01)

Three-level global resource allocation model for HIV control: A hierarchical decision system approach
حسب: Semu Mitiku Kassa
منشور في: (2018-01-01)

A Statistical Algorithm of Disaggregating the Industrial Enterprise Restructuring Strategy
حسب: Kozyr-Chepurna Mariia A., وآخرون
منشور في: (2016-02-01)

Leveraging Demonstrations for Learning the Structure and Parameters of Hierarchical Task Networks
حسب: Philippe Hérail, وآخرون
منشور في: (2023-05-01)

A Hierarchical Path Planning Approach with Multi-SARSA Based on Topological Map
حسب: Shiguang Wen, وآخرون
منشور في: (2022-03-01)

A Hierarchical Goal-Biased Curriculum for Training Reinforcement Learning
حسب: Sunandita Patra, وآخرون
منشور في: (2022-05-01)

Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint
حسب: Kristýna Pantůčková, وآخرون
منشور في: (2023-05-01)

THEORETICAL-METHODOLOGICAL ASPECTS OF LANDSCAPE PLANNING
حسب: Viktoriia Udovychenko
منشور في: (2015-06-01)

The Importance of Assuring Algorithm-based Verification Agents
حسب: Haugen Odd Ivar
منشور في: (2019-01-01)

Improving Research Performance Through Planning by Readiness Levels in Lean R&D
حسب: A. V. Sartori
منشور في: (2022-05-01)

Hybrid A-Star Path Planning Method Based on Hierarchical Clustering and Trichotomy
حسب: Tiangen Chang, وآخرون
منشور في: (2024-06-01)

Study of an Online Plan Verification Method and the Sensitivity of Plan Delivery Accuracy to Different Beam Parameter Errors in Proton and Carbon Ion Radiotherapy
حسب: Jun Zhao, وآخرون
منشور في: (2021-05-01)

Monte Carlo calculations supporting patient plan verification in proton therapy
حسب: Thiago Viana Miranda Lima, وآخرون
منشور في: (2016-03-01)

Path Planning for Robots Combined with Zero-Shot and Hierarchical Reinforcement Learning in Novel Environments
حسب: Liwei Mei, وآخرون
منشور في: (2024-11-01)

Planning, prospective memory and decision-making: Three challenges for hierarchical predictive processing models
حسب: Demis eBasso, وآخرون
منشور في: (2013-01-01)

Hierarchical and partitioned planning strategy for closed-loop devices in low-voltage distribution network based on improved KMeans partition method
حسب: Jingqi Li, وآخرون
منشور في: (2023-10-01)

Development and validation of MCNPX-based Monte Carlo treatment plan verification system
حسب: Iraj Jabbari, وآخرون
منشور في: (2015-01-01)

The impact of plan complexity on calculation and measurement-based pre-treatment verifications for sliding-window intensity-modulated radiotherapy
حسب: Shi Li, وآخرون
منشور في: (2024-07-01)

Verification of the expert’s opinion
حسب: M. H. Shcherbakovskyi, وآخرون
منشور في: (2022-09-01)