Package net.sf.tweety.arg.adf.reasoner
Class SatModelReasoner
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
-
- net.sf.tweety.arg.adf.reasoner.SatModelReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
,QualitativeReasoner<AbstractDialecticalFramework,Argument>
,Reasoner<java.lang.Boolean,AbstractDialecticalFramework,Argument>
public class SatModelReasoner extends AbstractDialecticalFrameworkReasoner
- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description SatModelReasoner(SatSolver solver)
-
Method Summary
Modifier and Type Method Description Interpretation
getModel(AbstractDialecticalFramework bbase)
Returns a single (dedicated) model of the given belief base.java.util.Collection<Interpretation>
getModels(AbstractDialecticalFramework bbase)
Returns a characterizing model of the given belief basePlBeliefSet
getPropositionalCharacterisation(AbstractDialecticalFramework aaf, Cache<Argument,PlFormula> cache)
returns a propositional characterisation of the reasoning problem-
Methods inherited from class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
query, query
-
-
-
-
Field Detail
-
solver
private SatSolver solver
A SAT solver
-
-
Constructor Detail
-
SatModelReasoner
public SatModelReasoner(SatSolver solver)
-
-
Method Detail
-
getModels
public java.util.Collection<Interpretation> getModels(AbstractDialecticalFramework bbase)
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:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public Interpretation getModel(AbstractDialecticalFramework bbase)
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:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
getPropositionalCharacterisation
public PlBeliefSet getPropositionalCharacterisation(AbstractDialecticalFramework aaf, Cache<Argument,PlFormula> cache)
returns a propositional characterisation of the reasoning problem- Parameters:
aaf
- some ADFcache
- the cache- Returns:
- The propositional encoding of the model semantics.
-
-