Modularisation

A semantics σ\sigma satisfies Modularisation iff E∈σ(F)E \in \sigma(F) and E′∈σE' \in \sigma(FE)(F^E) imply E∪E′∈σ(F)E \cup E' \in \sigma(F).

Reference

Baumann, R., Brewka, G. & Ulbricht, M. (2020). Comparing Weak Admissibility Semantics to their Dung-style Counterparts – Reduct, Modularization, and Strong Equivalence in Abstract Argumentation. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), pp. 79–88. ijcai.org.

Referenced by