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

Class LdoFormula

java.lang.Object

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

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable, 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 Summary

Constructors

Constructor and Description
LdoFormula()

Method Summary

Modifier and Type	Method and Description
abstract LdoFormula	clone()
LdoConjunction	combineWithAnd(net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable f)
LdoDisjunction	combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)
net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula	complement()
abstract boolean	equals(Object other)
abstract Set<LdoArgument>	getAtoms()
Collection<DungTheory>	getDividers(DungTheory theory, Semantics semantics) Returns the dividers for this formula, i.e.
abstract Set<LdoFormula>	getLiterals() Returns all literals, i.e.
Class<net.sf.tweety.logics.pl.syntax.PropositionalPredicate>	getPredicateCls()
abstract Set<net.sf.tweety.logics.pl.syntax.PropositionalPredicate>	getPredicates()
DungSignature	getSignature()
net.sf.tweety.math.probability.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 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.Conjuctable f)

Specified by:

combineWithAnd in interface net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable

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.PropositionalPredicate> 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.PropositionalPredicate> 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