AITOP
全部 AI 动态
AI 相关资讯全量信息流
全部博客资讯推文论文
全部模型产品行业论文技巧
标签：复杂度分析×
6月16日
20:46
10:57
10:57arXiv cs.LG@Yahya Aalaila, Sumantrak Mukherjee, Gerrit Großmann, Sebastian Vollmer
HawkesNest是一个基于多元Hawkes骨干的生成器对齐基准，定义了空间-时间纠缠、背景异质性、跨类型交互和域拓扑四个复杂度轴。每个轴关联一个从潜在数据生成机制中计算出的确定性索引。在固定全局速率、稳定性和模拟预算下改变这些轴，可对STPP模型进行诊断压力测试。实验验证了索引的单调性和近似正交性。Hawkes系列基线在联合异质性与纠缠复杂度下退化，AutoSTPP在空间-时间纠缠单独增加时表现脆弱。
论文HawkesNestSTPP时空点过程基准测试复杂度分析
推荐理由：想检验你的时空点过程模型？HawkesNest提供了四个可控复杂度轴，能精准发现模型在空间-时间纠缠等场景下的弱点。
原文
6月12日
12:57
6月11日
15:28
15:23
15:07
6月9日
09:39
09:39arXiv cs.AI@Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
精选
本文提出将KLM可废止逻辑与立场逻辑相结合，形式化表达多个可能矛盾视角下的可废止信念。作者利用可废止受限立场逻辑（DRSL），为DRSL语义提供了基础表示结果，并系统地将多种命题蕴涵关系提升到立场增强场景。研究还展示了如何通过语义和算法手段提升优先蕴涵及基于单排序函数的蕴涵关系（包括理性和词典序闭包）。关键发现是，从命题KLM到DRSL，每种蕴涵检查的复杂度类保持不变。
论文可废止逻辑立场逻辑多视角推理知识表示复杂度分析
推荐理由：多视角推理是AI处理冲突信息的核心挑战，做知识表示与推理的研究者可以关注这个复杂度不变的理论突破，直接用于多智能体或争议性知识库场景。
原文
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实现策略，值得一试。
原文