MleanCoPReasoner (Tweety (Modal Logic Library) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner
- - net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner

All Implemented Interfaces:

net.sf.tweety.commons.QualitativeReasoner<MlBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.Reasoner<Boolean,MlBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>
```
public class MleanCoPReasoner
extends AbstractMlReasoner
```
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).

Author:

Anna Gessler, Matthias Thimm

Field Summary
- Fields inherited from class net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner
  defaultReasoner

Constructor Summary

Constructors
Constructor	Description
`MleanCoPReasoner(String location)`	Constructs a new instance pointing to a specific MleanCoProver.
`MleanCoPReasoner(String location, net.sf.tweety.commons.util.Shell bash)`	Constructs a new instance pointing to a specific MleanCoProver.

Method Summary

Modifier and Type	Method	Description
`String`	`getScriptLocation()`	Get the mleancop.sh path.
`Boolean`	`query(MlBeliefSet beliefbase, net.sf.tweety.logics.fol.syntax.FolFormula formula)`
`void`	`setScriptLocation(String location)`	Set the mleancop.sh path.

Methods inherited from class net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner
getDefaultReasoner, setDefaultReasoner

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - MleanCoPReasoner
```
public MleanCoPReasoner(String location,
                        net.sf.tweety.commons.util.Shell bash)
```
    Constructs a new instance pointing to a specific MleanCoProver.
    
    Parameters:
    
    location - mleancop.sh path on the hard drive
    
    bash - shell to run commands
  - MleanCoPReasoner
```
public MleanCoPReasoner(String location)
```
    Constructs a new instance pointing to a specific MleanCoProver.
    
    Parameters:
    
    location - mleancop.sh path on the hard drive
- Method Detail
  - getScriptLocation
```
public String getScriptLocation()
```
    Get the mleancop.sh path.
    
    Returns:
    
    location of MleanCOP shell script
  - setScriptLocation
```
public void setScriptLocation(String location)
```
    Set the mleancop.sh path.
    
    Parameters:
    
    location - of MleanCOP shell script
  - query
```
public Boolean query(MlBeliefSet beliefbase,
                     net.sf.tweety.logics.fol.syntax.FolFormula formula)
```
    Specified by:
    
    query in interface net.sf.tweety.commons.QualitativeReasoner<MlBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>
    
    Specified by:
    
    query in interface net.sf.tweety.commons.Reasoner<Boolean,MlBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>
    
    Specified by:
    
    query in class AbstractMlReasoner