BriefGPT.xyz
Nov, 2018
抽象论证推理的计数复杂度
Counting Complexity for Reasoning in Abstract Argumentation
HTML
PDF
Johannes K. Fichte, Markus Hecher, Arne Meier
TL;DR
本文探讨抽象论证中关于扩展项的计数和投影模型计数,提出了一种基于动态规划的新算法,并建立了经典和参数化的复杂度结果,考虑到评估参数化问题的树宽度,最后针对有界树宽算法建立下界,得出复杂度分析结论。
Abstract
In this paper, we consider counting and
projected model counting
of extensions in
abstract argumentation
for various semantics. When asking for projected counts we are interested in counting the number of extensi
→