net.sf.tweety.lp.asp.reasoner

Class Clingo

java.lang.Object

net.sf.tweety.lp.asp.reasoner.SolverBase

net.sf.tweety.lp.asp.reasoner.Clingo

All Implemented Interfaces:

Solver

public class Clingo
extends SolverBase

Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.

Author:

Nils Geilen, Matthias Thimm, Anna Gessler

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	path2clingo

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

ai

Constructor Summary

Constructors

Constructor and Description
Clingo(java.lang.String path2clingo)

Method Summary

Modifier and Type	Method and Description
protected AnswerSetList	buildASL(java.util.List<java.lang.String> output) Processes clingo output and returns a list of answer sets.
protected void	checkErrors() Default implementation of error checking (should work for DLV package)
AnswerSetList	computeModels(java.util.List<java.lang.String> files, int maxModels) This method computes at most maxModels for a given program, a collection of facts, and an arbitrary number of additional programs as a file resource.
AnswerSetList	computeModels(Program p, int maxModels) This method computes at most maxModels answer sets for a given program.
AnswerSetList	computeModels(java.lang.String s, int maxModels) This method computes at most maxModels answer sets for a given program as a flat string.
private AnswerSetList	parseAnswerSets(java.lang.String s) Uses ASPParser to parse answer sets from string.

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

checkSolver

Methods inherited from class java.lang.Object

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

Field Detail

path2clingo

protected java.lang.String path2clingo

Constructor Detail

Clingo

public Clingo(java.lang.String path2clingo)

Method Detail

parseAnswerSets

private AnswerSetList parseAnswerSets(java.lang.String s)

Uses ASPParser to parse answer sets from string.

Parameters:

String - containing answer set

Returns:

AnswerSetList containing the parsed answer sets

computeModels

public AnswerSetList computeModels(Program p,
                                   int maxModels)
                            throws SolverException

Description copied from interface: Solver

This method computes at most maxModels answer sets for a given program.

Returns:

A list of answer sets representing the models of the given program

Throws:

SolverException

computeModels

public AnswerSetList computeModels(java.lang.String s,
                                   int maxModels)
                            throws SolverException

Description copied from interface: Solver

This method computes at most maxModels answer sets for a given program as a flat string.

Returns:

A list of answer sets representing the models of the given program

Throws:

SolverException

computeModels

public AnswerSetList computeModels(java.util.List<java.lang.String> files,
                                   int maxModels)
                            throws SolverException

Description copied from interface: Solver

This method computes at most maxModels for a given program, a collection of facts, and an arbitrary number of additional programs as a file resource.

Returns:

A list of answer sets representing the models of union of the programs that are stored in the given files.

Throws:

SolverException

checkErrors

protected void checkErrors()
                    throws SolverException

Description copied from class: SolverBase

Default implementation of error checking (should work for DLV package)

Overrides:

checkErrors in class SolverBase

Throws:

SolverException

buildASL

protected AnswerSetList buildASL(java.util.List<java.lang.String> output)

Processes clingo output and returns a list of answer sets.

Parameters:

output - clingo output lines

Returns:

an AnswerSetList