Package org.tweetyproject.logics.fol.reasoner

Class FolReasoner

java.lang.Object

org.tweetyproject.logics.fol.reasoner.FolReasoner

All Implemented Interfaces:

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

Direct Known Subclasses:

EFOLReasoner, Prover9FolReasoner, SimpleFolReasoner, SpassFolReasoner

public abstract class FolReasoner
extends java.lang.Object
implements QualitativeReasoner<FolBeliefSet,FolFormula>

Abstract FOL Prover to be implemented by concrete solvers

Author:

Bastian Wolf, Nils Geilen, Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
static FolReasoner	defaultReasoner	Empty default reasoner

Constructor Summary

Constructors

Constructor	Description
FolReasoner()

Method Summary

Modifier and Type	Method	Description
abstract boolean	equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)	This method determines whether two formulas are equivalent wrt.
static FolReasoner	getDefaultReasoner()	Returns the default theorem prover
abstract java.lang.Boolean	query(FolBeliefSet beliefbase, FolFormula formula)	Queries the given belief base for the given formula.
static void	setDefaultReasoner(FolReasoner reasoner)	Set default reasoner with given

Methods inherited from class java.lang.Object

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

Field Detail

defaultReasoner

public static FolReasoner defaultReasoner

Empty default reasoner

Constructor Detail

FolReasoner

public FolReasoner()

Method Detail

setDefaultReasoner

public static void setDefaultReasoner(FolReasoner reasoner)

Set default reasoner with given

Parameters:

reasoner - a FolReasoner

getDefaultReasoner

public static FolReasoner getDefaultReasoner()

Returns the default theorem prover

Returns:

the default theorem prover

equivalent

public abstract boolean equivalent(FolBeliefSet kb,
                                   FolFormula a,
                                   FolFormula b)

This method determines whether two formulas are equivalent wrt. to the given knowledge base.

Parameters:

kb - the knowledge base

a - the first formula.

b - the second formula.

Returns:

the answer to the query.

query

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

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface QualitativeReasoner<FolBeliefSet,FolFormula>

Specified by:

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

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query