Package net.sf.tweety.arg.aba.reasoner

Class WellFoundedReasoner<T extends net.sf.tweety.commons.Formula>

java.lang.Object

net.sf.tweety.arg.aba.reasoner.GeneralAbaReasoner<T>

net.sf.tweety.arg.aba.reasoner.WellFoundedReasoner<T>

Type Parameters:

T - the language of the underlying ABA theory

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Assumption<T>,AbaTheory<T>,AbaExtension<T>>, net.sf.tweety.commons.QualitativeReasoner<AbaTheory<T>,Assumption<T>>, net.sf.tweety.commons.Reasoner<Boolean,AbaTheory<T>,Assumption<T>>

public class WellFoundedReasoner<T extends net.sf.tweety.commons.Formula>
extends GeneralAbaReasoner<T>

This reasoner for ABA theories performs inference on the ideal extension.

Author:

Nils Geilen (geilenn@uni-koblenz.de), Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
WellFoundedReasoner()

Method Summary

Modifier and Type	Method	Description
Collection<AbaExtension<T>>	getModels(AbaTheory<T> abat)

Methods inherited from class net.sf.tweety.arg.aba.reasoner.GeneralAbaReasoner

getModel, query, query

Methods inherited from class java.lang.Object

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

Constructor Detail

WellFoundedReasoner

public WellFoundedReasoner()

Method Detail

getModels

public Collection<AbaExtension<T>> getModels(AbaTheory<T> abat)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<Assumption<T extends net.sf.tweety.commons.Formula>,AbaTheory<T extends net.sf.tweety.commons.Formula>,AbaExtension<T extends net.sf.tweety.commons.Formula>>

Specified by:

getModels in class GeneralAbaReasoner<T extends net.sf.tweety.commons.Formula>