Class BasicArgument

java.lang.Object
org.tweetyproject.arg.dung.syntax.Argument
org.tweetyproject.arg.saf.syntax.BasicArgument
All Implemented Interfaces:
Comparable<Argument>, DungEntity, Formula, Rule<Proposition,Proposition>, Node

public class BasicArgument extends Argument implements Rule<Proposition,Proposition>
This class models a basic argument in structured argumentation frameworks, i.e. a claim (a proposition) together with a support (a set of propositions) where the claim is not in the support.
Author:
Matthias Thimm, Tim Janus
  • Constructor Details

    • BasicArgument

      @Deprecated public BasicArgument(String name)
      Deprecated.
      Deprecated for basic arguments.
      Parameters:
      name - the name of the argument
    • BasicArgument

      public BasicArgument(Proposition claim)
      Creates a new basic argument with the given claim and empty support.
      Parameters:
      claim - a proposition.
    • BasicArgument

      public BasicArgument(Proposition claim, Set<Proposition> support)
      Creates a new basic argument with the given claim and the given support.
      Parameters:
      claim - a proposition
      support - a set of propositions
  • Method Details