AbstractAcceptabilityReasoner

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

All Implemented Interfaces:

QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.Boolean,DungTheory,Argument>

Direct Known Subclasses:

EeeAcceptabilityReasoner, IaqAcceptabilityReasoner, SeeAcceptabilityReasoner, SeemAcceptabilityReasoner
```
public abstract class AbstractAcceptabilityReasoner
extends AbstractDungReasoner
```
Ancestor class for reasoners that are tailored towards computing the set {a | a is credulously/skeptically accepted wrt. semantics x} directly, see [Thimm, Cerutti, Vallati; 2020, in preparation].

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

AbstractAcceptabilityReasoner()

Method Summary

Modifier and Type	Method	Description
`abstract java.util.Collection<Argument>`	`getAcceptableArguments(DungTheory aaf)`	Returns the set of acceptable arguments of this reasoner.
`java.lang.Boolean`	`query(DungTheory beliefbase, Argument formula)`	Queries the given belief base for the given formula.

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

- Constructor Detail
  - AbstractAcceptabilityReasoner
```
public AbstractAcceptabilityReasoner()
```
- Method Detail
  - getAcceptableArguments
```
public abstract java.util.Collection<Argument> getAcceptableArguments(DungTheory aaf)
```
    Returns the set of acceptable arguments of this reasoner.
    
    Parameters:
    
    aaf - some AAF
    
    Returns:
    
    the set of acceptable arguments of this reasoner.
  - query
```
public java.lang.Boolean query(DungTheory beliefbase,
                               Argument formula)
```
    Description copied from interface: Reasoner
    
    Queries the given belief base for the given formula.
    
    Specified by:
    
    query in interface QualitativeReasoner<DungTheory,Argument>
    
    Specified by:
    
    query in interface Reasoner<java.lang.Boolean,DungTheory,Argument>
    
    Specified by:
    
    query in class AbstractDungReasoner
    
    Parameters:
    
    beliefbase - a belief base
    
    formula - a formula
    
    Returns:
    
    the answer to the query