Uses of Interface
net.sf.tweety.commons.postulates.PostulateEvaluatable

Packages that use PostulateEvaluatable

Package	Description
net.sf.tweety.commons.postulates
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.commons.analysis.streams
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.logics.pl.analysis
net.sf.tweety.logics.pl.postulates

Uses of PostulateEvaluatable in net.sf.tweety.commons.postulates

Fields in net.sf.tweety.commons.postulates declared as PostulateEvaluatable

Modifier and Type	Field and Description
private PostulateEvaluatable<S>	PostulateEvaluator.ev The approach being evaluated.
private PostulateEvaluatable<S>	PostulateEvaluationReport.ev The approach that is evaluated

Methods in net.sf.tweety.commons.postulates with parameters of type PostulateEvaluatable

Modifier and Type	Method and Description
boolean	Postulate.isSatisfied(java.util.Collection<S> kb, PostulateEvaluatable<S> ev) Checks whether this postulate is satisfied by the given approach ev wrt.

Constructors in net.sf.tweety.commons.postulates with parameters of type PostulateEvaluatable

Constructor and Description
PostulateEvaluationReport(PostulateEvaluatable<S> ev, java.util.List<Postulate<S>> postulates) Creates a new evaluation report for the given approach and set of postulates
PostulateEvaluator(BeliefSetIterator<S,T> iterator, PostulateEvaluatable<S> ev) Creates a new evaluator for the given evaluatable and belief base generator.
PostulateEvaluator(BeliefSetIterator<S,T> iterator, PostulateEvaluatable<S> ev, java.util.Collection<Postulate<S>> postulates) Creates a new evaluator for the given evaluatable and belief base generator.

Uses of PostulateEvaluatable in net.sf.tweety.logics.commons.analysis

Classes in net.sf.tweety.logics.commons.analysis that implement PostulateEvaluatable

Modifier and Type	Class and Description
class	BeliefSetInconsistencyMeasure<S extends Formula> Classes extending this abstract class represent inconsistency measures on belief sets.
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.

Uses of PostulateEvaluatable in net.sf.tweety.logics.commons.analysis.streams

Classes in net.sf.tweety.logics.commons.analysis.streams that implement PostulateEvaluatable

Modifier and Type	Class and 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 PostulateEvaluatable in net.sf.tweety.logics.pcl.analysis

Classes in net.sf.tweety.logics.pcl.analysis that implement PostulateEvaluatable

Modifier and Type	Class and 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 PostulateEvaluatable in net.sf.tweety.logics.pl.analysis

Classes in net.sf.tweety.logics.pl.analysis that implement PostulateEvaluatable

Modifier and Type	Class and Description
class	ContensionInconsistencyMeasure This class implements the contension inconsistency measure, cf.
class	FbInconsistencyMeasure Implements the forgetting-based inconsistency measure from [Besnard.
class	FuzzyInconsistencyMeasure This measure implements the approach presented in [Thimm, 2016, to appear].
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.

Uses of PostulateEvaluatable in net.sf.tweety.logics.pl.postulates

Methods in net.sf.tweety.logics.pl.postulates with parameters of type PostulateEvaluatable

Modifier and Type	Method and Description
boolean	AbstractImPostulate.isSatisfied(java.util.Collection<PropositionalFormula> kb, PostulateEvaluatable<PropositionalFormula> ev)