net.sf.tweety.lp.asp.reasoner

Class DLVSolver

java.lang.Object

net.sf.tweety.lp.asp.reasoner.ASPSolver

net.sf.tweety.lp.asp.reasoner.DLVSolver

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<ASPRule,Program,AnswerSet>, net.sf.tweety.commons.QualitativeReasoner<Program,ASPLiteral>, net.sf.tweety.commons.Reasoner<Boolean,Program,ASPLiteral>

public class DLVSolver
extends ASPSolver

Wrapper class for the DLV answer set solver command line utility.

Author:

Thomas Vengels, Tim Janus, Anna Gessler

Field Summary

Fields inherited from class net.sf.tweety.lp.asp.reasoner.ASPSolver

integerMaximum, maxNumOfModels, outputData

Constructor Summary

Constructors

Constructor and Description
DLVSolver(String pathToDLV) Constructs a new instance pointing to a specific DLV solver.
DLVSolver(String pathToDLV, net.sf.tweety.commons.util.Shell bash) Constructs a new instance pointing to a specific DLV solver.

Method Summary

Modifier and Type	Method and Description
AnswerSet	getModel(Program p)
List<AnswerSet>	getModels(File file) Returns a characterizing model (answer set) of the given belief base.
List<AnswerSet>	getModels(Program p)
List<AnswerSet>	getModels(String p) Returns a characterizing model (answer set) of the given belief base.
protected List<AnswerSet>	parseResult(String s) Processes a string containing answer sets and returns an AnswerSetList.
Boolean	query(Program beliefbase, ASPLiteral formula)
Boolean	query(Program beliefbase, ASPLiteral formula, net.sf.tweety.commons.InferenceMode inferenceMode)
void	setOptions(String options) Set additional command line options for DLV.
void	setPathToDLV(String pathToDLV) Sets the location of the DLV solver on the hard drive.

Methods inherited from class net.sf.tweety.lp.asp.reasoner.ASPSolver

getIntegerMaximum, getMaxNumOfModels, getModel, getModels, getOutput, setIntegerMaximum, setMaxNumOfModels

Methods inherited from class java.lang.Object

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

Constructor Detail

DLVSolver

public DLVSolver(String pathToDLV)

Constructs a new instance pointing to a specific DLV solver.

Parameters:

path2dlv - binary location of DLV on the hard drive

DLVSolver

public DLVSolver(String pathToDLV,
                 net.sf.tweety.commons.util.Shell bash)

Constructs a new instance pointing to a specific DLV solver.

Parameters:

path2dlv - binary location of DLV on the hard drive

bash - shell to run commands

Method Detail

getModels

public List<AnswerSet> getModels(Program p)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<ASPRule,Program,AnswerSet>

Specified by:

getModels in class ASPSolver

getModels

public List<AnswerSet> getModels(String p)

Description copied from class: ASPSolver

Returns a characterizing model (answer set) of the given belief base.

Specified by:

getModels in class ASPSolver

Returns:

AnswerSet

getModels

public List<AnswerSet> getModels(File file)

Description copied from class: ASPSolver

Returns a characterizing model (answer set) of the given belief base.

Specified by:

getModels in class ASPSolver

Returns:

AnswerSet

getModel

public AnswerSet getModel(Program p)

parseResult

protected List<AnswerSet> parseResult(String s)

Processes a string containing answer sets and returns an AnswerSetList.

Parameters:

String - containing DLV output

Returns:

AnswerSet

setOptions

public void setOptions(String options)

Set additional command line options for DLV.

Parameters:

options -

setPathToDLV

public void setPathToDLV(String pathToDLV)

Sets the location of the DLV solver on the hard drive.

Parameters:

pathToDLV -

query

public Boolean query(Program beliefbase,
                     ASPLiteral formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<Program,ASPLiteral>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,Program,ASPLiteral>

Specified by:

query in class ASPSolver

query

public Boolean query(Program beliefbase,
                     ASPLiteral formula,
                     net.sf.tweety.commons.InferenceMode inferenceMode)