Package net.sf.tweety.logics.pl.reasoner
Class SatReasoner
- java.lang.Object
-
- net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner
-
- net.sf.tweety.logics.pl.reasoner.SatReasoner
-
- All Implemented Interfaces:
KernelProvider<PlFormula>
,QualitativeReasoner<PlBeliefSet,PlFormula>
,Reasoner<java.lang.Boolean,PlBeliefSet,PlFormula>
public class SatReasoner extends AbstractPlReasoner
Uses the default SAT reasoner to perform reasoning in propositional logic- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description SatReasoner()
-
Method Summary
Modifier and Type Method Description java.lang.Boolean
query(PlBeliefSet beliefbase, PlFormula formula)
Queries the given belief base for the given formula.-
Methods inherited from class net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner
getKernels, isEquivalent, query
-
-
-
-
Method Detail
-
query
public java.lang.Boolean query(PlBeliefSet beliefbase, PlFormula formula)
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<PlBeliefSet,PlFormula>
- Specified by:
query
in interfaceReasoner<java.lang.Boolean,PlBeliefSet,PlFormula>
- Specified by:
query
in classAbstractPlReasoner
- Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
-