minor update to equivalence in abstract argumentation

Author: larsbengel

org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/LocalExpansionEquivalence.java

@@ -1,3 +1,21 @@
+/*
+ *  This file is part of "TweetyProject", a collection of Java libraries for
+ *  logical aspects of artificial intelligence and knowledge representation.
+ *
+ *  TweetyProject is free software: you can redistribute it and/or modify
+ *  it under the terms of the GNU Lesser General Public License version 3 as
+ *  published by the Free Software Foundation.
+ *
+ *  This program is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU Lesser General Public License for more details.
+ *
+ *  You should have received a copy of the GNU Lesser General Public License
+ *  along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ *  Copyright 2025 The TweetyProject Team <http://tweetyproject.org/contact/>
+ */
 package org.tweetyproject.arg.dung.equivalence;
 
 import org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel;
@@ -9,6 +27,15 @@
 import java.util.Collection;
 import java.util.HashSet;
 
+/**
+ * This class defines local (expansion) equivalence for {@link DungTheory argumentation frameworks} wrt. some {@link Semantics semantics},
+ * i.e., two AFs F and G are local expansion equivalent iff they possess the same set of
+ * {@link org.tweetyproject.arg.dung.semantics.Extension extensions} wrt. the {@link Semantics semantics} under every local expansion
+ *
+ * @see "Emilia Oikarinen and Stefan Woltran. 'Characterizing strong equivalence for argumentation frameworks.' Artificial intelligence 175.14-15 (2011): 1985-2009."
+ *
+ * @author Lars Bengel
+ */
 public class LocalExpansionEquivalence implements Equivalence<DungTheory> {
 
     private final Semantics semantics;
@@ -20,7 +47,7 @@ public LocalExpansionEquivalence(Semantics semantics) {
     @Override
     public boolean isEquivalent(DungTheory theory1, DungTheory theory2) {
         switch (semantics) {
-            case ADM,PR -> {
+            case ADM,PR,ID,UC,SST,EA -> {
                 return new StrongEquivalence(Semantics.ADM).isEquivalent(theory1, theory2);
             }
             case GR -> {

org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/NormalExpansionEquivalence.java

@@ -24,12 +24,13 @@
 
 /**
  * This class defines normal expansion equivalence for {@link DungTheory argumentation frameworks} wrt. some {@link Semantics semantics},
- * i.e., two AFs F andG are strong expansion equivalent iff they possess the same set of
+ * i.e., two AFs F and G are strong expansion equivalent iff they possess the same set of
  * {@link org.tweetyproject.arg.dung.semantics.Extension extensions} wrt. the {@link Semantics semantics} when conjoined
  * with some AF H that only adds arguments and attacks that involve at least one new argument.
+ *
  * Can be characterized by a syntactic kernel and is actually equivalent to strong equivalence wrt. the respective semantics.
  *
- * @see "Baumann, Ringo. 'Normal and strong expansion equivalence for argumentation frameworks.' Artificial Intelligence 193 (2012): 18-44."
+ * @see "Ringo Baumann. 'Normal and strong expansion equivalence for argumentation frameworks.' Artificial Intelligence 193 (2012): 18-44."
  *
  * @author Lars Bengel
  */

org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/StrongEquivalence.java

@@ -30,9 +30,10 @@
  * i.e., two AFs F andG are strongly equivalent iff they possess the same set of
  * {@link org.tweetyproject.arg.dung.semantics.Extension extensions} wrt. the {@link Semantics semantics} when conjoined
  * with some arbitrary AF H.
- * Can be characterized by a syntactic kernel.
  *
- * @see "Oikarinen, Emilia, and Stefan Woltran. 'Characterizing strong equivalence for argumentation frameworks.' Artificial intelligence 175.14-15 (2011): 1985-2009."
+ * Can be characterized by a syntactic kernel-function.
+ *
+ * @see "Emilia Oikarinen and Stefan Woltran. 'Characterizing strong equivalence for argumentation frameworks.' Artificial intelligence 175.14-15 (2011): 1985-2009."
  *
  * @author Lars Bengel
  */

org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/StrongExpansionEquivalence.java

@@ -26,12 +26,13 @@
 
 /**
  * This class defines strong expansion equivalence for {@link DungTheory argumentation frameworks} wrt. some {@link Semantics semantics},
- * i.e., two AFs F andG are strong expansion equivalent iff they possess the same set of
+ * i.e., two AFs F and G are strong expansion equivalent iff they possess the same set of
  * {@link org.tweetyproject.arg.dung.semantics.Extension extensions} wrt. the {@link Semantics semantics} when conjoined
- * with some AF H that only adds arguments and attacks originating from new arguments.
+ * with some AF H that only adds arguments and attacks originating from new arguments, i.e., a strong normal expansion.
+ *
  * Can be characterized by a syntactic kernel.
  *
- * @see "Baumann, Ringo. 'Normal and strong expansion equivalence for argumentation frameworks.' Artificial Intelligence 193 (2012): 18-44."
+ * @see "Ringo Baumann. 'Normal and strong expansion equivalence for argumentation frameworks.' Artificial Intelligence 193 (2012): 18-44."
  *
  * @author Lars Bengel
  */
@@ -55,8 +56,9 @@ public StrongExpansionEquivalence(Semantics semantics) {
         switch (semantics) {
             case ST -> kernel = EquivalenceKernel.STABLE;
             case CO -> kernel = EquivalenceKernel.SE_COMPLETE;
-            case GR -> kernel = EquivalenceKernel.SE_GROUNDED;
-            case ADM,PR,ID -> kernel = EquivalenceKernel.SE_ADMISSIBLE;
+            case GR,SAD -> kernel = EquivalenceKernel.SE_GROUNDED;
+            case ADM,PR,ID,UC -> kernel = EquivalenceKernel.SE_ADMISSIBLE;
+            case SST,EA -> kernel = EquivalenceKernel.ADMISSIBLE;
             default -> throw new IllegalArgumentException("Unsupported Semantics: " + semantics);
         }
     }

org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/WeakExpansionEquivalence.java

@@ -1,3 +1,21 @@
+/*
+ *  This file is part of "TweetyProject", a collection of Java libraries for
+ *  logical aspects of artificial intelligence and knowledge representation.
+ *
+ *  TweetyProject is free software: you can redistribute it and/or modify
+ *  it under the terms of the GNU Lesser General Public License version 3 as
+ *  published by the Free Software Foundation.
+ *
+ *  This program is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU Lesser General Public License for more details.
+ *
+ *  You should have received a copy of the GNU Lesser General Public License
+ *  along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ *  Copyright 2025 The TweetyProject Team <http://tweetyproject.org/contact/>
+ */
 package org.tweetyproject.arg.dung.equivalence;
 
 import org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner;
@@ -11,10 +29,27 @@
 import java.util.Collection;
 import java.util.HashSet;
 
+
+/**
+ * This class defines strong expansion equivalence for {@link DungTheory argumentation frameworks} wrt. some {@link Semantics semantics},
+ * i.e., two AFs F and G are strong expansion equivalent iff they possess the same set of
+ * {@link org.tweetyproject.arg.dung.semantics.Extension extensions} wrt. the {@link Semantics semantics} when conjoined
+ * with some AF H that only adds arguments and attacks originating from old arguments, i.e., a weak normal expansion.
+ *
+ *
+ * @see "Ringo Baumann and Gerhard Brewka. 'The equivalence zoo for Dung-style semantics.' Journal of Logic and Computation 28.3 (2018): 477-498."
+ *
+ * @author Lars Bengel
+ */
 public class WeakExpansionEquivalence implements Equivalence<DungTheory> {
 
-    private Semantics semantics;
+    /** the semantics of this equivalence instance **/
+    private final Semantics semantics;
 
+    /**
+     * Initializes a new instance of equivalence wrt. the given semantics
+     * @param semantics some semantics
+     */
     public WeakExpansionEquivalence(Semantics semantics) {
         this.semantics = semantics;
     }