net.sf.tweety.arg.dung.reasoner

Class SimpleCompleteReasoner

java.lang.Object

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

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

net.sf.tweety.arg.dung.reasoner.SimpleCompleteReasoner

All Implemented Interfaces:

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

public class SimpleCompleteReasoner
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.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
SimpleCompleteReasoner()

Method Summary

Modifier and Type	Method and Description
private java.util.Set<Extension>	getCompleteExtensions(DungTheory dungTheory, Extension ext, java.util.Collection<Argument> remaining) Auxiliary method to compute all complete extensions
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

SimpleCompleteReasoner

public SimpleCompleteReasoner()

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.

getCompleteExtensions

private java.util.Set<Extension> getCompleteExtensions(DungTheory dungTheory,
                                                       Extension ext,
                                                       java.util.Collection<Argument> remaining)

Auxiliary method to compute all complete extensions

Parameters:

arguments - a set of arguments

remaining - arguments that still have to be considered to be part of an extension

Returns:

all complete extensions that are supersets of an argument in arguments