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

Class LdoFormula

java.lang.Object

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

All Implemented Interfaces:

Formula, ClassicalFormula, Conjuctable, 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 and Description
LdoFormula()

Method Summary

Modifier and Type	Method and Description
abstract LdoFormula	clone() Creates a deep copy of this formula
LdoConjunction	combineWithAnd(Conjuctable 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 formula
java.util.Collection<DungTheory>	getDividers(DungTheory theory, int semantics) Returns the dividers for this formula, i.e.
abstract java.util.Set<LdoFormula>	getLiterals() Returns all literals, i.e.
java.lang.Class<PropositionalPredicate>	getPredicateCls()
abstract java.util.Set<PropositionalPredicate>	getPredicates() Processes the set of all predicates which appear in this formula
DungSignature	getSignature() Returns the signature of the language of this formula.
Probability	getUniformProbability()
abstract int	hashCode()
boolean	isLiteral()

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LdoFormula

public LdoFormula()

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 interface SimpleLogicalFormula

Returns:

The set of all atoms

combineWithAnd

public LdoConjunction combineWithAnd(Conjuctable f)

Description copied from interface: Conjuctable

Returns a conjunction of this and the given formula.

Specified by:

combineWithAnd in interface Conjuctable

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 java.util.Set<PropositionalPredicate> 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 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,
                                                    int 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 java.lang.Class<PropositionalPredicate> 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(java.lang.Object other)

Specified by:

equals in interface SimpleLogicalFormula

Overrides:

equals in class java.lang.Object

hashCode

public abstract int hashCode()

Specified by:

hashCode in interface SimpleLogicalFormula

Overrides:

hashCode in class java.lang.Object

clone

public abstract LdoFormula clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface SimpleLogicalFormula

Overrides:

clone in class java.lang.Object