net.sf.tweety.arg.dung.reasoner

Class SimpleGroundedReasoner

java.lang.Object

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

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

net.sf.tweety.arg.dung.reasoner.SimpleGroundedReasoner

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 SimpleGroundedReasoner
extends AbstractExtensionReasoner

This reasoner for Dung theories performs inference on the grounded extension. Computes the (unique) grounded extension, i.e., the least fixpoint of the characteristic function faf.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
SimpleGroundedReasoner()

Method Summary

Modifier and Type	Method and 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

SimpleGroundedReasoner

public SimpleGroundedReasoner()

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