Package net.sf.tweety.logics.commons.analysis

Interface Summary

Interface	Description
BeliefSetConsistencyTester<T extends Formula>	Classes extending this abstract class are capable of testing whether a given belief set is consistent.
ConsistencyTester<T extends BeliefBase>	Classes implementing this interface are capable of testing whether a given belief base is consistent.
ConsistencyWitnessProvider<B extends BeliefBase,S extends Formula>	Provides methods for returning some model (if it exists) of a set of formulas.
CulpabilityMeasure<S extends Formula,T extends BeliefSet<S,?>>	Classes implementing this interface represent culpability measures, i.e.
InconsistencyMeasure<T extends BeliefBase>	Classes implementing this interface represent inconsistency measures on belief bases.
InterpolantEnumerator<S extends Formula>	Interface for classes enumerating (Craig) interpolants.
MusEnumerator<S extends Formula>	Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).

Class Summary

Class	Description
AbstractBeliefSetConsistencyTester<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.
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.
CspInconsistencyMeasure<S extends Formula>	This class implements the inconsistency measure I_CSP from [Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.
DfInconsistencyMeasure<S extends Formula>	This class implements the family of "Measures of the Degree of Inconsistency" from [Mu,Liu,Jin, Bell.
DHitInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class implements the d-hit inconsistency measure from [Grant, Hunter.
DMaxInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class implements the d-max inconsistency measure from [Grant, Hunter.
DrasticInconsistencyMeasure<S extends Formula>	This class models the drastic inconsistency measure.
DSumInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class implements the d-sum inconsistency measure from [Grant, Hunter.
EtaInconsistencyMeasure<B extends BeliefBase,S extends Formula>	This class implements the Eta-inconsistency measure, cf.
HsInconsistencyMeasure<B extends BeliefBase,S extends Formula>	This class implements the Hitting Set inconsistency measure as proposed in [Thimm, 2014, in preparation].
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.
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 "n-consistency" 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.
ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S,?>>	This class implements the Shapley culpability measure.