Uses of Class
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure
Package
Description
-
Uses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.commons.analysis
Modifier and TypeClassDescriptionclass
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.Modifier and TypeMethodDescriptionvoid
InconsistencyMeasureEvaluator.addInconsistencyMeasure(BeliefSetInconsistencyMeasure<T> i)
Adds the given inconsistency measure.ModifierConstructorDescriptionInconsistencyMeasureEvaluator(Collection<U> dataset, BeliefSetInconsistencyMeasure<T> i)
Create a new InconsistencyMeasureEvaluator with the given dataset and the given inconsistency measure.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.ModifierConstructorDescriptionCreate a new InconsistencyMeasureEvaluator with the given inconsistency measures. -
Uses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.commons.analysis.streams
Modifier and TypeClassDescriptionclass
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
Modifier and TypeClassDescriptionclass
This class models the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], extended by the use of different p-norms.class
This class models an approximation from below to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].class
This class models the minimal violation inconsistency measure for the 2-norm.class
This class provides a general implementation for the minimal violation inconsistency measure, cf.class
This class models the normalized distance minimization inconsistency measure, see [PhD thesis, Thimm].class
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
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
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
Modifier and TypeClassDescriptionclass
This class implements the contension inconsistency measure, cf.class
This class implements a SAT encoding of the contension inconsistency measure, originally proposed in [Grant, Hunter.class
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
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
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
Implements the forgetting-based inconsistency measure from [Besnard.class
This measure implements the approach presented in [Thimm, Measuring Inconsistency with Many-Valued Logics.class
This class implements a SAT encoding of the hitting set inconsistency measure, originally proposed in [Thimm.class
This class implements the inconsistency measures proposed in [De Bona, Hunter.class
This class implements the "MUS-variable based inconsistency measure" proposed in [Xiao,Ma.class
This class implements the inconsistency measure I_{P_m} proposed in [Jabbour, Raddaoui.class
A common base class for inconsistency measure implementations based on SAT encodings. -
Uses of BeliefSetInconsistencyMeasure in org.tweetyproject.logics.pl.postulates
Modifier and TypeMethodDescriptionboolean
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)
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)