EeeAcceptabilityReasoner

java.lang.Object
- net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
- - net.sf.tweety.arg.dung.reasoner.AbstractAcceptabilityReasoner
  - - net.sf.tweety.arg.dung.reasoner.EeeAcceptabilityReasoner

All Implemented Interfaces:

QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.Boolean,DungTheory,Argument>
```
public class EeeAcceptabilityReasoner
extends AbstractAcceptabilityReasoner
```
Implements the EEE approach ("exhaustively enumerate extensions") to determine the set of acceptable arguments of an AF, cf. [Thimm, Cerutti, Vallati; 2020, in preparation]. It uses another extension-based reasoner to retrieve all extensions and takes the union/intersection.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`EeeAcceptabilityReasoner(AbstractExtensionReasoner reasoner, InferenceMode inferenceMode)`	Creates a new EeeAcceptabilityReasoner.

Method Summary

Modifier and Type Method Description

java.util.Collection<Argument> getAcceptableArguments(DungTheory aaf)
Returns the set of acceptable arguments of this reasoner.
- Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractAcceptabilityReasoner
  query
- Methods inherited from class java.lang.Object
  equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - EeeAcceptabilityReasoner
```
public EeeAcceptabilityReasoner(AbstractExtensionReasoner reasoner,
                                InferenceMode inferenceMode)
```
    Creates a new EeeAcceptabilityReasoner.
    
    Parameters:
    
    reasoner - the internal reasoner used.
    
    inferenceMode - the inference mode.
- Method Detail
  - getAcceptableArguments
```
public java.util.Collection<Argument> getAcceptableArguments(DungTheory aaf)
```
    Description copied from class: AbstractAcceptabilityReasoner
    
    Returns the set of acceptable arguments of this reasoner.
    
    Specified by:
    
    getAcceptableArguments in class AbstractAcceptabilityReasoner
    
    Parameters:
    
    aaf - some AAF
    
    Returns:
    
    the set of acceptable arguments of this reasoner.