Package org.tweetyproject.logics.commons.analysis
package org.tweetyproject.logics.commons.analysis

ClassDescriptionAbstractBeliefSetConsistencyTester<T extends Formula>Classes extending this abstract class are capable of testing whether a given belief set is consistent.AbstractMusEnumerator<S extends Formula>Abstract implementation for MUes enumerators.BeliefSetConsistencyTester<T extends Formula>Classes extending this abstract class are capable of testing whether a given belief set is consistent.BeliefSetInconsistencyMeasure<S extends Formula>Classes extending this abstract class represent inconsistency measures on belief sets.CcInconsistencyMeasure<S extends Formula>This class implements the inconsistency measure I_CC from [Said Jabbour and Yue Ma and Badran Raddaoui.ConsistencyTester<T extends BeliefBase>Classes implementing this interface are capable of testing whether a given belief base is consistent.Provides methods for returning some model (if it exists) of a set of formulas.CspInconsistencyMeasure<S extends Formula>This class implements the inconsistency measure I_CSP from [Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.Classes implementing this interface represent culpability measures, i.e.DfInconsistencyMeasure<S extends Formula>This class implements the family of "Measures of the Degree of Inconsistency" from [Mu,Liu,Jin, Bell.This class implements the dhit inconsistency measure from [Grant, Hunter.This class implements the dmax inconsistency measure from [Grant, Hunter.DrasticInconsistencyMeasure<S extends Formula>This class models the drastic inconsistency measure.This class implements the dsum inconsistency measure from [Grant, Hunter.This class implements the Etainconsistency measure, cf.This class implements the Hitting Set inconsistency measure as proposed in [Thimm, 2014, in preparation].InconsistencyMeasure<T extends BeliefBase>Classes implementing this interface represent inconsistency measures on belief bases.This class provides functionality to quickly load or generate sample datasets and to use them to compare the results and performances of different inconsistency measure implementations.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.This class represents the results the result of a call to an inconsistency measure with a knowledge base, i.e.Enum representing the status of an
InconsistencyMeasureResult
.InterpolantEnumerator<S extends Formula>Interface for classes enumerating (Craig) interpolants.IsInconsistencyMeasure<S extends Formula>This class implements the inconsistency measure I_CSP from [Said Jabbour.MaInconsistencyMeasure<S extends Formula>This class models the I_M inconsistency measure from e.g.McscInconsistencyMeasure<S extends Formula>This class implements the approach of [Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha.MicInconsistencyMeasure<S extends Formula>This class models the MI^C inconsistency measure.MiInconsistencyMeasure<S extends Formula>This class models the MI inconsistency measure.MusEnumerator<S extends Formula>Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).NaiveMusEnumerator<S extends Formula>A simple approach to compute minimal inconsistent subsets and maximal consistent subsets by exhaustive search.NConsInconsistencyMeasure<S extends Formula>This class implements an inconsistency measure based on "nconsistency" proposed in [Doder,Raskovic,Markovic,Ognjanovic.NormalizedMicInconsistencyMeasure<S extends Formula>This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm].NormalizedMiInconsistencyMeasure<S extends Formula>This class models the normalized MI inconsistency measure, see [PhD thesis, Thimm].PrInconsistencyMeasure<S extends Formula>This class models the P inconsistency measure from e.g.This class implements the Shapley culpability measure.