Package 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>

Type Parameters:

T - the type of formulas

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>

This class models a reasoner over ABA formulae. This reasoner can only be used with flat ABA theories because only those can be transformed into Dung frameworks.

Author:

Nils Geilen, Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
FlatAbaReasoner(Semantics semantics)	Creates a new instance

Method Summary

Modifier and Type	Method	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, InferenceMode inferenceMode)	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

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

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,
                               InferenceMode inferenceMode)

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

inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS

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