Package org.tweetyproject.arg.aba.reasoner

Class FlatAbaReasoner<T extends Formula>

java.lang.Object

org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner<T>

org.tweetyproject.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<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
Collection<AbaExtension<T>>	getModels(AbaTheory<T> abat)	Returns a characterizing model of the given belief base
boolean	isInstalled()	the solver is natively installed and is therefore always installed
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 org.tweetyproject.arg.aba.reasoner.GeneralAbaReasoner

getModel, query

Methods inherited from class java.lang.Object

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

Constructor Details

FlatAbaReasoner

public FlatAbaReasoner(Semantics semantics)

Creates a new instance

Parameters:

semantics - an indicator for the used semantics (c.f. org.tweetyproject.arg.dung.semantics.Semantics)

Method Details

query

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

isInstalled

public boolean isInstalled()

the solver is natively installed and is therefore always installed

Returns:

`true` if the solver is installed and available, `false` otherwise.