Class ADF_OCF_comparison_example
- java.lang.Object
-
- org.tweetyproject.logics.cl.examples.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 Summary
Constructors Constructor Description ADF_OCF_comparison_example()
-
Method Summary
Modifier and Type Method Description static void
compareInference(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa)
Compare the inference behavior of ADF "adf" and Ranking function "kappa"static ClBeliefSet
getBeliefSetFromADF(AbstractDialecticalFramework adf, int theta)
Creates a conditional belief base using the provided ADF "adf" and Translation Function "theta"static PlFormula
getFormulaFromAcc(AcceptanceCondition ac)
Translate "Acceptance Condition" into "PlFormula" Recursive function: Case distinction by class namestatic void
main(java.lang.String[] args)
Compares the inference behavior of an ADF with that of an OCF induced by translation function Theta
-
-
-
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 Frameworktheta
- = Index of Translation Function- Returns:
- ClBeliefSet = Belief base based on input ADF
-
compareInference
public static void compareInference(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa)
Compare the inference behavior of ADF "adf" and Ranking function "kappa"- Parameters:
adf
-reasoner_adf
-kappa
-
-
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
-
-