Class AbstractSocialSemantics<L>

java.lang.Object
org.tweetyproject.arg.social.semantics.AbstractSocialSemantics<L>
Type Parameters:
L - The set used for valuations
All Implemented Interfaces:
Comparator<L>
Direct Known Subclasses:
SimpleProductSemantics

public abstract class AbstractSocialSemantics<L> extends Object implements Comparator<L>
This is the abstract ancestor of concrete semantics for social abstract argumentation frameworks, cf. [Leite, Martins; IJCAI 2011, Def. 3]
Author:
Matthias Thimm
  • Constructor Details

    • AbstractSocialSemantics

      public AbstractSocialSemantics()
  • Method Details

    • bottomElement

      public abstract L bottomElement()
      Returns the bottom element of this semantics.
      Returns:
      the bottom element of this semantics.
    • topElement

      public abstract L topElement()
      Returns the top element of this semantics.
      Returns:
      the top element of this semantics.
    • supp

      public abstract L supp(int pos, int neg)
      The vote aggregation function
      Parameters:
      pos - the number of positive votes
      neg - the number of negative votes
      Returns:
      the social support aggregated from the votes.
    • and

      public abstract L and(L arg1, L arg2)
      The AND-operation on L in this framework
      Parameters:
      arg1 - some value in L
      arg2 - some value in L
      Returns:
      the AND of the both values
    • or

      public abstract L or(L arg1, L arg2)
      The OR-operation on L in this framework
      Parameters:
      arg1 - some value in L
      arg2 - some value in L
      Returns:
      the OR of the both values
    • neg

      public abstract L neg(L arg)
      The NEG-operation on L in this framework
      Parameters:
      arg - some value in L
      Returns:
      the negation of the given value.
    • and

      public L and(Collection<L> arg)
      The AND-operation on all given arguments
      Parameters:
      arg - some values in L
      Returns:
      The AND of all given arguments
    • or

      public L or(Collection<L> arg)
      The OR-operation on all given arguments
      Parameters:
      arg - some values in L
      Returns:
      The OR of all given arguments
    • compare

      public abstract int compare(Double arg0, Double arg1)