Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction
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.
Cite
Text
Chakraborti et al. "Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I21.30561Markdown
[Chakraborti et al. "Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/chakraborti2024aaai-interactive/) doi:10.1609/AAAI.V38I21.30561BibTeX
@inproceedings{chakraborti2024aaai-interactive,
title = {{Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction}},
author = {Chakraborti, Tathagata and Kang, Jungkoo and Fuggitti, Francesco and Katz, Michael and Sohrabi, Shirin},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2024},
pages = {23775-23777},
doi = {10.1609/AAAI.V38I21.30561},
url = {https://mlanthology.org/aaai/2024/chakraborti2024aaai-interactive/}
}