Uses of Package
net.sf.tweety.logics.commons.analysis
-
-
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.action.description.analysis Class Description ConsistencyTester Classes implementing this interface are capable of testing whether a given belief base is consistent. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.arg.adf.sat Class Description BeliefSetConsistencyTester Classes extending this abstract class are capable of testing whether a given belief set is consistent.ConsistencyTester Classes implementing this interface are capable of testing whether a given belief base is consistent.ConsistencyWitnessProvider Provides methods for returning some model (if it exists) of a set of formulas. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.arg.prob.analysis Class Description InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.commons.analysis Class Description AbstractMusEnumerator Abstract implementation for MUes enumerators.BeliefSetConsistencyTester Classes extending this abstract class are capable of testing whether a given belief set is consistent.BeliefSetInconsistencyMeasure Classes extending this abstract class represent inconsistency measures on belief sets.ConsistencyTester Classes implementing this interface are capable of testing whether a given belief base is consistent.CulpabilityMeasure Classes implementing this interface represent culpability measures, i.e.InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases.MicInconsistencyMeasure This class models the MI^C inconsistency measure.MiInconsistencyMeasure This class models the MI inconsistency measure.MusEnumerator Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets). -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.commons.analysis.streams Class Description BeliefSetInconsistencyMeasure Classes extending this abstract class represent inconsistency measures on belief sets.InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.pcl.analysis Class Description AbstractBeliefSetConsistencyTester Classes extending this abstract class are capable of testing whether a given belief set is consistent.BeliefSetConsistencyTester Classes extending this abstract class are capable of testing whether a given belief set is consistent.BeliefSetInconsistencyMeasure Classes extending this abstract class represent inconsistency measures on belief sets.ConsistencyTester Classes implementing this interface are capable of testing whether a given belief base is consistent.CulpabilityMeasure Classes implementing this interface represent culpability measures, i.e.InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.pcl.reasoner Class Description BeliefSetInconsistencyMeasure Classes extending this abstract class represent inconsistency measures on belief sets. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.pcl.test Class Description InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.pl.analysis Class Description BeliefSetInconsistencyMeasure Classes extending this abstract class represent inconsistency measures on belief sets.ConsistencyWitnessProvider Provides methods for returning some model (if it exists) of a set of formulas.InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.pl.postulates Class Description BeliefSetInconsistencyMeasure Classes extending this abstract class represent inconsistency measures on belief sets. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.pl.sat Class Description AbstractMusEnumerator Abstract implementation for MUes enumerators.BeliefSetConsistencyTester Classes extending this abstract class are capable of testing whether a given belief set is consistent.ConsistencyTester Classes implementing this interface are capable of testing whether a given belief base is consistent.ConsistencyWitnessProvider Provides methods for returning some model (if it exists) of a set of formulas.MusEnumerator Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets). -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.pl.test Class Description CspInconsistencyMeasure This class implements the inconsistency measure I_CSP from [Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.logics.qbf.reasoner Class Description BeliefSetConsistencyTester Classes extending this abstract class are capable of testing whether a given belief set is consistent.ConsistencyTester Classes implementing this interface are capable of testing whether a given belief base is consistent. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.lp.asp.analysis Class Description InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases. -
Classes in net.sf.tweety.logics.commons.analysis used by net.sf.tweety.web.services Class Description AbstractMusEnumerator Abstract implementation for MUes enumerators.InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases.