Class ConverterADF2CL
java.lang.Object
org.tweetyproject.logics.translators.adfcl.ConverterADF2CL
This class bridges the gap between Abstract Dialectical Frameworks (ADFs) and Conditional Logic (CL)
- Author:
- Jonas Schumacher
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
compareInference
(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa) Compare the inference behavior of ADF "adf" and Ranking function "kappa"getBeliefSetFromADF
(AbstractDialecticalFramework adf, int theta) Creates a conditional belief base using the provided ADF "adf" and Translation Function "theta"Translate "Acceptance Condition" into "PlFormula" Recursive function: Case distinction by class name
-
Constructor Details
-
ConverterADF2CL
public ConverterADF2CL()
-
-
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 void compareInference(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa) Compare the inference behavior of ADF "adf" and Ranking function "kappa"- Parameters:
adf
- adfreasoner_adf
- reasoner_adfkappa
- kappa
-