Package org.tweetyproject.arg.dung.reasoner

Class SemiQualifiedReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

org.tweetyproject.arg.dung.reasoner.SemiQualifiedReasoner

All Implemented Interfaces:

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

public class SemiQualifiedReasoner
extends AbstractExtensionReasoner

Reasoner for semi-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 iff there are no other possible labelings where x is in. This means an argument y attacked by x and in a different scc can still be accepted(in) iff x is undecided or out in all possible labelings. see: TODO add reference

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SemiQualifiedReasoner(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()	the solver is natively installed and is therefore always installed

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

SemiQualifiedReasoner

public SemiQualifiedReasoner(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

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()

the solver is natively installed and is therefore always installed

Specified by:

isInstalled in interface QualitativeReasoner<DungTheory,Argument>

Overrides:

isInstalled in class AbstractExtensionReasoner

Returns:

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