AITOP
全部 AI 动态
AI 相关资讯全量信息流
全部博客资讯推文论文
全部模型产品行业论文技巧
标签：回答集编程×
6月16日
20:46
6月12日
12:57
6月11日
15:28
15:23
15:07
5月27日
10:31
10:31arXiv cs.AI@Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
精选
本文研究了带弱约束的两量词ASP(Q)程序（2-ASP(Q)^w），这是回答集编程的扩展，能够表达Delta_3^P类优化问题。理论方面，给出了主要计算任务的完整复杂度刻画，包括紧的完备性结果和之前未处理的非平凡情况。实践方面，在Casper系统中引入了基于反例引导抽象精化（CEGAR）的新策略来计算（最优）量化回答集。实验表明，该方法在多个应用领域的硬基准测试中效果显著。
论文回答集编程ASP(Q)弱约束CEGAR复杂度分析
推荐理由：ASP(Q)扩展了回答集编程的表达力，做逻辑编程和知识表示的团队可以关注这篇——它既给出了理论复杂度边界，又提供了实用的CEGAR实现策略，值得一试。
原文
5月20日
15:30
15:30arXiv cs.AI@Antonio Ielo, Francesco Doria, Sandra Castellanos-Paez, Marco Maratea, Francesco Percassi, Mauro Vallati
精选
该论文首次提出使用回答集编程（ASP）自动化长期电网规划过程。电网作为关键基础设施，需应对可持续目标、需求模式和城市化趋势，而规划周期可能长达十年，需保持拓扑和组合不变量。传统规划语言难以表达这些复杂约束，而ASP能简洁优雅地编码。实验在合成和真实电网数据上验证了该方法的表达力和有效性。
论文电网规划回答集编程自动化基础设施优化
推荐理由：电网规划人员终于有了自动化工具——ASP 优雅处理了传统语言难以表达的拓扑约束，做电力系统优化的团队可以直接参考论文方法。
原文