net.sf.tweety.arg.dung.syntax

Interface DungEntity

All Superinterfaces:

Formula

All Known Implementing Classes:

ABAAttack, Argument, ArgumentStructure, AspicArgument, AspicAttack, Attack, BasicArgument, Deduction, SimplePlLogicArgument

public interface DungEntity
extends Formula

This interface captures common methods of arguments and attacks of abstract argumentation theories.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
LdoFormula	getLdoFormula() Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.

Methods inherited from interface net.sf.tweety.commons.Formula

getSignature

Method Detail

getLdoFormula

LdoFormula getLdoFormula()

Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])

Returns:

the logical formula of this entity.