net.sf.tweety.arg.dung.reasoner

Class SimpleSccCompleteReasoner

java.lang.Object

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

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

net.sf.tweety.arg.dung.reasoner.SimpleSccCompleteReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,Extension>, QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.Boolean,DungTheory,Argument>

public class SimpleSccCompleteReasoner
extends AbstractExtensionReasoner

This reasoner for Dung theories performs inference on the complete extensions. Computes the set of all complete extensions, i.e., all admissible sets that contain all their acceptable arguments. Exploits the structure of the strongly-connected components (SCCs) to determine extensions.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
SimpleSccCompleteReasoner()

Method Summary

Modifier and Type	Method and Description
private java.util.Set<Extension>	computeExtensionsViaSccs(DungTheory theory, java.util.List<java.util.Collection<Argument>> sccs, int idx, java.util.Collection<Argument> in, java.util.Collection<Argument> out, java.util.Collection<Argument> undec) Computes extensions recursively following the SCC structure.
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

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

Constructor Detail

SimpleSccCompleteReasoner

public SimpleSccCompleteReasoner()

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

Returns:

a selected model of the belief base.

computeExtensionsViaSccs

private java.util.Set<Extension> computeExtensionsViaSccs(DungTheory theory,
                                                          java.util.List<java.util.Collection<Argument>> sccs,
                                                          int idx,
                                                          java.util.Collection<Argument> in,
                                                          java.util.Collection<Argument> out,
                                                          java.util.Collection<Argument> undec)

Computes extensions recursively following the SCC structure.

Parameters:

theory - the theory

sccs - all SCCs topologically sorted

idx - the current SCC to be processed

in - all arguments currently in

out - all arguments currently out

undec - all arguments currently undecided

Returns:

the set of extensions