net.sf.tweety.logics.ml.reasoner

Class AbstractModalReasoner

java.lang.Object

net.sf.tweety.logics.ml.reasoner.AbstractModalReasoner

All Implemented Interfaces:

QualitativeReasoner<ModalBeliefSet,FolFormula>, Reasoner<java.lang.Boolean,ModalBeliefSet,FolFormula>

Direct Known Subclasses:

MleanCoPReasoner, NaiveModalReasoner, SPASSModalReasoner

public abstract class AbstractModalReasoner
extends java.lang.Object
implements QualitativeReasoner<ModalBeliefSet,FolFormula>

Abstract modal reasoner to be implemented by concrete reasoners.

Author:

Bastian Wolf, Nils Geilen, Anna Gessler, Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
static AbstractModalReasoner	defaultReasoner Empty default prover

Constructor Summary

Constructors

Constructor and Description
AbstractModalReasoner()

Method Summary

Modifier and Type	Method and Description
static AbstractModalReasoner	getDefaultReasoner() Returns the default reasoner for modal logic
abstract java.lang.Boolean	query(ModalBeliefSet beliefbase, FolFormula formula) Queries the given belief base for the given formula.
static void	setDefaultReasoner(AbstractModalReasoner reasoner) Set default modal reasoner with given

Methods inherited from class java.lang.Object

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

Field Detail

defaultReasoner

public static AbstractModalReasoner defaultReasoner

Empty default prover

Constructor Detail

AbstractModalReasoner

public AbstractModalReasoner()

Method Detail

setDefaultReasoner

public static void setDefaultReasoner(AbstractModalReasoner reasoner)

Set default modal reasoner with given

Parameters:

reasoner -

getDefaultReasoner

public static AbstractModalReasoner getDefaultReasoner()

Returns the default reasoner for modal logic

Returns:

the default modal reasoner

query

public abstract java.lang.Boolean query(ModalBeliefSet beliefbase,
                                        FolFormula formula)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface QualitativeReasoner<ModalBeliefSet,FolFormula>

Specified by:

query in interface Reasoner<java.lang.Boolean,ModalBeliefSet,FolFormula>

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query