Interface Rule<C extends Formula,​P extends Formula>

Type Parameters:
C - the type of formulas for the conclusion
P - the type of formulas for the premises
All Superinterfaces:
Formula
All Known Implementing Classes:
AbaRule, ASPRule, Assumption, BasicArgument, Conditional, DefeasibleInferenceRule, DefeasibleRule, DelpFact, DelpRule, InferenceRule, InferenceRule, NLPRule, ProbabilisticConditional, RelationalConditional, RelationalProbabilisticConditional, SimplePlRule, StrictInferenceRule, StrictRule

public interface Rule<C extends Formula,​P extends Formula> extends Formula
This interface models a general rule, i.e. a structure with some premise (a set of formulas) and some conclusion (a single formula).
Author:
Matthias Thimm, Tim Janus
  • Method Details

    • isFact

      boolean isFact()
      isFact
      Returns:
      whether the rule is a fact
    • isConstraint

      boolean isConstraint()
      isConstraint
      Returns:
      whether the rule is a constraint
    • setConclusion

      void setConclusion(C conclusion)
      Set the conclusion of this rule.
      Parameters:
      conclusion - some formula
    • addPremise

      void addPremise(P premise)
      Add the given premise to this rule.
      Parameters:
      premise - some formula
    • addPremises

      void addPremises(Collection<? extends P> premises)
      Add the given premises to this rule.
      Parameters:
      premises - some formulas
    • getSignature

      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.
    • getPremise

      Collection<? extends P> getPremise()
      Returns the premise of this rule.
      Returns:
      the premise of this rule.
    • getConclusion

      C getConclusion()
      Returns the conclusion of this rule.
      Returns:
      the conclusion of this rule.