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.
2024
Thirty-Eight AAAI Conference on Artificial Intelligence
Artificial Intelligence; Decision making systems; Intelligent graphical user interfaces; Human-AI interaction (including Human-robot interaction)
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
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].
File allegati a questo prodotto
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1718037
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact