Package net.sf.tweety.logics.ml.reasoner
Class SimpleMlReasoner
- java.lang.Object
-
- net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner
-
- net.sf.tweety.logics.ml.reasoner.SimpleMlReasoner
-
- All Implemented Interfaces:
QualitativeReasoner<MlBeliefSet,FolFormula>
,Reasoner<java.lang.Boolean,MlBeliefSet,FolFormula>
public class SimpleMlReasoner extends AbstractMlReasoner
This class implements inference for modal logic using a brute-force approach. A query, i.e. a formula in modal logic, can be inferred by a knowledge base, iff every Kripke model of the knowledge base is also a Kripke model of the query.- Author:
- Anna Gessler, Matthias Thimm
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner
defaultReasoner
-
-
Constructor Summary
Constructors Constructor Description SimpleMlReasoner()
-
Method Summary
Modifier and Type Method Description java.lang.Boolean
query(MlBeliefSet mbs, FolFormula formula)
Queries the given belief base for the given formula.-
Methods inherited from class net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner
getDefaultReasoner, setDefaultReasoner
-
-
-
-
Method Detail
-
query
public java.lang.Boolean query(MlBeliefSet mbs, FolFormula formula)
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<MlBeliefSet,FolFormula>
- Specified by:
query
in interfaceReasoner<java.lang.Boolean,MlBeliefSet,FolFormula>
- Specified by:
query
in classAbstractMlReasoner
- Parameters:
mbs
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
-