Class Argument

All Implemented Interfaces:
Serializable, Cloneable, Iterable<ASPRule>, Collection<ASPRule>, Deque<ASPRule>, List<ASPRule>, Queue<ASPRule>, Formula

public class Argument extends LinkedList<ASPRule> implements Formula
Instances of this class represent arguments in the sense of Definition 2 in [1]. [1] Ralf Schweimeier and Michael Schroeder: A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics. In: Theory and Practice of Logic Programming, 5(1-2):207-242, 2003.
Author:
Sebastian Homann
See Also:
  • Constructor Details

    • Argument

      public Argument(ASPRule rule)
    • Argument

      public Argument(List<ASPRule> rules)
  • Method Details

    • getConclusions

      public Set<ASPLiteral> getConclusions()
      Returns the set of conclusions of this argument, which is made up of the heads of all rules contained in this argument.
      Returns:
      the set of conclusions
    • getAssumptions

      public Set<ASPLiteral> getAssumptions()
      Returns the set of assumptions, i.e. the set of DLPLiterals, that appear default-negated in the premise of some rule in this argument. Ex.: Let a <- b, not -c. be a rule in argument A. Then A.getAssumptions() will contain -c.
      Returns:
      a set of literals which this argument assumes not to be true
    • checkValid

      public boolean checkValid()
      An argument may only contain nonempty ground rules (i.e. no constraints). Also, for an argument A = [r1, r2, ..., rn] for each literal Lj in the body of a rule ri there has to be a rule rk with k>i with head(rk) = Lj.
      Returns:
      true iff the the argument is valid
    • toString

      public String toString()
      Overrides:
      toString in class AbstractCollection<ASPRule>
    • getSignature

      public Signature getSignature()
      Description copied from interface: Formula
      Returns the signature of the language of this formula.
      Specified by:
      getSignature in interface Formula
      Returns:
      the signature of the language of this formula.