A general notion of equivalence for abstract argumentation

摘要: Abstract We introduce a parametrized equivalence notion for abstract argumentation that subsumes standard and strong as corner cases. Under this notion, two frameworks are equivalent if they deliver the same extensions under any addition of arguments attacks do not affect given set core arguments. also provide exact characterizations complexity results. The proposed is motivated by its capability to capture concept local simplifications. In fact, our allows decide whether sub-framework can be replaced another one without changing in framework which undergoes change. Moreover, demonstrate deciding form does require an analysis entire framework. This makes it appealing formal underpinning establishing general replacement patterns frameworks.