Class CausalArgument

java.lang.Object
org.tweetyproject.arg.dung.syntax.Argument
org.tweetyproject.causal.syntax.CausalArgument
All Implemented Interfaces:
Comparable<Argument>, DungEntity, Formula, Node
public class CausalArgument extends Argument
This class represents a logical Argument induced from a CausalKnowledgeBase Such an Argument consists of a set of assumptions (premises) and a causal conclusion
Author:
Julian Sander, Lars Bengel

  • Constructor Details

    • CausalArgument

      public CausalArgument(Collection<PlFormula> premises, PlFormula conclusion)
      Initialize a new argument
      Parameters:
      premises - the set of premises of the argument
      conclusion - the conclusion of the argument

  • Method Details

    • getConclusion

      public PlFormula getConclusion()
      Returns the conclusion of this argument.
      Returns:
      The conclusion that can be drawn from the knowledge base given the premises.

    • getPremises

      public Collection<PlFormula> getPremises()
      Returns the premises of this argument.
      Returns:
      A set containing all the premises required for deriving the conclusion in this argument.