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

Class SimplePreferredReasoner

java.lang.Object

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

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

net.sf.tweety.arg.dung.reasoner.SimplePreferredReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>, net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>, net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>

public class SimplePreferredReasoner
extends AbstractExtensionReasoner

This reasoner for Dung theories performs inference on the preferred extensions. Computes the set of all preferred extensions, i.e., all maximal admissable sets. It does so by first computing all complete extensions and then check for set maximality.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
SimplePreferredReasoner()

Method Summary

Modifier and Type	Method	Description
Extension	getModel(DungTheory bbase)
Collection<Extension>	getModels(DungTheory bbase)

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

SimplePreferredReasoner

public SimplePreferredReasoner()

Method Detail

getModels

public Collection<Extension> getModels(DungTheory bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>

Specified by:

getModels in class AbstractExtensionReasoner

getModel

public Extension getModel(DungTheory bbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>

Specified by:

getModel in class AbstractExtensionReasoner