Sequential Discrete Action Selection via Blocking Conditions and Resolutions
Liam Merz Hoffmeister, Brian Scassellati, Daniel Rakita

TL;DR
This paper presents a novel approach for sequential robot action selection by resolving blocking conditions using a combination of state-transition graphs and zero-shot Large Language Models, enabling adaptive decision-making in complex environments.
Contribution
It introduces a new strategy that integrates state-transition graphs with LLMs for resolving blocking conditions in sequential robot actions, enhancing adaptability.
Findings
The approach outperforms traditional task-planning methods in simulation tests.
It effectively resolves blocking conditions to achieve goals more efficiently.
The method demonstrates rapid adaptation to changing situations.
Abstract
In this work, we introduce a strategy that frames the sequential action selection problem for robots in terms of resolving \textit{blocking conditions}, i.e., situations that impede progress on an action en route to a goal. This strategy allows a robot to make one-at-a-time decisions that take in pertinent contextual information and swiftly adapt and react to current situations. We present a first instantiation of this strategy that combines a state-transition graph and a zero-shot Large Language Model (LLM). The state-transition graph tracks which previously attempted actions are currently blocked and which candidate actions may resolve existing blocking conditions. This information from the state-transition graph is used to automatically generate a prompt for the LLM, which then uses the given context and set of possible actions to select a single action to try next. This selection…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Advanced Control Systems Optimization
