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

Class NaiveReasoner

java.lang.Object

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

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

net.sf.tweety.arg.dung.reasoner.NaiveReasoner

All Implemented Interfaces:

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

public class NaiveReasoner
extends AbstractExtensionReasoner

Reasoner for naive extensions. naive extensions are maximal conflict-free sets

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
NaiveReasoner()

Method Summary

Modifier and Type	Method	Description
java.util.Collection<Extension>	getMaximalConflictFreeSets(DungTheory bbase, java.util.Collection<Argument> candidates)	computes all maximal conflict-free sets of bbase
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

NaiveReasoner

public NaiveReasoner()

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.

getMaximalConflictFreeSets

public java.util.Collection<Extension> getMaximalConflictFreeSets(DungTheory bbase,
                                                                  java.util.Collection<Argument> candidates)

computes all maximal conflict-free sets of bbase

Parameters:

bbase - an argumentation framework

candidates - a set of arguments

Returns:

conflict-free sets in bbase