net.sf.tweety.arg.aba.reasoner

Class IdealReasoner<T extends Formula>

java.lang.Object

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

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

Type Parameters:

T - the language of the underlying ABA theory

All Implemented Interfaces:

ModelProvider<Assumption<T>,ABATheory<T>,AbaExtension<T>>, QualitativeReasoner<ABATheory<T>,Assumption<T>>, Reasoner<java.lang.Boolean,ABATheory<T>,Assumption<T>>

public class IdealReasoner<T extends Formula>
extends GeneralABAReasoner<T>

Author:

Nils Geilen , Matthias Thimm This reasoner for ABA theories performs inference on the ideal extension.

Constructor Summary

Constructors

Constructor and Description
IdealReasoner()

Method Summary

Modifier and Type	Method and Description
java.util.Collection<AbaExtension<T>>	getModels(ABATheory<T> abat) Returns a characterizing model of the given belief base

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

IdealReasoner

public IdealReasoner()

Method Detail

getModels

public java.util.Collection<AbaExtension<T>> getModels(ABATheory<T> abat)

Description copied from interface: ModelProvider

Returns a characterizing model of the given belief base

Specified by:

getModels in interface ModelProvider<Assumption<T extends Formula>,ABATheory<T extends Formula>,AbaExtension<T extends Formula>>

Specified by:

getModels in class GeneralABAReasoner<T extends Formula>

Parameters:

abat - some belief base

Returns:

the (selected) models of the belief base