We consider the problem of reasoning and planning with incomplete knowledge and deterministic actions. We introduce a knowledge representation scheme called PSIPLAN that can effectively represent incompleteness of an agent's knowledge while allowing for sound, complete and tractable entailment in domains where the set of all objects is either unknown or infinite. We present a procedure for state update resulting from taking an action in PSIPLAN that is correct, complete and has only polynomial complexity. State update is performed without considering the set of all possible worlds corresponding to the knowledge state. As a result, planning with PSIPLAN is done without direct manipulation of possible worlds. PSIPLAN representation underlies the PSIPOP planning algorithm that handles quantified goals with or without exceptions that no other domain independent planner has been shown to achieve. PSIPLAN has been implemented in Common Lisp and used in an application on planning in a collaborative interface.
Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming
我们在[Son and Baral 2000]中将感知行为和不完全信息的0-近似扩展到具有静态因果律的行为理论，并证明了它在可能世界语义上的可靠性。我们还表明，关于这个近似的条件规划问题是NP完全的。然后，我们提出了一个答案集编程为基础的条件规划，称为ASCP，这是能够产生符合计划和条件计划中存在的传感行动，不完整的信息的初始状态，和静态因果关系的法律。我们证明了我们的实现的正确性，并认为我们的计划是健全的和完整的建议的近似。最后，我们提出的实验结果比较ASCP到其他规划。
MINT: Minimal Information Neuro-Symbolic Tree for Objective-Driven Knowledge-Gap Reasoning and Active Elicitation
Department of Electrical and Computer Engineering, George Washington University（乔治华盛顿大学电气与计算机工程系）；Department of Electrical and Computer Engineering, Northeastern University（东北大学电气与计算机工程系）
HeroBench: A Benchmark for Long-Horizon Planning and Structured Reasoning in Virtual Worlds
Artyom Sorokin（AXXX）；Lomonosov Moscow State University（罗蒙诺索夫莫斯科国立大学）；Higher School of Economics（高等经济学院）；Kurchatov Institute（库尔斯克研究所）；Independent Researcher（独立研究者）
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
Griffith University（格里菲斯大学）；National University of Singapore（新加坡国立大学）；Defence Science and Technology Group, Australia（澳大利亚国防科学与技术集团）；University of South Australia（南澳大学）
Faithful-First Reasoning, Planning, and Acting for Multimodal LLMs
Shanghai Jiao Tong University（上海交通大学）；The Hong Kong University of Science and Technology（香港科技大学）；The Australian National University（澳大利亚国立大学）；Fudan University（复旦大学）；University of Sydney（悉尼大学）
Non-myopic Generation of Language Models for Reasoning and Planning
The University of Hong Kong（香港大学）；Peking University（北京大学）；Zhejiang University（浙江大学）；Westlake University（西湖大学）；The Hong Kong University of Science and Technology（香港科技大学）
iCORPP: Interleaved Commonsense Reasoning and Probabilistic Planning on Robots
The State University of New York at Binghamton（纽约州立大学宾汉姆顿分校）；Sony AI, Sony Corporation of America（索尼美国公司索尼人工智能部门）；The University of Texas at Austin（德克萨斯大学奥斯汀分校）
SocialGrid: A Benchmark for Planning and Social Reasoning in Embodied Multi-Agent Systems
Technical University of Darmstadt（达姆施塔特技术大学）；German Research Center for Artificial Intelligence（德国人工智能研究中心）；Lab1141（Lab1141实验室）；Centre for Cognitive Science, Darmstadt（达姆施塔特认知科学中心）
More Than Meets the Eye? Uncovering the Reasoning-Planning Disconnect in Training Vision-Language Driving Models
S-Lab, Nanyang Technological University, Singapore（南洋理工大学S实验室）；College of Computing and Data Science, Nanyang Technological University, Singapore（南洋理工大学计算与数据科学学院）
Why Reasoning Fails to Plan: A Planning-Centric Analysis of Long-Horizon Decision Making in LLM Agents
University of Notre Dame（诺丁汉大学）；Stanford University（斯坦福大学）；Purdue University（普渡大学）；University of Edinburgh（爱丁堡大学）；University of Oxford（牛津大学）；Yale University（耶鲁大学）
From Perception to Planning: Evolving Ego-Centric Task-Oriented Spatiotemporal Reasoning via Curriculum Learning
Zhejiang University（浙江大学）；Tianjin University（天津大学）；Qingdao University（青岛大学）；Shanghai Jiao Tong University（上海交通大学）；National University of Singapore（新加坡国立大学）
