Package org.tweetyproject.logics.ml.reasoner

Class SimpleMlReasoner

java.lang.Object

org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner

org.tweetyproject.logics.ml.reasoner.SimpleMlReasoner

All Implemented Interfaces:

QualitativeReasoner<MlBeliefSet,FolFormula>, Reasoner<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 org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner

defaultReasoner

Constructor Summary

Constructors

Constructor	Description
SimpleMlReasoner()

Method Summary

Modifier and Type	Method	Description
boolean	isInstalled()
Boolean	query(MlBeliefSet mbs, FolFormula formula)	Queries the given belief base for the given formula.

Methods inherited from class org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner

getDefaultReasoner, setDefaultReasoner

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SimpleMlReasoner

public SimpleMlReasoner()

Method Details

query

public Boolean query(MlBeliefSet mbs,
 FolFormula formula)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface QualitativeReasoner<MlBeliefSet,FolFormula>

Specified by:

query in interface Reasoner<Boolean,MlBeliefSet,FolFormula>

Specified by:

query in class AbstractMlReasoner

Parameters:

mbs - a belief base

formula - a formula

Returns:

the answer to the query

isInstalled

public boolean isInstalled()

Returns:

if the solver is installed