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

研究人员开发了一个新颖的元编程框架，旨在简化时间集求解（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 阅读 →

• Answer Set Programming (ASP)
• clingo
• Linear-time Temporal Answer Set Programming
• MEL

• 论文
• 其他

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