Package org.tweetyproject.arg.dung.reasoner

Class QualifiedReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

org.tweetyproject.arg.dung.reasoner.QualifiedReasoner

All Implemented Interfaces:

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

public class QualifiedReasoner
extends AbstractExtensionReasoner

Reasoner for qualified sigma-semantics. If sigma is a scc-decomposable semantics this reasoner will compute the qualified extensions for the semantics. In qualified semantics a undecided argument x is treated as out. This means an argument y attacked by x and in a different scc can still be accepted(in). see: TODO add reference

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
QualifiedReasoner(AbstractExtensionReasoner reasoner)	initialize reasoner with the given reasoner as base reasoner Will only produce meaningful results if the given semantics is SCC-decomposable
QualifiedReasoner(Semantics semantics)	initialize reasoner with the given semantics as base function.

Method Summary

Modifier and Type	Method	Description
Extension<DungTheory>	getModel(DungTheory bbase)	Returns a single (dedicated) model of the given belief base.
Collection<Extension<DungTheory>>	getModels(DungTheory bbase)	Returns a characterizing model of the given belief base
boolean	isInstalled()	this method always returns true because the solver is native

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

getSimpleReasonerForSemantics, query, query

Methods inherited from class java.lang.Object

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

Constructor Details

QualifiedReasoner

public QualifiedReasoner(Semantics semantics)

initialize reasoner with the given semantics as base function. Will only produce meaningful results if the given semantics is SCC-decomposable

Parameters:

semantics - a scc-decomposable semantics

QualifiedReasoner

public QualifiedReasoner(AbstractExtensionReasoner reasoner)

initialize reasoner with the given reasoner as base reasoner Will only produce meaningful results if the given semantics is SCC-decomposable

Parameters:

reasoner - a reasoner for a scc-decomposable semantics

Method Details

getModels

public Collection<Extension<DungTheory>> getModels(DungTheory bbase)

Description copied from interface: ModelProvider

Returns a characterizing model of the given belief base

Parameters:

bbase - some belief base

Returns:

the (selected) models of the belief base

getModel

public Extension<DungTheory> getModel(DungTheory bbase)

Description copied from interface: ModelProvider

Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.

Parameters:

bbase - some belief base

Returns:

a selected model of the belief base.

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.