SeeAcceptabilityReasoner

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

All Implemented Interfaces:

QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.Boolean,DungTheory,Argument>
```
public class SeeAcceptabilityReasoner
extends AbstractAcceptabilityReasoner
```
Implements the SEE approach ("selective extension enumeration") to determine the set of credulously acceptable arguments of an AF wrt. complete semantics, cf. [Thimm, Cerutti, Vallati; 2020, in preparation]. It iteratively calls a SAT solver to discover new acceptable arguments.

Author:

Matthias Thimm

- Constructor Summary
  
  Constructors
  Constructor Description
  
  SeeAcceptabilityReasoner(SatSolver satSolver)
  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
  - SeeAcceptabilityReasoner
```
public SeeAcceptabilityReasoner(SatSolver satSolver)
```
    Creates a new IaqAcceptabilityReasoner.
    
    Parameters:
    
    satSolver - some SatSolver.
- 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.