Package org.tweetyproject.arg.dung.syntax

Interface DungEntity

All Superinterfaces:
Formula
All Known Subinterfaces:
Attack, BipolarEntity, Support
All Known Implementing Classes:
AbaAttack, Argument, ArgumentSet, ArgumentStructure, AspicArgument, AspicAttack, Attack, BArgument, BasicArgument, BinaryAttack, BinarySupport, ClaimArgument, Deduction, EAttack, SetAttack, SetAttack, SetSupport, SimplePlLogicArgument, WeightedSetSupport
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
    Description
    LdoFormula
    getLdoFormula()
    Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.

    Methods inherited from interface org.tweetyproject.commons.Formula

    getSignature

  • Method Details

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