net.sf.tweety.arg.aba.reasoner

Class FlatABAReasoner<T extends Formula>

java.lang.Object

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

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

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 FlatABAReasoner<T extends Formula>
extends GeneralABAReasoner<T>

Author:

Nils Geilen, Matthias Thimm This class models a reasoner over ABA formulae Can only be used with flat ABA theories because only those can be transformed into Dung frameworks

Field Summary

Fields

Modifier and Type	Field and Description
private Semantics	semantics

Constructor Summary

Constructors

Constructor and Description
FlatABAReasoner(Semantics semantics) Creates a new instance

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
java.lang.Boolean	query(ABATheory<T> beliefbase, Assumption<T> query, int inferenceType) Queries the given ABA theory for the given assumption using the given inference type.

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

getModel, query

Methods inherited from class java.lang.Object

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

Field Detail

semantics

private Semantics semantics

Constructor Detail

FlatABAReasoner

public FlatABAReasoner(Semantics semantics)

Creates a new instance

Parameters:

semantics - an indicator for the used semantics (c.f. net.sf.tweety.arg.dung.semantics.Semantics)

Method Detail

query

public java.lang.Boolean query(ABATheory<T> beliefbase,
                               Assumption<T> query,
                               int inferenceType)

Description copied from class: GeneralABAReasoner

Queries the given ABA theory for the given assumption using the given inference type.

Overrides:

query in class GeneralABAReasoner<T extends Formula>

Parameters:

beliefbase - an ABA theory

query - some assumption

inferenceType - either Semantics.SCEPTICAL_INFERENCE or Semantics.CREDULOUS_INFERENCE

Returns:

"true" if the query is accepted

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