Package net.sf.tweety.commons.postulates
-
Interface Summary Interface Description Postulate<S extends Formula> Models a general (rationality) postulate, i.e.PostulateEvaluatable<S extends Formula> Classes implementing this interface can be evaluated wrt. -
Class Summary Class Description PostulateEvaluationReport<S extends Formula> Summarises the results of a postulate evaluation.PostulateEvaluator<T extends Formula,U extends BeliefSet<T,?>> Evaluates some approach (reasoner, measure, etc.) wrt.