Package net.sf.tweety.arg.dung.reasoner

Class QualifiedReasoner

java.lang.Object

net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner

net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner

net.sf.tweety.arg.dung.reasoner.QualifiedReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,Extension>, QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.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	getModel(DungTheory bbase)	Returns a single (dedicated) model of the given belief base.
java.util.Collection<Extension>	getModels(DungTheory bbase)	Returns a characterizing model of the given belief base

Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner

getSimpleReasonerForSemantics, query, query

Methods inherited from class java.lang.Object

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

Constructor Detail

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 Detail

getModels

public java.util.Collection<Extension> getModels(DungTheory bbase)

Description copied from interface: ModelProvider

Returns a characterizing model of the given belief base

Specified by:

getModels in interface ModelProvider<Argument,DungTheory,Extension>

Specified by:

getModels in class AbstractExtensionReasoner

Parameters:

bbase - some belief base

Returns:

the (selected) models of the belief base

getModel

public Extension 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.

Specified by:

getModel in interface ModelProvider<Argument,DungTheory,Extension>

Specified by:

getModel in class AbstractExtensionReasoner

Parameters:

bbase - some belief base

Returns:

a selected model of the belief base.