Package org.tweetyproject.logics.cl.examples

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 name
static void	main(java.lang.String[] args)	Compares the inference behavior of an ADF with that of an OCF induced by translation function Theta

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

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