Package net.sf.tweety.commons

Interface ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>

Type Parameters:

S - the type of formulas

B - the type of belief bases

T - the type of interpretations

All Known Implementing Classes:

AbstractConditionalLogicReasoner, AbstractDialecticalFrameworkReasoner, AbstractExtensionReasoner, AbstractPclReasoner, AbstractRankingReasoner, AbstractSatExtensionReasoner, AdmissibleInterpretationReasoner, ASPSolver, BurdenBasedRankingReasoner, CategorizerRankingReasoner, ClingoSolver, CompleteReasoner, CReasoner, DefaultMeReasoner, DiscussionBasedRankingReasoner, DLVSolver, FlatABAReasoner, GeneralABAReasoner, GeneralizedMeReasoner, GrossiModgilRankingReasoner, IdealReasoner, IssReasoner, NaiveInterpretationReasoner, PreferredReasoner, ProbabilisticRankingReasoner, ProboReasoner, RpclMeReasoner, RuleBasedCReasoner, SAFRankingReasoner, SatCompleteReasoner, SatModelReasoner, SatStableReasoner, SimpleAdmissibleReasoner, SimpleCF2Reasoner, SimpleCompleteReasoner, SimpleConflictFreeReasoner, SimpleCReasoner, SimpleDefaultReasoner, SimpleGroundedReasoner, SimpleIdealReasoner, SimplePreferredReasoner, SimpleRelationalCReasoner, SimpleSccCompleteReasoner, SimpleSemiStableReasoner, SimpleStableReasoner, SimpleStageReasoner, StableReasoner, StratifiedLabelingReasoner, TuplesRankingReasoner, WellFoundedReasoner, ZReasoner

public interface ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>

Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method	Description
T	getModel(B bbase)	Returns a single (dedicated) model of the given belief base.
java.util.Collection<T>	getModels(B bbase)	Returns a characterizing model of the given belief base

Method Detail

getModels

java.util.Collection<T> getModels(B bbase)

Returns a characterizing model of the given belief base

Parameters:

bbase - some belief base

Returns:

the (selected) models of the belief base

getModel

T getModel(B bbase)

Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.

Parameters:

bbase - some belief base

Returns:

a selected model of the belief base.