Class LdoFormula

java.lang.Object
org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
All Implemented Interfaces:
Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula
Direct Known Subclasses:
AbstractLdoModality, LdoArgument, LdoAssociativeFormula, LdoNegation, LdoRelation
public abstract class LdoFormula extends Object implements ClassicalFormula
This abstract class specifies the general methods of all Ldo-formulas (LDO - Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])
Author:
Matthias Thimm

  • Constructor Details

    • LdoFormula

      public LdoFormula()

  • Method Details

    • getAtoms

      public abstract Set<LdoArgument> getAtoms()
      Description copied from interface: SimpleLogicalFormula
      Processes the set of all atoms which appear in this formula
      Specified by:
      getAtoms in interface SimpleLogicalFormula
      Returns:
      The set of all atoms

    • combineWithAnd

      public LdoConjunction combineWithAnd(Conjunctable f)
      Description copied from interface: Conjunctable
      Returns a conjunction of this and the given formula.
      Specified by:
      combineWithAnd in interface Conjunctable
      Parameters:
      f - a formula to be combined with AND and this.
      Returns:
      a conjunction of this and the given formula.

    • combineWithOr

      public LdoDisjunction combineWithOr(Disjunctable f)
      Specified by:
      combineWithOr in interface Disjunctable
      Parameters:
      f - a formula to be combined with OR and this.
      Returns:
      a disjunction of this and the given formula.

    • getPredicates

      public abstract Set<PlPredicate> getPredicates()
      Description copied from interface: SimpleLogicalFormula
      Processes the set of all predicates which appear in this formula
      Specified by:
      getPredicates in interface SimpleLogicalFormula
      Returns:
      all predicates that appear in this formula

    • getLiterals

      public abstract Set<LdoFormula> getLiterals()
      Returns all literals, i.e. all formulas of the form "a" or "!a" where "a" is a proposition, that appear in this formula.
      Returns:
      all literals appearing in this formula.

    • getDividers

      public Collection<DungTheory> getDividers(DungTheory theory, Semantics semantics)
      Returns the dividers for this formula, i.e. all sub-theories of the given theory such that this formula is satisfied by this sub-theory.
      Parameters:
      theory - some argumentation framework
      semantics - some semantics
      Returns:
      the set of dividers of this formula

    • getUniformProbability

      public Probability getUniformProbability()
      Specified by:
      getUniformProbability in interface ProbabilityAware
      Returns:
      this formula's probability in the uniform distribution.

    • complement

      public ClassicalFormula complement()
      Specified by:
      complement in interface Invertable
      Returns:
      the complement of this formula.

    • isLiteral

      public boolean isLiteral()
      Specified by:
      isLiteral in interface SimpleLogicalFormula
      Returns:
      true if the formula represents a literal in the language or false otherwise

    • getPredicateCls

      public Class<PlPredicate> getPredicateCls()
      Specified by:
      getPredicateCls in interface SimpleLogicalFormula
      Returns:
      The class description of the predicate used by this formula.

    • getSignature

      public DungSignature 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.

    • equals

      public abstract boolean equals(Object other)
      Specified by:
      equals in interface SimpleLogicalFormula
      Overrides:
      equals in class Object

    • hashCode

      public abstract int hashCode()
      Specified by:
      hashCode in interface SimpleLogicalFormula
      Overrides:
      hashCode in class Object

    • clone

      public abstract LdoFormula clone()
      Description copied from interface: SimpleLogicalFormula
      Creates a deep copy of this formula
      Specified by:
      clone in interface SimpleLogicalFormula
      Returns:
      the cloned formula