Class NaiveQbfReasoner
- java.lang.Object
-
- net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner
-
- net.sf.tweety.logics.qbf.reasoner.NaiveQbfReasoner
-
- All Implemented Interfaces:
KernelProvider<PlFormula>
,QualitativeReasoner<PlBeliefSet,PlFormula>
,Reasoner<java.lang.Boolean,PlBeliefSet,PlFormula>
public class NaiveQbfReasoner extends AbstractPlReasoner
Naive classical inference for quantified boolean formulas (checks all interpretations for satisfiability).- Author:
- Anna Gessler, Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description NaiveQbfReasoner()
-
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
-
-