RI: Small: Extracting Knowledge from Language Models for Decision Making

该项目旨在将来自大型语言模型的语义知识集成到自动化决策和控制系统中，同时保持可靠性和鲁棒性。所提出的方法的主要原理是使用语言模型来生成建议和指导，但仍然基于原则性和鲁棒性的规划和控制方法来做出最终决策或计划，使得语言模型在其语义预测有用时使用，但不依赖于总是产生正确的答案。大型语言模型，如ChatGPT，近年来受到了相当大的关注，因为它们能够响应复杂的用户查询并满足复杂的请求，如编写代码，撰写故事或提供教育解释。正因为如此，人们对直接将它们用作决策系统有相当大的兴趣（例如，如果语言模型可以给出“如何”修理汽车的指令，也许它也可以向实际修理汽车的机器人发出命令）。然而，也有许多人担心，这种模型可能太不可靠或太容易产生错误的预测，而不能单独作为决策系统。因此，该项目旨在将这些模型集成到规划和控制的原则方法中，以利用这些模型中的语义知识，同时提供一定程度的鲁棒性。这项研究对于需要与复杂的现实环境交互的自动决策系统具有重要的影响，其中语义推理和智能规划都很重要。这包括机器人系统，包括自动驾驶汽车和服务机器人，智能助手，决策支持系统，以及一系列自动化技术。该项目的技术方法将基于概率公式，将语言模型的无基础语义预测与学习动力学模型的有基础但非语义预测联系在一起。以这种方式，可以使用概率推理机制来导出做出决策的算法，所述决策具有根据语言模型在语义上良好的高可能性和根据所学习的动态模型在物理上（动态地）最优的高可能性。在实践中，该原理可以在基于模型和无模型的学习系统、学习预测系统和规划算法（通过将规划公式化为推理）的上下文中实例化。该项目将探索这一概念在预测、规划和控制以及强化学习探索中的应用。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

This project aims to integrate semantic knowledge from large language models into automated decision-making and control systems while retaining reliability and robustness. The main principle of the proposed approach is to use language models to generate proposals and guidance, but still make the final decision or plan based on principled and robust planning and control methods, such that the language models are used when their semantic predictions are useful but not relied upon to always yield the correct answer. Large language models, such as ChatGPT, have garnered considerable attention in recent years due to their ability to respond to complex user queries and fulfill elaborate requests, such as writing code, composing stories, or providing educational explanations. Because of this, there is considerable interest in using them directly as decision-making systems (for example, if a language model can give “how to” instructions for repairing a car, perhaps it can also issue commands to a robot that actually repairs a car). However, there are also numerous concerns that such models might be too unreliable or too prone to generate false predictions to be useful as decision-making systems on their own. Therefore, this project aims to integrate these models into principled methods for planning and control to leverage the semantic knowledge in these models while providing a degree of robustness. This research has significant ramifications for automated decision-making systems that need to interact with complex real-world environments, where both semantic reasoning and intelligent planning are important. This includes robotic systems, including autonomous vehicles and service robots, intelligent assistants, decision support systems, and a range of automation technologies.The technical approach in this project will be based around a probabilistic formulation that ties together the ungrounded semantic predictions from language models with grounded but non-semantic predictions from learned dynamics models. In this way, probabilistic inference machinery can be used to derive algorithms that make decisions that have a high likelihood of being semantically good according to the language model and a high likelihood of being physically (dynamically) optimal according to the learned dynamics model. In practice, this principle can be instantiated in the context of both model-based and model-free reinforcement-learning systems, learned prediction systems, and planning algorithms (by formulating planning as inference). The project will explore applications of this concept to prediction, planning and control, and exploration in reinforcement learning.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.