Package org.tweetyproject.arg.dung.reasoner

Class SatCompleteReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner

org.tweetyproject.arg.dung.reasoner.SatCompleteReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>

public class SatCompleteReasoner
extends AbstractSatExtensionReasoner

Uses a SAT solver to determine complete extensions.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
SatCompleteReasoner(SatSolver solver)	Constructs a new complete reasoner.

Method Summary

Modifier and Type	Method	Description
boolean	isInstalled()	this method always returns true because the solver is native
Boolean	query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.

Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner

getModel, getModels, getPropositionalCharacterisation

Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

getSimpleReasonerForSemantics, query

Methods inherited from class java.lang.Object

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

Constructor Details

SatCompleteReasoner

public SatCompleteReasoner(SatSolver solver)

Constructs a new complete reasoner.

Parameters:

solver - the SAT solver this reasoner uses.

Method Details

query

public Boolean query(DungTheory beliefbase,
 Argument formula,
 InferenceMode inferenceMode)

Description copied from class: AbstractExtensionReasoner

Queries the given AAF for the given argument using the given inference type.

Overrides:

query in class AbstractExtensionReasoner

Parameters:

beliefbase - an AAF

formula - a single argument

inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS

Returns:

"true" if the argument is accepted

isInstalled

public boolean isInstalled()

this method always returns true because the solver is native

Specified by:

isInstalled in interface QualitativeReasoner<DungTheory,Argument>

Overrides:

isInstalled in class AbstractExtensionReasoner

Returns:

`true` if the solver is installed and available, `false` otherwise.