Package net.sf.tweety.arg.social.semantics

Class AbstractSocialSemantics<L>

  • Type Parameters:
    L - The set used for valuations
    All Implemented Interfaces:
    java.util.Comparator<L>
    Direct Known Subclasses:
    SimpleProductSemantics
    public abstract class AbstractSocialSemantics<L>
extends java.lang.Object
implements java.util.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

    • Method Summary

      Modifier and Type Method Description
      L and​(java.util.Collection<L> arg)
      The AND-operation on all given arguments
      abstract L and​(L arg1, L arg2)
      The AND-operation on L in this framework
      abstract L bottomElement()
      Returns the bottom element of this semantics.
      abstract int compare​(java.lang.Double arg0, java.lang.Double arg1)  
      abstract L neg​(L arg)
      The NEG-operation on L in this framework
      L or​(java.util.Collection<L> arg)
      The OR-operation on all given arguments
      abstract L or​(L arg1, L arg2)
      The OR-operation on L in this framework
      abstract L supp​(int pos, int neg)
      The vote aggregation function
      abstract L topElement()
      Returns the top element of this semantics.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

      • Methods inherited from interface java.util.Comparator

        compare, equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

    • Constructor Detail

      • AbstractSocialSemantics

        public AbstractSocialSemantics()

    • Method Detail

      • 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​(java.util.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​(java.util.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​(java.lang.Double arg0,
                            java.lang.Double arg1)