Uses of Interface
net.sf.tweety.commons.postulates.PostulateEvaluatable
-
-
-
Uses of PostulateEvaluatable in net.sf.tweety.arg.rankings.postulates
Methods in net.sf.tweety.arg.rankings.postulates with parameters of type PostulateEvaluatable Modifier and Type Method Description boolean
RankingPostulate. isSatisfied(java.util.Collection<Argument> kb, PostulateEvaluatable<Argument> ev)
-
Uses of PostulateEvaluatable in net.sf.tweety.arg.rankings.reasoner
Classes in net.sf.tweety.arg.rankings.reasoner that implement PostulateEvaluatable Modifier and Type Class Description class
AbstractRankingReasoner<R extends ArgumentRanking>
Common abstract class for ranking reasoners for abstract argumentation.class
BurdenBasedRankingReasoner
This class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.class
CategorizerRankingReasoner
This class implements the "h-categorizer" argument ranking approach that was originally proposed by [Besnard, Hunter.class
CountingRankingReasoner
This class implements the argument ranking approach of [Pu, Zhang, G.Luo, J.Luo.class
DiscussionBasedRankingReasoner
This class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.class
IteratedGradedDefenseReasoner
This class implements the argument ranking approach of [Grossi, Modgil.class
MTRankingReasoner
This class implements the argument ranking approach of [Matt, Toni.class
PropagationRankingReasoner
This class implements the argument ranking approach of [Delobelle.class
SAFRankingReasoner
This class implements the ranking-based "SAF" semantics approach as proposed by [Bonzon, Delobelle, Konieczny, Maudet.class
TuplesRankingReasoner
This class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex. -
Uses of PostulateEvaluatable in net.sf.tweety.commons.postulates
Methods in net.sf.tweety.commons.postulates with parameters of type PostulateEvaluatable Modifier and Type Method Description boolean
Postulate. isSatisfied(java.util.Collection<S> kb, PostulateEvaluatable<S> ev)
Checks whether this postulate is satisfied by the given approachev
wrt.Constructors in net.sf.tweety.commons.postulates with parameters of type PostulateEvaluatable Constructor Description PostulateEvaluationReport(PostulateEvaluatable<S> ev, java.util.List<Postulate<S>> postulates)
Creates a new evaluation report for the given approach and set of postulatesPostulateEvaluator(BeliefSetIterator<T,U> iterator, PostulateEvaluatable<T> ev)
Creates a new evaluator for the given evaluatable and belief base generator.PostulateEvaluator(BeliefSetIterator<T,U> iterator, PostulateEvaluatable<T> ev, java.util.Collection<Postulate<T>> 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 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 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 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 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, Measuring Inconsistency with Many-Valued Logics.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. -
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 Description boolean
ImPostulate. isSatisfied(java.util.Collection<PlFormula> kb, PostulateEvaluatable<PlFormula> ev)
-