PulseAugur
中
实时 18:45:48

新的元编程框架简化了时间ASP逻辑

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

研究人员开发了一个新颖的元编程框架，旨在简化时间集求解（Answer Set Programming, ASP）的时间扩展的实现和探索。该框架通过将形式化类型规范和嵌套能力纳入clingo的理论语法，增强了标准的ASP元编程。它包括一个转换管道，通过防止嵌套模态在接地（grounding）过程中被简化来保持语义正确性，并通过实现线性时间均衡逻辑（TEL）、度量均衡逻辑（MEL）和动态均衡逻辑（DEL）的元编码进行了演示。该系统名为metasp，提供了一种统一的声明式方法来管理这些时间逻辑的复杂性。 AI

影响 该框架可以通过简化复杂时间推理能力的实现，加速时间逻辑系统的研究和开发。

排序理由 该集群包含一篇详细介绍时间集求解（Answer Set Programming, ASP）时间元编程新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

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

新的元编程框架简化了时间ASP逻辑

本文如何被排名

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Tool
该集群包含一篇详细介绍时间集求解（Answer Set Programming, ASP）时间元编程新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration
Single-source cluster
Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics
paper, other
Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance
High
Clearly on-topic for AI-industry coverage.
Story freshness
132 days old
Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Susana Hahn, Amade Nems, Javier Romero, Torsten Schaub ·

    面向线性时间时序答案集编程的元编程

    arXiv:2605.29965v1 Announce Type: new Abstract: The development of temporal extensions of Answer Set Programming (ASP) has led to the emergence of non-monotonic linear-time (TEL), dynamic (DEL), and metric (MEL) temporal equilibrium logics. However, the inherent rigidity of highl…

相关话题