net.sf.tweety.lp.asp.reasoner

Class ASPSolver

java.lang.Object

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

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>

Direct Known Subclasses:

ClingoSolver, DLVSolver

public abstract class ASPSolver
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<Program,ASPLiteral>, net.sf.tweety.commons.ModelProvider<ASPRule,Program,AnswerSet>

This class provides a common interface for asp solvers. Most implementing classes will simply call an external grounder and solver and return the resulting string.

Author:

Sebastian Homann (Original), Thomas Vengels (Modifications), Anna Gessler (Modifications)

Field Summary

Fields

Modifier and Type	Field and Description
protected int	integerMaximum Represents the upper integer bound.
protected int	maxNumOfModels The maximum number of models to be generated.
protected String	outputData Stores the (latest) result of the solver as a String.

Constructor Summary

Constructors

Constructor and Description
ASPSolver()

Method Summary

Modifier and Type	Method and Description
int	getIntegerMaximum() Get the upper integer bound.
int	getMaxNumOfModels() Get the maximum number of models to be generated.
AnswerSet	getModel(Program p, int maxInt) Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
abstract Collection<AnswerSet>	getModels(File f) Returns a characterizing model (answer set) of the given belief base.
abstract Collection<AnswerSet>	getModels(Program p)
Collection<AnswerSet>	getModels(Program p, int maxInt) Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
abstract Collection<AnswerSet>	getModels(String p) Returns a characterizing model (answer set) of the given belief base.
String	getOutput()
abstract Boolean	query(Program beliefbase, ASPLiteral formula)
void	setIntegerMaximum(int integerMaximum) Set the upper integer bound.
void	setMaxNumOfModels(int maxNumOfModels) Set the maximum number of models to be generated.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sf.tweety.commons.ModelProvider

getModel

Field Detail

outputData

protected String outputData

Stores the (latest) result of the solver as a String.

maxNumOfModels

protected int maxNumOfModels

The maximum number of models to be generated.

integerMaximum

protected int integerMaximum

Represents the upper integer bound. Solvers that use this attribute will only accept integers in [0,IntegerMaximum] in input programs. Likewise, only integers in [0,IntegerMaximum] will be considered by when evaluating arithmetic predicates.

Constructor Detail

ASPSolver

public ASPSolver()

Method Detail

getOutput

public String getOutput()

getMaxNumOfModels

public int getMaxNumOfModels()

Get the maximum number of models to be generated.

Returns:

maximum number

setMaxNumOfModels

public void setMaxNumOfModels(int maxNumOfModels)

Set the maximum number of models to be generated.

getIntegerMaximum

public int getIntegerMaximum()

Get the upper integer bound. Solvers that use this attribute will only accept integers in [0,IntegerMaximum] in input programs. Likewise, only integers in [0,IntegerMaximum] will be considered by when evaluating arithmetic predicates.

setIntegerMaximum

public void setIntegerMaximum(int integerMaximum)

Set the upper integer bound. Solvers that use this attribute will only accept integers in [0,IntegerMaximum] in input programs. Likewise, only integers in [0,IntegerMaximum] will be considered by when evaluating arithmetic predicates.

getModels

public abstract Collection<AnswerSet> getModels(Program p)

Specified by:

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

getModels

public Collection<AnswerSet> getModels(Program p,
                                       int maxInt)

Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.

Parameters:

p -

maxInt -

Returns:

AnswerSet

getModel

public AnswerSet getModel(Program p,
                          int maxInt)

Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.

Parameters:

p -

maxInt -

Returns:

AnswerSet

getModels

public abstract Collection<AnswerSet> getModels(String p)

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

Parameters:

string - containing belief base

Returns:

AnswerSet

getModels

public abstract Collection<AnswerSet> getModels(File f)

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

Parameters:

file - containing belief base

Returns:

AnswerSet

query

public abstract 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>