OutputReasoner

java.lang.Object
- net.sf.tweety.arg.saf.reasoner.OutputReasoner

All Implemented Interfaces:

QualitativeReasoner<StructuredArgumentationFramework,Proposition>, Reasoner<java.lang.Boolean,StructuredArgumentationFramework,Proposition>
```
public class OutputReasoner
extends java.lang.Object
implements QualitativeReasoner<StructuredArgumentationFramework,Proposition>
```
This class models an abstract reasoner for structured argumentation frameworks. Given a specific semantics "Sem" for Dung theories, inferences drawn using this reasoner bases on a set "output" of propositions defined by:
Output = { a |(forall i there is an AS in E_i: claim(AS)=A)}
where E_1,...,E_n are the extensions of the induced Dung theory wrt. semantics "Sem".

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

OutputReasoner(AbstractExtensionReasoner reasoner)
Creates a new reasoner

Method Summary

Modifier and Type	Method	Description
`java.util.Set<Proposition>`	`getOutput(StructuredArgumentationFramework saf)`	Returns the output this reasoner bases upon.
`java.lang.Boolean`	`query(StructuredArgumentationFramework beliefbase, Proposition formula)`	Queries the given belief base for the given formula.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - OutputReasoner
```
public OutputReasoner(AbstractExtensionReasoner reasoner)
```
    Creates a new reasoner
    
    Parameters:
    
    reasoner - and abstract extension reasoner
- Method Detail
  - getOutput
```
public java.util.Set<Proposition> getOutput(StructuredArgumentationFramework saf)
```
    Returns the output this reasoner bases upon.
    
    Parameters:
    
    saf - an SAF
    
    Returns:
    
    the output this reasoner bases upon.
  - query
```
public java.lang.Boolean query(StructuredArgumentationFramework beliefbase,
                               Proposition formula)
```
    Description copied from interface: Reasoner
    
    Queries the given belief base for the given formula.
    
    Specified by:
    
    query in interface QualitativeReasoner<StructuredArgumentationFramework,Proposition>
    
    Specified by:
    
    query in interface Reasoner<java.lang.Boolean,StructuredArgumentationFramework,Proposition>
    
    Parameters:
    
    beliefbase - a belief base
    
    formula - a formula
    
    Returns:
    
    the answer to the query