Package org.tweetyproject.logics.translators.adfconditional

Class CADFSemantics

java.lang.Object

org.tweetyproject.logics.translators.adfconditional.CADFSemantics

public class CADFSemantics
extends Object

This class implements the cADF semantics by applying the Gamma Operator and checking for admissible, complete, grounded, preferred and 2-valued interpretations plus the grounded state refer to [Heyninck et al. 2021] for further information

Author:

Jonas Schumacher

Field Summary

Fields

Modifier and Type	Field	Description
static Collection<FourValuedWorld>	allPossibleWorlds	all possible wworlds

Constructor Summary

Constructors

Constructor	Description
CADFSemantics()

Method Summary

Modifier and Type	Method	Description
static Collection<FourValuedWorld>	gammaOperator(ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas, PlSignature sig, FourValuedWorld worldInput)	Implementation of the gamma operator: calculate a new set of (output) interpretations given a cADF and an (input) interpretation
static Collection<FourValuedWorld>	gammaPrimeOperator(Collection<FourValuedWorld> inputCollection, ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas, PlSignature sig)	Implementation of the Gamma Prime Operator: Calculate the union of the Gamma Operator of all input worlds and then reduce those worlds to the least informative ones
static boolean	isAdmissible(FourValuedWorld inputWorld, Collection<FourValuedWorld> outputWorlds)	Check whether a given world constitutes an admissible interpretation
static boolean	isComplete(FourValuedWorld inputWorld, Collection<FourValuedWorld> outputWorlds, ArrayList<PlFormula> statementFormulas, ArrayList<PlFormula> acceptanceFormulas)	Check whether a given world constitutes a complete interpretation
static void	main(String[] args)	Input an ADF, calculate all possible 4-valued interpretations, apply the gamma operator Check whether the interpretations are admissible, complete, grounded, preferred or 2-valued

Methods inherited from class java.lang.Object

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

Field Details

allPossibleWorlds

public static Collection<FourValuedWorld> allPossibleWorlds

all possible wworlds

Constructor Details

CADFSemantics

public CADFSemantics()

Method Details

gammaOperator

public static Collection<FourValuedWorld> gammaOperator(ArrayList<PlFormula> statementFormulas,
 ArrayList<PlFormula> acceptanceFormulas,
 PlSignature sig,
 FourValuedWorld worldInput)

Implementation of the gamma operator: calculate a new set of (output) interpretations given a cADF and an (input) interpretation

Parameters:

statementFormulas - statement Formulas

acceptanceFormulas - acceptance formulas

sig - signature

worldInput - input world

Returns:

a collection of worlds

gammaPrimeOperator

public static Collection<FourValuedWorld> gammaPrimeOperator(Collection<FourValuedWorld> inputCollection,
 ArrayList<PlFormula> statementFormulas,
 ArrayList<PlFormula> acceptanceFormulas,
 PlSignature sig)

Implementation of the Gamma Prime Operator: Calculate the union of the Gamma Operator of all input worlds and then reduce those worlds to the least informative ones

Parameters:

inputCollection - iput

statementFormulas - statement Formulas

acceptanceFormulas - acceptance Formulas

sig - signature

Returns:

worlds

isAdmissible

public static boolean isAdmissible(FourValuedWorld inputWorld,
 Collection<FourValuedWorld> outputWorlds)

Check whether a given world constitutes an admissible interpretation

Parameters:

inputWorld - inputWorld

outputWorlds - outputWorlds

Returns:

whether the worlds are admissible

isComplete

public static boolean isComplete(FourValuedWorld inputWorld,
 Collection<FourValuedWorld> outputWorlds,
 ArrayList<PlFormula> statementFormulas,
 ArrayList<PlFormula> acceptanceFormulas)

Check whether a given world constitutes a complete interpretation

Parameters:

inputWorld - inputWorld

outputWorlds - outputWorlds

statementFormulas - statementFormulas

acceptanceFormulas - cceptanceFormulas

Returns:

whether the worlds are complete

main

public static void main(String[] args)

Input an ADF, calculate all possible 4-valued interpretations, apply the gamma operator Check whether the interpretations are admissible, complete, grounded, preferred or 2-valued

Parameters:

args - arguments