On the Impact of Grounding on HTN Plan Verification via Parsing

Open Access
Authors
  • S. Ondrčková
  • R. Barták
  • P. Bercher
  • G. Behnke ORCID logo
Publication date 2023
Host editors
  • A.P. Rocha
  • L. Steels
  • J. van den Herik
Book title ICAART 2023
Book subtitle Proceedings of the 15th International Conference on Agents and Artificial Intelligence : February 22-24, 2023, Lisbon
ISBN
  • 9789897586231
Event 15th International Conference on Agents and Artificial Intelligence
Volume | Issue number 3
Pages (from-to) 92-99
Number of pages 8
Publisher Setúbal: SciTePress Science and Technology Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract The problem of hierarchical plan verification focuses on checking whether an action sequence is a valid hierarchical plan – the action sequence is executable and a goal task can be decomposed into it. The existing parsing-based verifier works on lifted domain models. In this paper we study whether grounding of the models could improve efficiency of the verifier. We also explore additional implementation improvements to increase the speed of the verifier.
Document type Conference contribution
Language English
Published at https://doi.org/10.5220/0011618400003393
Published at https://bercher.net/publications/2023/Ondrckova2023GroundingInVerification.pdf
Downloads
Ondrckova2023GroundingInVerification (Submitted manuscript)
116184 (Final published version)
Permalink to this page
Back