PulseAugur
中
实时 10:28:49
English(EN) Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report

答案集规划通过新的语义和LLM驱动的优化得到增强 · 跟踪2个来源

作者 PulseAugur 编辑部 · [2 个来源] ·

两篇新的研究论文探讨了答案集规划（ASP）的进展。第一篇论文介绍了一个统一的逻辑框架，即界限语义（Bound-Founded Semantics），用于表征具有线性约束的ASP扩展的各种语义，特别关注clingo[DL]。第二篇论文改编了StreamLLM方法，使用大型语言模型生成“streamliners”来优化ASP编码，通过修剪解空间，在基准问题上实现了显著的加速。 AI

影响 答案集规划的这些进展可能导致在约束满足和基于逻辑的AI系统等领域实现更高效的问题解决。

排序理由 两篇在arXiv上发表的学术论文，详细介绍了答案集规划的新理论框架和实际优化技术。

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →

答案集规划通过新的语义和LLM驱动的优化得到增强 · 跟踪2个来源

报道来源 [2]

  1. arXiv cs.AI TIER_1 English(EN) · Pedro Cabalar (University of A Corunna, Spain), Jorge Fandinno (University of Nebraska at Omaha, USA), Nicolas R\"uhling (University of Potsdam, Germany), Torsten Schaub (University of Potsdam, Germany,Potassco Solutions, Germany), Sebastian Schellhorn (… ·

    基于边界的语义用于带差分约束的答案集规划：初步报告

    arXiv:2607.21201v1 Announce Type: new Abstract: While the integration of linear constraints has significantly expanded the reach of Answer Set Programming (ASP), existing hybrid solvers often rely on disparate semantic underpinnings that lack a unified logical foundation. We addr…

  2. arXiv cs.AI TIER_1 Dansk(DA) · Florentina Voboril (TU Wien), Martin Gebser (University of Klagenfurt), Stefan Szeider (TU Wien), Alice Tarzariol (University of Klagenfurt) ·

    Answer Set Programming 的流线型方法

    arXiv:2604.19251v2 Announce Type: replace-cross Abstract: Streamliner constraints reduce the search space of combinatorial problems by ruling out portions of the solution space. We adapt the StreamLLM approach, which uses Large Language Models (LLMs) to generate streamliners for …

相关实体

相关话题