Class 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 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