FlatAbaReasoner (Tweety (ABA Library) 1.15 API)

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:

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 FlatAbaReasoner<T extends net.sf.tweety.commons.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(net.sf.tweety.arg.dung.semantics.Semantics semantics)
Creates a new instance

Method Summary

Modifier and Type	Method	Description
`Collection<AbaExtension<T>>`	`getModels(AbaTheory<T> abat)`
`Boolean`	`query(AbaTheory<T> beliefbase, Assumption<T> query, net.sf.tweety.commons.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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - FlatAbaReasoner
```
public FlatAbaReasoner(net.sf.tweety.arg.dung.semantics.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 Boolean query(AbaTheory<T> beliefbase,
                     Assumption<T> query,
                     net.sf.tweety.commons.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 net.sf.tweety.commons.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)
```
    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>