Package net.sf.tweety.arg.dung.ldo.syntax

Class LdoFormula

  • All Implemented Interfaces:
    net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    Direct Known Subclasses:
    AbstractLdoModality, LdoArgument, LdoAssociativeFormula, LdoNegation, LdoRelation
    public abstract class LdoFormula
extends Object
implements net.sf.tweety.logics.commons.syntax.interfaces.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 Detail

      • LdoFormula

        public LdoFormula()

    • Method Detail

      • getAtoms

        public abstract Set<LdoArgument> getAtoms()
        Specified by:
        getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

      • combineWithAnd

        public LdoConjunction combineWithAnd​(net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable f)
        Specified by:
        combineWithAnd in interface net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable

      • combineWithOr

        public LdoDisjunction combineWithOr​(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)
        Specified by:
        combineWithOr in interface net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable

      • getPredicates

        public abstract Set<net.sf.tweety.logics.pl.syntax.PlPredicate> getPredicates()
        Specified by:
        getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

      • 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 net.sf.tweety.math.probability.Probability getUniformProbability()
        Specified by:
        getUniformProbability in interface net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware

      • complement

        public net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula complement()
        Specified by:
        complement in interface net.sf.tweety.logics.commons.syntax.interfaces.Invertable

      • isLiteral

        public boolean isLiteral()
        Specified by:
        isLiteral in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

      • getPredicateCls

        public Class<net.sf.tweety.logics.pl.syntax.PlPredicate> getPredicateCls()
        Specified by:
        getPredicateCls in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

      • getSignature

        public DungSignature getSignature()
        Specified by:
        getSignature in interface net.sf.tweety.commons.Formula

      • equals

        public abstract boolean equals​(Object other)
        Specified by:
        equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Overrides:
        equals in class Object

      • hashCode

        public abstract int hashCode()
        Specified by:
        hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Overrides:
        hashCode in class Object

      • clone

        public abstract LdoFormula clone()
        Specified by:
        clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
        Overrides:
        clone in class Object