Uses of Interface
org.tweetyproject.commons.QuantitativeReasoner

Packages that use QuantitativeReasoner

Package	Description
org.tweetyproject.arg.deductive.reasoner
org.tweetyproject.arg.prob.reasoner
org.tweetyproject.arg.social.reasoner
org.tweetyproject.logics.mln.reasoner
org.tweetyproject.logics.pcl.reasoner
org.tweetyproject.logics.rpcl.reasoner

Uses of QuantitativeReasoner in org.tweetyproject.arg.deductive.reasoner

Classes in org.tweetyproject.arg.deductive.reasoner that implement QuantitativeReasoner

Modifier and Type	Class	Description
class	AbstractDeductiveArgumentationReasoner	This class contains common characteristics for deductive argumentation reasoner.
class	CompilationReasoner	This class implements the approach of knowledge base compilation as proposed in Philippe Besnard and Anthony Hunter.
class	SimpleDeductiveReasoner	This class implements a brute force approach to deductive argumentation.

Uses of QuantitativeReasoner in org.tweetyproject.arg.prob.reasoner

Classes in org.tweetyproject.arg.prob.reasoner that implement QuantitativeReasoner

Modifier and Type	Class	Description
class	AbstractPafReasoner	Abstract anecestor for PAF reasoner.
class	MonteCarloPafReasoner	This class implements the Monte Carlo algorithm for estimating probabilities of extensions in probabilistic argumentation frameworks from [Li, Oren, Norman.
class	SimplePafReasoner	This class implements a naive algorithm for computing probabilities of extensions in probabilistic argumentation frameworks from [Li, Oren, Norman.

Uses of QuantitativeReasoner in org.tweetyproject.arg.social.reasoner

Classes in org.tweetyproject.arg.social.reasoner that implement QuantitativeReasoner

Modifier and Type	Class	Description
class	IssReasoner	This reasoner provides is an implementation of the "Iterative Successive Substitution Algorithm" from [Marco Correia and Jorge Cruz and João Leite.

Uses of QuantitativeReasoner in org.tweetyproject.logics.mln.reasoner

Classes in org.tweetyproject.logics.mln.reasoner that implement QuantitativeReasoner

Modifier and Type	Class	Description
class	AbstractMlnReasoner	This class provides common methods for MLN reasoner.
class	AlchemyMlnReasoner	This class implements a wrapper for Alchemy in order to reason with MLNs.
class	ApproximateNaiveMlnReasoner	This reasoner performs approximate reasoning with MLNs by considering only a subset of all Herbrand interpretations.
class	IteratingMlnReasoner	This MLN reasoner takes another MLN reasoner and performs several iterations with this one and takes the average result as result.
class	SimpleMlnReasoner	This class implements a simple reasoner for MLNs.
class	SimpleSamplingMlnReasoner	This MLN reasoner employs simple random sampling from the set of interpretations to compute the probability of a formula.

Uses of QuantitativeReasoner in org.tweetyproject.logics.pcl.reasoner

Classes in org.tweetyproject.logics.pcl.reasoner that implement QuantitativeReasoner

Modifier and Type	Class	Description
class	AbstractPclReasoner	Abstract class for all PCL reasoners.
class	DefaultMeReasoner	This class implements a maximum entropy reasoner for probabilistic conditional logic.
class	GeneralizedMeReasoner	This class implements a generalized maximum entropy reasoner for probabilistic conditional logic as proposed in [Potyka, Thimm, 2014] which also works for inconsistent belief sets.

Uses of QuantitativeReasoner in org.tweetyproject.logics.rpcl.reasoner

Classes in org.tweetyproject.logics.rpcl.reasoner that implement QuantitativeReasoner

Modifier and Type	Class	Description
class	RpclMeReasoner	General ME-reasoner for RPCL.