中文
相关论文

相关论文: Efficient Open World Reasoning for Planning

200 篇论文

The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language for multi-agent systems, where autonomous agents reason and act in a shared environment. Agents are autonomously pursuing…

计算机科学中的逻辑 · 计算机科学 2011-10-05 Agostino Dovier , Andrea Formisano , Enrico Pontelli

Video-based representations have gained prominence in planning and decision-making due to their ability to encode rich spatiotemporal dynamics and geometric relationships. These representations enable flexible and generalizable solutions…

机器人学 · 计算机科学 2026-02-11 Po-Chen Ko , Jiayuan Mao , Yu-Hsiang Fu , Hsien-Jeng Yeh , Chu-Rong Chen , Wei-Chiu Ma , Yilun Du , Shao-Hua Sun

This paper introduces the notion of a universal plan, which when executed, is guaranteed to solve all planning problems in a category, regardless of the obstacles, initial state, and goal set. Such plans are specified as a deterministic…

机器人学 · 计算机科学 2024-09-17 Kalle G. Timperi , Alexander J. LaValle , Steven M. LaValle

In this paper, we present an Efficient Planning System for automated vehicles In highLy interactive envirONments (EPSILON). EPSILON is an efficient interaction-aware planning system for automated driving, and is extensively validated in…

机器人学 · 计算机科学 2021-08-19 Wenchao Ding , Lu Zhang , Jing Chen , Shaojie Shen

Automated planning is a prominent area of Artificial Intelligence, and an important component for intelligent autonomous agents. A cornerstone of domain-independent planning is the separation between planning logic, i.e. the automated…

人工智能 · 计算机科学 2025-12-17 Diaeddin Alarnaouti , George Baryannis , Mauro Vallati

To coordinate with other agents in its environment, an agent needs models of what the other agents are trying to do. When communication is impossible or expensive, this information must be acquired indirectly via plan recognition. Typical…

人工智能 · 计算机科学 2013-02-28 Marcus J. Huber , Edmund H. Durfee , Michael P. Wellman

Large language models (LLMs) have shown remarkable reasoning capabilities, especially when prompted to generate intermediate reasoning steps (e.g., Chain-of-Thought, CoT). However, LLMs can still struggle with problems that are easy for…

计算与语言 · 计算机科学 2023-10-24 Shibo Hao , Yi Gu , Haodi Ma , Joshua Jiahua Hong , Zhen Wang , Daisy Zhe Wang , Zhiting Hu

Generalized planning is concerned with the computation of general policies that solve multiple instances of a planning domain all at once. It has been recently shown that these policies can be computed in two steps: first, a suitable…

人工智能 · 计算机科学 2021-02-19 Guillem Francès , Blai Bonet , Hector Geffner

We propose a novel planning technique for satisfying tasks specified in temporal logic in partially revealed environments. We define high-level actions derived from the environment and the given task itself, and estimate how each action…

Explainable AI is an important area of research within which Explainable Planning is an emerging topic. In this paper, we argue that Explainable Planning can be designed as a service -- that is, as a wrapper around an existing planning…

人工智能 · 计算机科学 2019-08-15 Michael Cashmore , Anna Collins , Benjamin Krarup , Senka Krivic , Daniele Magazzeni , David Smith

Despite remarkable progress in driving world models, their potential for autonomous systems remains largely untapped: the world models are mostly learned for world simulation and decoupled from trajectory planning. While recent efforts aim…

计算机视觉与模式识别 · 计算机科学 2025-11-26 Zhida Zhao , Talas Fu , Yifan Wang , Lijun Wang , Huchuan Lu

To solve multi-step manipulation tasks in the real world, an autonomous robot must take actions to observe its environment and react to unexpected observations. This may require opening a drawer to observe its contents or moving an object…

机器人学 · 计算机科学 2020-03-24 Caelan Reed Garrett , Chris Paxton , Tomás Lozano-Pérez , Leslie Pack Kaelbling , Dieter Fox

Methods for learning optimal policies in autonomous agents often assume that the way the domain is conceptualised---its possible states and actions and their causal structure---is known in advance and does not change during learning. This…

人工智能 · 计算机科学 2018-01-11 Craig Innes , Alex Lascarides , Stefano V Albrecht , Subramanian Ramamoorthy , Benjamin Rosman

Current speech-language models (SLMs) typically use a cascade of speech encoder and large language model, treating speech understanding as a single black box. They analyze the content of speech well but reason weakly about other aspects,…

音频与语音处理 · 电气工程与系统科学 2025-12-08 Xuanru Zhou , Jiachen Lian , Henry Hong , Xinyi Yang , Gopala Anumanchipalli

Partially observable Markov decision processes (POMDPs) are a natural model for planning problems where effects of actions are nondeterministic and the state of the world is not completely observable. It is difficult to solve POMDPs…

人工智能 · 计算机科学 2009-09-25 N. L. Zhang , W. Liu

While Large Language Models (LLMs) can solve many NLP tasks in zero-shot settings, applications involving embodied agents remain problematic. In particular, complex plans that require multi-step reasoning become difficult and too costly as…

计算与语言 · 计算机科学 2023-08-15 Gautier Dagan , Frank Keller , Alex Lascarides

The search for information on the web is faced with several problems, which arise on the one hand from the vast number of available sources, and on the other hand from their heterogeneity. A promising approach is the use of multi-agent…

多智能体系统 · 计算机科学 2007-05-23 T. Eiter , M. Fink , G. Sabbatini , H. Tompits

Substantial efforts have been made in developing various Decision Modeling formalisms, both from industry and academia. A challenging problem is that of expressing decision knowledge in the context of incomplete knowledge. In such contexts,…

人工智能 · 计算机科学 2023-12-19 Đorđe Marković , Simon Vandevelde , Linde Vanbesien , Joost Vennekens , Marc Denecker

Making sense of the world and acting in it relies on building simplified mental representations that abstract away aspects of reality. This principle of cognitive mapping is universal to agents with limited resources. Living organisms,…

人工智能 · 计算机科学 2025-04-30 Marta Kryven , Cole Wyeth , Aidan Curtis , Kevin Ellis

Intelligent and reliable task planning is a core capability for generalized robotics, requiring a descriptive domain representation that sufficiently models all object and state information for the scene. We present CLIMB, a continual…

机器人学 · 计算机科学 2024-10-18 Walker Byrnes , Miroslav Bogdanovic , Avi Balakirsky , Stephen Balakirsky , Animesh Garg