AAAI 2024technical3 citations
Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction
Tathagata Chakraborti, Jungkoo Kang, Francesco Fuggitti, Michael Katz, Shirin Sohrabi
Abstract
We present Lemming – a visualization tool for the interactive selection of plans for a given problem, allowing the user to efficiently whittle down the set of plans and select their plan(s) of choice. We demonstrate four different user experiences for this process, three of them based on the principle of using disjunctive action landmarks as guidance to cut down the set of choice points for the user, and one on the use of linear temporal logic (LTL) to impart additional constraints into the plan set using natural language (NL) instruction.
BibTeX
@article{Chakraborti_Kang_Fuggitti_Katz_Sohrabi_2024, title={Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction}, volume={38}, url={https://ojs.aaai.org/index.php/AAAI/article/view/30561}, DOI={10.1609/aaai.v38i21.30561}, abstractNote={We present Lemming – a visualization tool for the interactive selection of plans for a given problem, allowing the user to efficiently whittle down the set of plans and select their plan(s) of choice. We demonstrate four different user experiences for this process, three of them based on the principle of using disjunctive action landmarks as guidance to cut down the set of choice points for the user, and one on the use of linear temporal logic (LTL) to impart additional constraints into the plan set using natural language (NL) instruction.}, number={21}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Chakraborti, Tathagata and Kang, Jungkoo and Fuggitti, Francesco and Katz, Michael and Sohrabi, Shirin}, year={2024}, month={Mar.}, pages={23775-23777} }