Class SimplePlLogicArgument

java.lang.Object
org.tweetyproject.arg.dung.syntax.Argument
org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument
All Implemented Interfaces:
Comparable<Argument>, DungEntity, Formula, Node
public class SimplePlLogicArgument extends Argument
Represents a simple propositional logic argument in deductive argumentation. The argument consists of a set of supporting rules and a claim, which is a propositional logic formula (PlFormula). This class follows the structure defined in the paper "A Comparison of Formal Argumentation Systems" by Hunter and Caminada (2013). This class extends Argument and stores a set of supporting rules and a single claim derived from the support.
Author:
Federico Cerutti (federico.cerutti(at)acm.org)

  • Constructor Details

    • SimplePlLogicArgument

      public SimplePlLogicArgument(Collection<SimplePlRule> _support, PlFormula _claim)
      Constructs a simple propositional logic argument with the given support and claim.
      Parameters:
      _support - The collection of supporting rules for this argument.
      _claim - The propositional logic formula representing the claim.

    • SimplePlLogicArgument

      public SimplePlLogicArgument(Derivation<SimplePlRule> derivation)
      Constructs a simple propositional logic argument from a derivation. The derivation consists of a set of rules (support) and a conclusion (claim).
      Parameters:
      derivation - The derivation from which the argument is created.

  • Method Details

    • getSupport

      public Collection<? extends SimplePlRule> getSupport()
      Returns the support of this argument, i.e., the set of rules that provide the basis for the claim.
      Returns:
      The collection of supporting rules.

    • getClaim

      public PlFormula getClaim()
      Returns the claim of this argument, which is a propositional logic formula.
      Returns:
      The propositional logic formula representing the claim.

    • toString

      public String toString()
      Returns a string representation
      Overrides:
      toString in class Argument
      Returns:
      The string representation of this argument.

    • hashCode

      public int hashCode()
      Computes the hash code for this argument based on the support.
      Overrides:
      hashCode in class Argument
      Returns:
      The hash code of this argument.

    • equals

      public boolean equals(Object obj)
      Checks for equality between this argument and another object. Two arguments are considered equal if their claims are equal and their support sets are equal.
      Overrides:
      equals in class Argument
      Parameters:
      obj - The object to compare this argument to.
      Returns:
      True if the objects are equal, false otherwise.