IaqAcceptabilityReasoner

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

All Implemented Interfaces:

QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.Boolean,DungTheory,Argument>
```
public class IaqAcceptabilityReasoner
extends AbstractAcceptabilityReasoner
```
Implements the IAQ approach ("iterative acceptability queries") to determine the set of acceptable arguments of an AF, cf. [Thimm, Cerutti, Vallati; 2020, in preparation]. It uses another extension-based reasoner to query for each argument separately whether it is accepted.

Author:

Matthias Thimm

Constructor Summary

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

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
  - IaqAcceptabilityReasoner
```
public IaqAcceptabilityReasoner(AbstractExtensionReasoner reasoner,
                                InferenceMode inferenceMode)
```
    Creates a new IaqAcceptabilityReasoner.
    
    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.