AI圈报
论文研究普通

Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding

信息来源：arXiv·

内容摘要

While HTN planning has received significant attention in recent years, support for numerical reasoning remains very limited. In this paper, we investigate numerical Totally-Ordered HTN (TOHTN) planning and show how standard SAT-based encodings can be naturally extended with SMT to handle numeric fluents. In addition, we introduce a benchmark suite for numerical TOHTN planning, providing a first common basis for evaluation in this setting. Experimental results show that this simple encoding already constitutes a competitive baseline. This work opens the way to more expressive approaches to HTN planning.
内容分类AI 论文与研究
内容层级普通情报
发布时间（北京时间）
本站收录时间（北京时间）
信息来源arXiv
站内情报编号intel-2da273b6ef7dffdc3cfa1ce4
阅读原始信息 ↗查看数据来源更多论文研究

相关推荐

综合分类、实体标签与信息来源匹配

论文研究普通
Headroom-Drift Replay: A Primitive for Principled Replay Control in GRPO
RL-based post-training for reasoning models is increasingly bottlenecked by repeated fresh rollout generation, particularly in agentic settings where environment interaction dominates wall-clock cost. Replay can reduce this burden by reusi…
信息来源：arXiv
论文研究普通
Masked Autoregressive Speech Enhancement with Continuous Neural Audio Codec Representations
Most previous work on speech enhancement (SE) based on masked generative modeling relied on discrete token representations of audio signals, obtained using neural audio codecs (NACs). However, a recent study has shown that continuous laten…
信息来源：arXiv
论文研究普通
RATL: Learning from Retrieved Residuals for Robust Multivariate Time-Series Forecasting
Retrieval-augmented generation (RAG) complements parametric models with retrieved external evidence. The same idea is attractive for continuous-output regression, but directly reusing retrieved target values is often not robust when sample…
信息来源：arXiv
论文研究普通
Fixed Suffix Dependency Ratio: Quantifying the Dual-Track Mechanism of Gender Assignment in Latvian Loanwords
Existing research has repeatedly observed the tendency for English loanwords to cluster in the masculine gender across different recipient languages, yet the origin of this pattern remains difficult to determine, as fixed morphological rul…
信息来源：arXiv
论文研究普通
Sparse auto-regressive modeling for scene generation from multi-view images
Generating complete 3D scenes from sparse, unconstrained views is a fundamental challenge in 3D vision which requires reasoning beyond observed content while remaining computationally tractable. Existing feed-forward reconstruction methods…
信息来源：arXiv
论文研究普通
Speak for Me: Giving LLMs the Situational Awareness to Participate in a Meeting
In online meeting delegation, LLM agents fail to recognize when to speak. With no structured way to track stances, coverage, and floor, they miss the moments where they should contribute. Prompt-only delegates stay silent on 51.4% of the a…
信息来源：arXiv
论文研究普通
Value-Preserving Architectures for Agentic AI Systems
The emergence of agentic AI and LLM-based multi-agent systems (MAS) presents unprecedented opportunities for automating complex tasks, while simultaneously raising critical concerns about the preservation of fundamental human-centered valu…
信息来源：arXiv
论文研究普通
RuleMem: Active Rule Memory for Long-Term Conversational Agents
Question answering agents in long-term conversations must reason over massive, temporally dispersed dialogue histories. However, existing memory mechanisms primarily treat past information as \textit{passively} stored facts, leading to sem…
信息来源：arXiv
论文研究普通
Lose the Order, Keep the Hierarchy: Deordering HTN Plans
Hierarchical Task Network (HTN) planning is a powerful planning formalism based on task decomposition. Although most of the literature studied plan generation, comparatively less attention has been paid to post-plan optimization. In partic…
信息来源：arXiv
论文研究普通
Comparing Retrieval Methods for Academic Advisor Discovery: A Six-Method Study of 768 CS Faculty Profiles Across 9 US Universities
We present a comparative evaluation of six information retrieval methods for the task of academic advisor discovery: ranking CS faculty members by relevance to a graduate applicant's research interest statement. The methods span sparse lex…
信息来源：arXiv