Package net.sf.tweety.logics.pl.reasoner
Class AbstractPlReasoner
- java.lang.Object
-
- net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner
-
- All Implemented Interfaces:
KernelProvider<PlFormula>
,QualitativeReasoner<PlBeliefSet,PlFormula>
,Reasoner<java.lang.Boolean,PlBeliefSet,PlFormula>
- Direct Known Subclasses:
NaiveQbfReasoner
,SatReasoner
,SimplePlReasoner
public abstract class AbstractPlReasoner extends java.lang.Object implements QualitativeReasoner<PlBeliefSet,PlFormula>, KernelProvider<PlFormula>
Abstract class for propositional logic reasoners.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description AbstractPlReasoner()
-
Method Summary
Modifier and Type Method Description java.util.Collection<java.util.Collection<PlFormula>>
getKernels(java.util.Collection<PlFormula> formulas, PlFormula formula)
Retrieves the set of kernels for the given formula from the given set of formulas.boolean
isEquivalent(PlFormula p1, PlFormula p2)
Checks whether the two formulas are equivalentabstract java.lang.Boolean
query(PlBeliefSet beliefbase, PlFormula formula)
Queries the given belief base for the given formula.boolean
query(PlFormula formula, PlFormula formula2)
Checks whether the first formula entails the second.
-
-
-
Method Detail
-
query
public abstract 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>
- Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
query
public boolean query(PlFormula formula, PlFormula formula2)
Checks whether the first formula entails the second.- Parameters:
formula
- some formulaformula2
- a formula- Returns:
- true if the second formula is entailed be the first formula.
-
isEquivalent
public boolean isEquivalent(PlFormula p1, PlFormula p2)
Checks whether the two formulas are equivalent- Parameters:
p1
- a formulap2
- a formula- Returns:
- true iff the two formulas are equivalent
-
getKernels
public java.util.Collection<java.util.Collection<PlFormula>> getKernels(java.util.Collection<PlFormula> formulas, PlFormula formula)
Description copied from interface:KernelProvider
Retrieves the set of kernels for the given formula from the given set of formulas.- Specified by:
getKernels
in interfaceKernelProvider<PlFormula>
- Parameters:
formulas
- a set of formulas.formula
- a formula.- Returns:
- the collection of kernels
-
-