Package org.tweetyproject.arg.social.semantics

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 Summary

Constructors

Constructor	Description
AbstractSocialSemantics()	Default constructor for creating an instance of AbstractSocialSemantics.

Method Summary

Modifier and Type	Method	Description
L	and(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(Double arg0, Double arg1)	Compares two `Double` values according to the specific social semantics implemented by this class.
abstract L	neg(L arg)	The NEG-operation on L in this framework
L	or(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

equals, 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 Details

AbstractSocialSemantics

public AbstractSocialSemantics()

Default constructor for creating an instance of 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)

Compares two `Double` values according to the specific social semantics implemented by this class.

Parameters:

arg0 - the first `Double` value to be compared.

arg1 - the second `Double` value to be compared.

Returns:

a negative integer, zero, or a positive integer as the first argument (`arg0`) is less than, equal to, or greater than the second (`arg1`), respectively.

See Also:

• compare(java.lang.Double, java.lang.Double)