Class ADF_OCF_comparison_example
java.lang.Object
org.tweetyproject.logics.cl.examples.ADF_OCF_comparison_example
Example code illustrating the translation from Abstract Dialectical Frameworks (ADFs) to Conditional logics
- Author:
- Jonas Schumacher
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic 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
Translate "Acceptance Condition" into "PlFormula" Recursive function: Case distinction by class namestatic void
Compares the inference behavior of an ADF with that of an OCF induced by translation function Theta
-
Constructor Details
-
ADF_OCF_comparison_example
public ADF_OCF_comparison_example()
-
-
Method Details
-
getFormulaFromAcc
Translate "Acceptance Condition" into "PlFormula" Recursive function: Case distinction by class name- Parameters:
ac
- = Acceptance Condition- Returns:
- PlFormula = translated propositional logic formula
-
getBeliefSetFromADF
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
Compares the inference behavior of an ADF with that of an OCF induced by translation function Theta- Parameters:
args
-- Throws:
FileNotFoundException
ParserException
IOException
-