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.
Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction / Chakraborti, Tathagata; Kang, Jungkoo; Fuggitti, Francesco; Katz, Michael; Sohrabi, Shirin. - 38:21(2024), pp. 23775-23777. (Intervento presentato al convegno Thirty-Eight AAAI Conference on Artificial Intelligence tenutosi a Vancouver; Canada) [10.1609/aaai.v38i21.30561].
Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction
Fuggitti, Francesco
;
2024
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.File | Dimensione | Formato | |
---|---|---|---|
Chakraborti_Interactive_2024.pdf
accesso aperto
Note: DOI: https://doi.org/10.1609/aaai.v38i21.30561
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
1.33 MB
Formato
Adobe PDF
|
1.33 MB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.