Class DeductiveArgument
- java.lang.Object
-
- net.sf.tweety.arg.deductive.semantics.DeductiveArgument
-
- Direct Known Subclasses:
DeductiveArgumentNode
public class DeductiveArgument extends java.lang.Object
Instances of this class represent arguments in the sense of Definition 3.1 in
Philippe Besnard and Anthony Hunter. A logic-based theory of deductive arguments. In Artificial Intelligence, 128(1-2):203-235, 2001.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description DeductiveArgument(java.util.Collection<? extends PlFormula> support, PlFormula claim)
Creates a new deductive argument with the given support and claim.
-
-
-
Method Detail
-
getSupport
public java.util.Collection<? extends PlFormula> getSupport()
Returns the support of this argument.- Returns:
- the support of this argument.
-
getClaim
public PlFormula getClaim()
Returns the claim of this argument.- Returns:
- the claim of this argument.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
-