net.sf.tweety.logics.fol.prover

Class NaiveProver

java.lang.Object

net.sf.tweety.logics.fol.prover.FolTheoremProver

net.sf.tweety.logics.fol.prover.NaiveProver

public class NaiveProver
extends FolTheoremProver

Uses a naive brute force search procedure for theorem proving.

Author:

Matthias Thimm

Field Summary

Fields inherited from class net.sf.tweety.logics.fol.prover.FolTheoremProver

defaultProver

Constructor Summary

Constructors

Constructor and Description
NaiveProver()

Method Summary

Modifier and Type	Method and Description
boolean	equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
boolean	query(FolBeliefSet kb, FolFormula query) This method determines the answer of the given query wrt.

Methods inherited from class net.sf.tweety.logics.fol.prover.FolTheoremProver

getDefaultProver, setDefaultProver

Methods inherited from class java.lang.Object

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

Constructor Detail

NaiveProver

public NaiveProver()

Method Detail

query

public boolean query(FolBeliefSet kb,
                     FolFormula query)

Description copied from class: FolTheoremProver

This method determines the answer of the given query wrt. to the given knowledge base.

Specified by:

query in class FolTheoremProver

Parameters:

kb - the knowledge base

query - a query.

Returns:

the answer to the query.

equivalent

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

Specified by:

equivalent in class FolTheoremProver