Package org.tweetyproject.logics.fol.reasoner

Class FolReasoner

java.lang.Object

org.tweetyproject.logics.fol.reasoner.FolReasoner

All Implemented Interfaces:

QualitativeReasoner<FolBeliefSet,FolFormula>, Reasoner<Boolean,FolBeliefSet,FolFormula>

Direct Known Subclasses:

EFOLReasoner, Prover9FolReasoner, SimpleFolReasoner, SpassFolReasoner

public abstract class FolReasoner
extends 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()	Deafult

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 Boolean	query(FolBeliefSet beliefbase, FolFormula formula)	Queries the given belief base with the provided formula and returns a boolean result.
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

Methods inherited from interface org.tweetyproject.commons.QualitativeReasoner

isInstalled

Field Details

defaultReasoner

public static FolReasoner defaultReasoner

Empty default reasoner

Constructor Details

FolReasoner

public FolReasoner()

Deafult

Method Details

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 Boolean query(FolBeliefSet beliefbase,
 FolFormula formula)

Description copied from interface: QualitativeReasoner

Queries the given belief base with the provided formula and returns a boolean result. The result indicates whether the formula is entailed or satisfied by the belief base according to the qualitative reasoning method implemented by the reasoner.

Specified by:

query in interface QualitativeReasoner<FolBeliefSet,FolFormula>

Specified by:

query in interface Reasoner<Boolean,FolBeliefSet,FolFormula>

Parameters:

beliefbase - The belief base to be queried.

formula - The formula for which the query is made.

Returns:

`TRUE` if the formula is entailed or satisfied by the belief base, `FALSE` otherwise.