Class 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 Summary

      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)  
      PlFormula getClaim()
      Returns the claim of this argument.
      java.util.Collection<? extends PlFormula> getSupport()
      Returns the support of this argument.
      int hashCode()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • DeductiveArgument

        public DeductiveArgument​(java.util.Collection<? extends PlFormula> support,
                                 PlFormula claim)
        Creates a new deductive argument with the given support and claim.
        Parameters:
        support - a set of formulas.
        claim - a formula.
    • 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 class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object