Class DelpFact

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

public final class DelpFact extends DelpRule
This class implements a fact in defeasible logic programming which encapsulates a literal.
Matthias Thimm
  • Constructor Details

    • DelpFact

      public DelpFact(FolFormula literal)
      Default constructor; initializes this fact with the given literal
      literal - a literal
  • Method Details