Uses of Class
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure

Packages that use BeliefSetInconsistencyMeasure

Package	Description
org.tweetyproject.logics.commons.analysis
org.tweetyproject.logics.commons.analysis.streams
org.tweetyproject.logics.pcl.analysis
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.postulates

Uses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.commons.analysis

Subclasses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.commons.analysis

Modifier and Type	Class	Description
class	CcInconsistencyMeasure<S extends Formula>	This class implements the inconsistency measure I_CC from [Said Jabbour and Yue Ma and Badran Raddaoui.
class	CspInconsistencyMeasure<S extends Formula>	This class implements the inconsistency measure I_CSP from [Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi.
class	DfInconsistencyMeasure<S extends Formula>	This class implements the family of "Measures of the Degree of Inconsistency" from [Mu,Liu,Jin, Bell.
class	DHitInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class implements the d-hit inconsistency measure from [Grant, Hunter.
class	DMaxInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class implements the d-max inconsistency measure from [Grant, Hunter.
class	DrasticInconsistencyMeasure<S extends Formula>	This class models the drastic inconsistency measure.
class	DSumInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class implements the d-sum inconsistency measure from [Grant, Hunter.
class	EtaInconsistencyMeasure<B extends BeliefBase,S extends Formula>	This class implements the Eta-inconsistency measure, cf.
class	HsInconsistencyMeasure<B extends BeliefBase,S extends Formula>	This class implements the Hitting Set inconsistency measure as proposed in [Thimm, 2014, in preparation].
class	IsInconsistencyMeasure<S extends Formula>	This class implements the inconsistency measure I_CSP from [Said Jabbour.
class	MaInconsistencyMeasure<S extends Formula>	This class models the I_M inconsistency measure from e.g.
class	McscInconsistencyMeasure<S extends Formula>	This class implements the approach of [Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha.
class	MicInconsistencyMeasure<S extends Formula>	This class models the MI^C inconsistency measure.
class	MiInconsistencyMeasure<S extends Formula>	This class models the MI inconsistency measure.
class	NConsInconsistencyMeasure<S extends Formula>	This class implements an inconsistency measure based on "n-consistency" proposed in [Doder,Raskovic,Markovic,Ognjanovic.
class	NormalizedMicInconsistencyMeasure<S extends Formula>	This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm].
class	NormalizedMiInconsistencyMeasure<S extends Formula>	This class models the normalized MI inconsistency measure, see [PhD thesis, Thimm].
class	PrInconsistencyMeasure<S extends Formula>	This class models the P inconsistency measure from e.g.

Methods in org.tweetyproject.logics.commons.analysis with parameters of type BeliefSetInconsistencyMeasure

Modifier and Type	Method	Description
void	InconsistencyMeasureEvaluator.addInconsistencyMeasure(BeliefSetInconsistencyMeasure<T> i)	Adds the given inconsistency measure.

Constructors in org.tweetyproject.logics.commons.analysis with parameters of type BeliefSetInconsistencyMeasure

Modifier	Constructor	Description
	InconsistencyMeasureEvaluator(Collection<U> dataset, BeliefSetInconsistencyMeasure<T> i)	Create a new InconsistencyMeasureEvaluator with the given dataset and the given inconsistency measure.
	InconsistencyMeasureEvaluator(BeliefSetInconsistencyMeasure<T> i)	Create a new InconsistencyMeasureEvaluator with the given inconsistency measure.
	ShapleyCulpabilityMeasure(BeliefSetInconsistencyMeasure<S> inconsistencyMeasure)	Creates a new Shapley culpability measure that bases on the given inconsistency measure.

Constructor parameters in org.tweetyproject.logics.commons.analysis with type arguments of type BeliefSetInconsistencyMeasure

Modifier	Constructor	Description
	InconsistencyMeasureEvaluator(Collection<BeliefSetInconsistencyMeasure<T>> measures)	Create a new InconsistencyMeasureEvaluator with the given inconsistency measures.

Uses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.commons.analysis.streams

Subclasses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.commons.analysis.streams

Modifier and Type	Class	Description
class	DefaultStreamBasedInconsistencyMeasure<S extends Formula>	Implements a stream-based inconsistency measure on a given class of inconsistency measurement processes.
class	StreamBasedInconsistencyMeasure<S extends Formula>	General interface for inconsistency measures working on streams.

Uses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.pcl.analysis

Subclasses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.pcl.analysis

Modifier and Type	Class	Description
class	DistanceMinimizationInconsistencyMeasure	This class models the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], extended by the use of different p-norms.
class	LowerApproxDistanceMinimizationInconsistencyMeasure	This class models an approximation from below to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
class	MinimalViolation2InconsistencyMeasure	This class models the minimal violation inconsistency measure for the 2-norm.
class	MinimalViolationInconsistencyMeasure	This class provides a general implementation for the minimal violation inconsistency measure, cf.
class	NormalizedDistanceMinimizationInconsistencyMeasure	This class models the normalized distance minimization inconsistency measure, see [PhD thesis, Thimm].
class	NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure	This class models a normalized approximation from below to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
class	NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure	This class models a normalized approximation from above to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
class	UpperApproxDistanceMinimizationInconsistencyMeasure	This class models an approximation from above to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].

Uses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.pl.analysis

Subclasses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.pl.analysis

Modifier and Type	Class	Description
class	CmdLineImSolver	Provides an interface to a command line based inconsistency measure analyzer
class	ContensionInconsistencyMeasure	This class implements the contension inconsistency measure, cf.
class	ContensionSatInconsistencyMeasure	This class implements a SAT encoding of the contension inconsistency measure, originally proposed in [Grant, Hunter.
class	DHitSatInconsistencyMeasure	This class presents a sat-encoding-based implementation of the hit-distance measure of [Grant and Hunter, “Analysing inconsistent information using distance-based measures” Int.
class	DMaxSatInconsistencyMeasure	This class presents a sat-encoding-based implementation of the max-distance measure of [Grant and Hunter, “Analysing inconsistent information using distance-based measures” Int.
class	DSumSatInconsistencyMeasure	This class presents a sat-encoding-based implementation of the sum-distance measure of [Grant and Hunter, “Analysing incThis measure seeks an interpretation I such that the the sum of the distances between every formula of the knowledge base and I is minimal.
class	FbInconsistencyMeasure	Implements the forgetting-based inconsistency measure from [Besnard.
class	FuzzyInconsistencyMeasure	This measure implements the approach presented in [Thimm, Measuring Inconsistency with Many-Valued Logics.
class	HsSatInconsistencyMeasure	This class implements a SAT encoding of the hitting set inconsistency measure, originally proposed in [Thimm.
class	IcebergInconsistencyMeasure	This class implements the inconsistency measures proposed in [De Bona, Hunter.
class	MusVarInconsistencyMeasure	This class implements the "MUS-variable based inconsistency measure" proposed in [Xiao,Ma.
class	PmInconsistencyMeasure	This class implements the inconsistency measure I_{P_m} proposed in [Jabbour, Raddaoui.
class	PrimeImplicantBasedInconsistencyMeasure	computes the inconsistency measure of the
class	SatBasedInconsistencyMeasure	A common base class for inconsistency measure implementations based on SAT encodings.

Uses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.pl.postulates

Methods in org.tweetyproject.logics.pl.postulates with parameters of type BeliefSetInconsistencyMeasure

Modifier and Type	Method	Description
boolean	ImAdjunctionInvariance.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImAttenuation.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImConsistency.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImContradiction.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImDominance.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImEqualConflict.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImExchange.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImFreeFormulaDilution.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImFreeFormulaIndependence.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImIrrelevanceOfSyntax.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImMINormalization.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImMISeparability.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImMonotony.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImNormalization.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImPenalty.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
abstract boolean	ImPostulate.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)	Return whether the formulas are satisfied
boolean	ImSafeFormulaIndependence.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImSuperAdditivity.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
boolean	ImWeakDominance.isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)