Package net.sf.tweety.arg.adf.reasoner
Class AdmissibleInterpretationReasoner
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
-
- net.sf.tweety.arg.adf.reasoner.AdmissibleInterpretationReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
,QualitativeReasoner<AbstractDialecticalFramework,Argument>
,Reasoner<java.lang.Boolean,AbstractDialecticalFramework,Argument>
public class AdmissibleInterpretationReasoner extends AbstractDialecticalFrameworkReasoner
-
-
Field Summary
Fields Modifier and Type Field Description private IncrementalSatSolver
solver
-
Constructor Summary
Constructors Constructor Description AdmissibleInterpretationReasoner(IncrementalSatSolver solver)
Creates a new reasoner.
-
Method Summary
Modifier and Type Method Description private Interpretation
existsAdm(AbstractDialecticalFramework adf, Interpretation interpretation, SatSolverState state, SatEncoding enc)
Interpretation
getModel(AbstractDialecticalFramework adf)
Returns a single (dedicated) model of the given belief base.java.util.Collection<Interpretation>
getModels(AbstractDialecticalFramework adf)
Returns a characterizing model of the given belief base-
Methods inherited from class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
query, query
-
-
-
-
Field Detail
-
solver
private IncrementalSatSolver solver
-
-
Constructor Detail
-
AdmissibleInterpretationReasoner
public AdmissibleInterpretationReasoner(IncrementalSatSolver solver)
Creates a new reasoner.- Parameters:
solver
- an incremental SAT solver
-
-
Method Detail
-
getModels
public java.util.Collection<Interpretation> getModels(AbstractDialecticalFramework adf)
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Specified by:
getModels
in interfaceModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
- Specified by:
getModels
in classAbstractDialecticalFrameworkReasoner
- Parameters:
adf
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public Interpretation getModel(AbstractDialecticalFramework adf)
Description copied from interface:ModelProvider
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.- Specified by:
getModel
in interfaceModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
- Specified by:
getModel
in classAbstractDialecticalFrameworkReasoner
- Parameters:
adf
- some belief base- Returns:
- a selected model of the belief base.
-
existsAdm
private Interpretation existsAdm(AbstractDialecticalFramework adf, Interpretation interpretation, SatSolverState state, SatEncoding enc)
-
-