SCOOCNaiveReasoner

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

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,Extension>, QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.Boolean,DungTheory,Argument>
```
public class SCOOCNaiveReasoner
extends AbstractExtensionReasoner
```
reasoner for SCOOC-naive semantics. A naive extension E is strongly complete outside odd cycles (SCOOC) iff every argument, which is not in an odd cycle, is either in E or attacked by E. definition see: Cramer, van der Torre: SCF2 – an Argumentation Semantics for Rational Human Judgments on Argument Acceptability:Technical Report 2019

Author:

Lars Bengel

Constructor Summary

Constructors
Constructor Description

SCOOCNaiveReasoner()

Method Summary

Modifier and Type	Method	Description
`Extension`	`getModel(DungTheory bbase)`	Returns a single (dedicated) model of the given belief base.
`java.util.Collection<Extension>`	`getModels(DungTheory bbase)`	Returns a characterizing model of the given belief base

Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
getSimpleReasonerForSemantics, query, query

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

- Constructor Detail
  - SCOOCNaiveReasoner
```
public SCOOCNaiveReasoner()
```
- Method Detail
  - getModels
```
public java.util.Collection<Extension> getModels(DungTheory bbase)
```
    Description copied from interface: ModelProvider
    
    Returns a characterizing model of the given belief base
    
    Specified by:
    
    getModels in interface ModelProvider<Argument,DungTheory,Extension>
    
    Specified by:
    
    getModels in class AbstractExtensionReasoner
    
    Parameters:
    
    bbase - some belief base
    
    Returns:
    
    the (selected) models of the belief base
  - getModel
```
public Extension getModel(DungTheory bbase)
```
    Description copied from interface: ModelProvider
    
    Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.
    
    Specified by:
    
    getModel in interface ModelProvider<Argument,DungTheory,Extension>
    
    Specified by:
    
    getModel in class AbstractExtensionReasoner
    
    Parameters:
    
    bbase - some belief base
    
    Returns:
    
    a selected model of the belief base.