Class MleanCoPReasoner
java.lang.Object
org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner
org.tweetyproject.logics.ml.reasoner.MleanCoPReasoner
- All Implemented Interfaces:
QualitativeReasoner<MlBeliefSet,FolFormula>
,Reasoner<Boolean,MlBeliefSet,FolFormula>
Invokes MleanCoP (http://www.leancop.de/mleancop/), a compact automated theorem prover
for modal first-order logic based on the clausal connection calculus. It checks whether a given formula is valid.
NOTE: Make sure to set the PROVER_PATH variable in the mleancop.sh script to the location of the mleancop files (= the Prolog files).
NOTE: Make sure to set the PROVER_PATH variable in the mleancop.sh script to the location of the mleancop files (= the Prolog files).
- Author:
- Anna Gessler, Matthias Thimm
-
Field Summary
Fields inherited from class org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner
defaultReasoner
-
Constructor Summary
ConstructorDescriptionMleanCoPReasoner(String location)
Constructs a new instance pointing to a specific MleanCoProver.MleanCoPReasoner(String location, Shell bash)
Constructs a new instance pointing to a specific MleanCoProver. -
Method Summary
Modifier and TypeMethodDescriptionGet the mleancop.sh path.query(MlBeliefSet beliefbase, FolFormula formula)
Queries the given belief base for the given formula.void
setScriptLocation(String location)
Set the mleancop.sh path.Methods inherited from class org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner
getDefaultReasoner, setDefaultReasoner
-
Constructor Details
-
MleanCoPReasoner
Constructs a new instance pointing to a specific MleanCoProver.- Parameters:
location
- mleancop.sh path on the hard drivebash
- shell to run commands
-
MleanCoPReasoner
Constructs a new instance pointing to a specific MleanCoProver.- Parameters:
location
- mleancop.sh path on the hard drive
-
-
Method Details
-
getScriptLocation
Get the mleancop.sh path.- Returns:
- location of MleanCOP shell script
-
setScriptLocation
Set the mleancop.sh path.- Parameters:
location
- of MleanCOP shell script
-
query
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<MlBeliefSet,FolFormula>
- Specified by:
query
in interfaceReasoner<Boolean,MlBeliefSet,FolFormula>
- Specified by:
query
in classAbstractMlReasoner
- Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-