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

Modifier and Type	Field and Description
private Shell	bash Shell to run prover9
private java.lang.String	binaryLocation String representation of the prover9 binary path, directory, where the temporary files are stored

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

defaultProver

Constructor Summary

Constructors

Constructor and Description
Prover9(java.lang.String binaryLocation) Constructs a new instance pointing to a specific prover9
Prover9(java.lang.String binaryLocation, 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)
private boolean	eval(java.io.File file) invokes prover9
java.lang.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(java.lang.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

Field Detail

binaryLocation

private java.lang.String binaryLocation

String representation of the prover9 binary path, directory, where the temporary files are stored

bash

private Shell bash

Shell to run prover9

Constructor Detail

Prover9

public Prover9(java.lang.String binaryLocation,
               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(java.lang.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

eval

private boolean eval(java.io.File file)
              throws java.lang.Exception

invokes prover9

Parameters:

file - input fle for prover9

Returns:

query result

Throws:

java.lang.Exception

getBinaryLocation

public java.lang.String getBinaryLocation()

returns the path of the provers binary

Returns:

the path of the provers binary

setBinaryLocation

public void setBinaryLocation(java.lang.String binaryLocation)

Change path of the binary

Parameters:

binaryLocation - the new path of the binary