Uses of Package
org.tweetyproject.logics.commons.analysis
-
-
Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.action.description.analysis Class Description ConsistencyTester Classes implementing this interface are capable of testing whether a given belief base is consistent. -
Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.arg.prob.analysis Class Description InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases. -
Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.logics.bpm.analysis Class Description InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases. -
Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.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.InconsistencyMeasureReport This class summarizes the results of computing inconsistency values for some collection of knowledge bases using some set of inconsistency measures, including computation times and some statistics.InconsistencyMeasureResult This class represents the results the result of a call to an inconsistency measure with a knowledge base, i.e.InconsistencyMeasureResult.Status Status of an InconsistencyMeasureResult: OK means that an inconsistency value has been computed.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 org.tweetyproject.logics.commons.analysis used by org.tweetyproject.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 org.tweetyproject.logics.commons.analysis used by org.tweetyproject.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 org.tweetyproject.logics.commons.analysis used by org.tweetyproject.logics.pl.analysis 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.InterpolantEnumerator Interface for classes enumerating (Craig) interpolants. -
Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.logics.pl.postulates Class Description BeliefSetInconsistencyMeasure Classes extending this abstract class represent inconsistency measures on belief sets. -
Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.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 org.tweetyproject.logics.commons.analysis used by org.tweetyproject.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 org.tweetyproject.logics.commons.analysis used by org.tweetyproject.lp.asp.analysis Class Description InconsistencyMeasure Classes implementing this interface represent inconsistency measures on belief bases. -
Classes in org.tweetyproject.logics.commons.analysis used by org.tweetyproject.web.services Class Description AbstractMusEnumerator Abstract implementation for MUes enumerators.