On the Impact of Grounding on HTN Plan Verification via Parsing

Simona Ondrčková, Roman Barták, Pascal Bercher, Gregor Behnke

2023

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.

Paper Citation

in Harvard Style

Ondrčková S., Barták R., Bercher P. and Behnke G. (2023). On the Impact of Grounding on HTN Plan Verification via Parsing. In Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART, ISBN 978-989-758-623-1, pages 92-99. DOI: 10.5220/0011618400003393

in Bibtex Style

@conference{icaart23,
author={Simona Ondrčková and Roman Barták and Pascal Bercher and Gregor Behnke},
title={On the Impact of Grounding on HTN Plan Verification via Parsing},
booktitle={Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART,},
year={2023},
pages={92-99},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011618400003393},
isbn={978-989-758-623-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART,
TI - On the Impact of Grounding on HTN Plan Verification via Parsing
SN - 978-989-758-623-1
AU - Ondrčková S.
AU - Barták R.
AU - Bercher P.
AU - Behnke G.
PY - 2023
SP - 92
EP - 99
DO - 10.5220/0011618400003393