Package org.tweetyproject.commons.postulates

package org.tweetyproject.commons.postulates

Related Packages

Package	Description
org.tweetyproject.commons
org.tweetyproject.commons.analysis
org.tweetyproject.commons.examples
org.tweetyproject.commons.streams
org.tweetyproject.commons.util

Class	Description
Postulate<S extends Formula>	Models a general (rationality) postulate, i.e.
PostulateEvaluatable<S extends Formula>	Classes implementing this interface can be evaluated wrt.
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.