net.sf.tweety.logics.ml.reasoner

Class AbstractModalReasoner

java.lang.Object

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

All Implemented Interfaces:

net.sf.tweety.commons.QualitativeReasoner<ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.Reasoner<Boolean,ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

Direct Known Subclasses:

MleanCoPReasoner, SimpleModalReasoner, SPASSModalReasoner

public abstract class AbstractModalReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<ModalBeliefSet,net.sf.tweety.logics.fol.syntax.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 Boolean	query(ModalBeliefSet beliefbase, net.sf.tweety.logics.fol.syntax.FolFormula 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 Boolean query(ModalBeliefSet beliefbase,
                              net.sf.tweety.logics.fol.syntax.FolFormula formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,ModalBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>