Package org.tweetyproject.logics.translators.adfconditional
package org.tweetyproject.logics.translators.adfconditional
-
ClassDescriptionThis 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.This class represents an implementation of example 4, 5 and 6 from the paper [Heyninck et al.This class models a four-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the four truth values: TRUE, FALSE, UNDECIDED, INCONSISTENTTruth valuesThis class iterates over all 4-valued interpretations of a given signature.Similar to the ThreeValuedBitSet but with arbitrary values allowed Can be used for 4-valued interpretations but also for anything above that!This class models a three-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the three truth values: TRUE, FALSE, UNDECIDED.The three truth values.