Class LdoFormula
- java.lang.Object
-
- net.sf.tweety.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 java.lang.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 Summary
Constructors Constructor Description LdoFormula()
-
Method Summary
Modifier and Type Method Description abstract LdoFormula
clone()
Creates a deep copy of this formulaLdoConjunction
combineWithAnd(Conjunctable f)
Returns a conjunction of this and the given formula.LdoDisjunction
combineWithOr(Disjunctable f)
ClassicalFormula
complement()
abstract boolean
equals(java.lang.Object other)
abstract java.util.Set<LdoArgument>
getAtoms()
Processes the set of all atoms which appear in this formulajava.util.Collection<DungTheory>
getDividers(DungTheory theory, Semantics semantics)
Returns the dividers for this formula, i.e.abstract java.util.Set<LdoFormula>
getLiterals()
Returns all literals, i.e.java.lang.Class<PlPredicate>
getPredicateCls()
abstract java.util.Set<PlPredicate>
getPredicates()
Processes the set of all predicates which appear in this formulaDungSignature
getSignature()
Returns the signature of the language of this formula.Probability
getUniformProbability()
abstract int
hashCode()
boolean
isLiteral()
-
-
-
Method Detail
-
getAtoms
public abstract java.util.Set<LdoArgument> getAtoms()
Description copied from interface:SimpleLogicalFormula
Processes the set of all atoms which appear in this formula- Specified by:
getAtoms
in interfaceSimpleLogicalFormula
- 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 interfaceConjunctable
- 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 interfaceDisjunctable
- Parameters:
f
- a formula to be combined with OR and this.- Returns:
- a disjunction of this and the given formula.
-
getPredicates
public abstract java.util.Set<PlPredicate> getPredicates()
Description copied from interface:SimpleLogicalFormula
Processes the set of all predicates which appear in this formula- Specified by:
getPredicates
in interfaceSimpleLogicalFormula
- Returns:
- all predicates that appear in this formula
-
getLiterals
public abstract java.util.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 java.util.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 frameworksemantics
- some semantics- Returns:
- the set of dividers of this formula
-
getUniformProbability
public Probability getUniformProbability()
- Specified by:
getUniformProbability
in interfaceProbabilityAware
- Returns:
- this formula's probability in the uniform distribution.
-
complement
public ClassicalFormula complement()
- Specified by:
complement
in interfaceInvertable
- Returns:
- the complement of this formula.
-
isLiteral
public boolean isLiteral()
- Specified by:
isLiteral
in interfaceSimpleLogicalFormula
- Returns:
- true if the formula represents a literal in the language or false otherwise
-
getPredicateCls
public java.lang.Class<PlPredicate> getPredicateCls()
- Specified by:
getPredicateCls
in interfaceSimpleLogicalFormula
- 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 interfaceFormula
- Returns:
- the signature of the language of this formula.
-
equals
public abstract boolean equals(java.lang.Object other)
- Specified by:
equals
in interfaceSimpleLogicalFormula
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public abstract int hashCode()
- Specified by:
hashCode
in interfaceSimpleLogicalFormula
- Overrides:
hashCode
in classjava.lang.Object
-
clone
public abstract LdoFormula clone()
Description copied from interface:SimpleLogicalFormula
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Returns:
- the cloned formula
-
-