Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction
DOI:
https://doi.org/10.1609/aaai.v38i21.30561Keywords:
Artificial Intelligence, Decision making systems, Intelligent graphical user interfaces, Human-AI interaction (including Human-robot interaction)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.Downloads
Published
2024-03-24
How to Cite
Chakraborti, T., Kang, J., Fuggitti, F., Katz, M., & Sohrabi, S. (2024). Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction. Proceedings of the AAAI Conference on Artificial Intelligence, 38(21), 23775-23777. https://doi.org/10.1609/aaai.v38i21.30561
Issue
Section
AAAI Demonstration Track