Package org.tweetyproject.arg.dung.syntax

Interface DungEntity

All Superinterfaces:
Formula
All Known Implementing Classes:
AbaAttack, Argument, Argument, ArgumentStructure, AspicArgument, AspicAttack, Attack, BasicArgument, CausalArgument, ClaimArgument, CoalitionArgument, Deduction, ExtendedAttack, SetAttack, 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
    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.