Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
Recently developed pretrained models can encode rich world knowledge expressed in multiple modalities, such as text and images. However, the outputs of these models cannot be integrated into algorithms to solve sequential decision-making tasks. We develop an algorithm that utilizes the knowledge from pretrained models to construct and verify controllers for sequential decision-making tasks, and to ground these controllers to task environments through visual observations with formal guarantees. In particular, the algorithm queries a pretrained model with a user-provided, text-based task description and uses the model's output to construct an automaton-based controller that encodes the model's task-relevant knowledge. It allows formal verification of whether the knowledge encoded in the controller is consistent with other independently available knowledge, which may include abstract information on the environment or user-provided specifications. Next, the algorithm leverages the vision and language capabilities of pretrained models to link the observations from the task environment to the text-based control logic from the controller (e.g., actions and conditions that trigger the actions). We propose a mechanism to provide probabilistic guarantees on whether the controller satisfies the user-provided specifications under perceptual uncertainties. We demonstrate the algorithm's ability to construct, verify, and ground automaton-based controllers through a suite of real-world tasks, including daily life and robot manipulation tasks.
Code (0)
등록된 구현이 없습니다.
Tasks
Decision MakingRobot ManipulationSequential Decision MakingWorld KnowledgeSimilar Papers 제목 키워드 기반
MORAL: A Multimodal Reinforcement Learning Framework for Decision Making in Autonomous Laboratories
We propose MORAL (a multimodal reinforcement learning framework for decision making in autonomous laboratories) that enhances sequential decision-making in autonomous robotic laboratories through the integration of visua…
Decision MakingImage CaptioningLanguage ModelingLanguage Modelling+3Large Language Models for Sequential Decision-Making: Improving In-Context Learning via Supervised Fine-Tuning
Large language models (LLMs) have shown remarkable in-context learning (ICL) capabilities, yet their potential for sequential decision-making remains underexplored. In this paper, we study the ICL capabilities of LLMs in…
Efficient Sequential Decision Making with Large Language Models
This paper focuses on extending the success of large language models (LLMs) to sequential decision making. Existing efforts either (i) re-train or finetune LLMs for decision making, or (ii) design prompts for pretrained …
Decision MakingModel SelectionSequential Decision MakingOn the Modeling Capabilities of Large Language Models for Sequential Decision Making
Large pretrained models are showing increasingly better performance in reasoning and planning tasks across different modalities, opening the possibility to leverage them for complex sequential decision making problems. I…
Decision MakingDiversityReinforcement Learning (RL)Sequential Decision MakingRFS: Reinforcement Learning with Residual Flow Steering for Dexterous Manipulation
Imitation learning has emerged as an effective approach for bootstrapping sequential decision-making in robotics, achieving strong performance even in high-dimensional dexterous manipulation tasks. Recent behavior clonin…
Reinforcement Learning