Class ADF_OCF_comparison_example


  • public class ADF_OCF_comparison_example
    extends java.lang.Object
    Example code illustrating the translation from Abstract Dialectical Frameworks (ADFs) to Conditional logics
    Author:
    Jonas Schumacher
    • Constructor Detail

      • ADF_OCF_comparison_example

        public ADF_OCF_comparison_example()
    • Method Detail

      • getFormulaFromAcc

        public static 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 static 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
      • main

        public static void main​(java.lang.String[] args)
                         throws java.io.FileNotFoundException,
                                ParserException,
                                java.io.IOException
        Compares the inference behavior of an ADF with that of an OCF induced by translation function Theta
        Parameters:
        args -
        Throws:
        java.io.FileNotFoundException
        ParserException
        java.io.IOException