net.sf.tweety.logics.fol.prover

Class Prover9

java.lang.Object

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

net.sf.tweety.logics.fol.prover.Prover9

public class Prover9
extends FolTheoremProver

Invokes Prover9 (https://www.cs.unm.edu/~mccune/mace4/) and returns its results.

Author:

Nils Geilen

Field Summary

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

defaultProver

Constructor Summary

Constructors

Constructor and Description
Prover9(String binaryLocation) Constructs a new instance pointing to a specific prover9
Prover9(String binaryLocation, net.sf.tweety.commons.util.Shell bash) Constructs a new instance pointing to a specific prover 9

Method Summary

Modifier and Type	Method and Description
boolean	equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
String	getBinaryLocation() returns the path of the provers binary
boolean	query(FolBeliefSet kb, FolFormula query) This method determines the answer of the given query wrt.
void	setBinaryLocation(String binaryLocation) Change path of the binary

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

Prover9

public Prover9(String binaryLocation,
               net.sf.tweety.commons.util.Shell bash)

Constructs a new instance pointing to a specific prover 9

Parameters:

binaryLocation - of the prover9 executable on the hard drive

bash - shell to run commands

Prover9

public Prover9(String binaryLocation)

Constructs a new instance pointing to a specific prover9

Parameters:

binaryLocation - of the prover9 executable on the hard drive

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

getBinaryLocation

public String getBinaryLocation()

returns the path of the provers binary

Returns:

the path of the provers binary

setBinaryLocation

public void setBinaryLocation(String binaryLocation)

Change path of the binary

Parameters:

binaryLocation - the new path of the binary