ConverterADF2CL

java.lang.Object

org.tweetyproject.logics.translators.adfcl.ConverterADF2CL

public class ConverterADF2CL extends Object

This class bridges the gap between Abstract Dialectical Frameworks (ADFs) and Conditional Logic (CL)

Author:: Jonas Schumacher

Constructor Summary

Constructors

Constructor

Description

ConverterADF2CL()
Method Summary

Modifier and Type

Method

Description

void

compareInference(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa)

Compare the inference behavior of ADF "adf" and Ranking function "kappa"

ClBeliefSet

getBeliefSetFromADF(AbstractDialecticalFramework adf, int theta)

Creates a conditional belief base using the provided ADF "adf" and Translation Function "theta"

PlFormula

getFormulaFromAcc(AcceptanceCondition ac)

Translate "Acceptance Condition" into "PlFormula" Recursive function: Case distinction by class name

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- ConverterADF2CL
  
  public ConverterADF2CL()
Method Details
- getFormulaFromAcc
  
  public PlFormula getFormulaFromAcc(AcceptanceCondition ac)
  
  Translate "Acceptance Condition" into "PlFormula" Recursive function: Case distinction by class name
  
  Parameters:
  
  ac - = Acceptance Condition
  
  Returns:
  
  PlFormula = translated propositional logic formula
- getBeliefSetFromADF
  
  public ClBeliefSet getBeliefSetFromADF(AbstractDialecticalFramework adf, int theta)
  
  Creates a conditional belief base using the provided ADF "adf" and Translation Function "theta"
  
  Parameters:
  
  adf - = Abstract Dialectical Framework
  
  theta - = Index of Translation Function
  
  Returns:
  
  ClBeliefSet = Belief base based on input ADF
- compareInference
  
  public void compareInference(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa)
  
  Compare the inference behavior of ADF "adf" and Ranking function "kappa"
  
  Parameters:
  
  adf - adf
  
  reasoner_adf - reasoner_adf
  
  kappa - kappa