net.sf.tweety.arg.social.semantics

Class AbstractSocialSemantics<L>

java.lang.Object

net.sf.tweety.arg.social.semantics.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

Constructor Summary

Constructors

Constructor and Description
AbstractSocialSemantics()

Method Summary

Modifier and Type	Method and 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, comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, 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)