论证理论
数学
二部图
离散数学
格子(音乐)
时间复杂性
理论计算机科学
计算机科学
组合数学
声学
认识论
物理
图形
哲学
作者
Mohammed Elaroussi,Lhouari Nourine,Mohammed Saïd Radjef
标识
DOI:10.1007/s10472-023-09873-y
摘要
The main purpose of this article is to develop a lattice point of view for the study of argumentation framework extensions. We first characterize self-defending sets of an argumentation framework by the closed sets of an implicational system that can be computed in polynomial time from the argumentation framework. On the other hand, for any implicational system $$\Sigma $$ over the set of arguments, we associate an argumentation framework whose admissible sets are in bijection with closed sets of $$\Sigma $$ . Second, we propose conflict-closed sets reduction rules, based on implicational system, to find out minimal subsets of vertex cover closed while maintaining all potential admissible extensions as well as preferred extensions. This leads to a polynomial delay and space algorithm to enumerate admissible sets of argumentation frameworks without even cycles. Finally, based on the implicational system, a new decomposition of the argumentation framework is defined and leads to a polynomial delay and space algorithm to enumerate admissible sets for a bipartite argumentation framework. The proposed algorithm improves the exponential space complexity of previous algorithms.
科研通智能强力驱动
Strongly Powered by AbleSci AI