net.sf.tweety.arg.deductive.semantics.attacks

Class DefeatingRebuttal

java.lang.Object

net.sf.tweety.arg.deductive.semantics.attacks.DefeatingRebuttal

All Implemented Interfaces:

Attack

public class DefeatingRebuttal
extends java.lang.Object
implements Attack

This attack notion models the defeating rebuttal relation; A is defeated by B iff claim(B) |- \neg claim(A).

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private static DefeatingRebuttal	instance Singleton instance.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DefeatingRebuttal() Private constructor.

Method Summary

Modifier and Type	Method and Description
static DefeatingRebuttal	getInstance() Returns the singleton instance of this class.
boolean	isAttackedBy(DeductiveArgument a, DeductiveArgument b) Returns "true" iff the first argument is attacked by the second argument.

Methods inherited from class java.lang.Object

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

Field Detail

instance

private static DefeatingRebuttal instance

Singleton instance.

Constructor Detail

DefeatingRebuttal

private DefeatingRebuttal()

Private constructor.

Method Detail

getInstance

public static DefeatingRebuttal getInstance()

Returns the singleton instance of this class.

Returns:

the singleton instance of this class.

isAttackedBy

public boolean isAttackedBy(DeductiveArgument a,
                            DeductiveArgument b)

Description copied from interface: Attack

Returns "true" iff the first argument is attacked by the second argument.

Specified by:

isAttackedBy in interface Attack

Parameters:

a - some argument

b - some argument

Returns:

"true" iff a is attacked by b.