Class DefeasibleRule

All Implemented Interfaces:
Formula, Rule<FolFormula,FolFormula>, ClassicalFormula, ComplexLogicalFormula, Conjunctable, Disjunctable, Invertable, LogicStructure, ProbabilityAware, QuantifiedFormula, SimpleLogicalFormula

public class DefeasibleRule extends DelpRule
This class models a defeasible rule in defeasible logic programming.
Author:
Matthias Thimm
  • Constructor Details

    • DefeasibleRule

      public DefeasibleRule(FolFormula head, Set<FolFormula> body)
      Initializes the defeasible rule with the given parameters
      Parameters:
      head - a literal
      body - a set of literals
  • Method Details