NaiveReasoner (Tweety (Dung Argumentation Library) 1.17 API)

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

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>, net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>, net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>
```
public class NaiveReasoner
extends AbstractExtensionReasoner
```
Reasoner for naive extensions. naive extensions are maximal conflict-free sets

Author:

Lars Bengel

Constructor Summary

Constructors
Constructor Description

NaiveReasoner()

Method Summary

Modifier and Type	Method	Description
`Collection<Extension>`	`getMaximalConflictFreeSets(DungTheory bbase, Collection<Argument> candidates)`	computes all maximal conflict-free sets of bbase
`Extension`	`getModel(DungTheory bbase)`
`Collection<Extension>`	`getModels(DungTheory bbase)`

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

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

- Constructor Detail
  - NaiveReasoner
```
public NaiveReasoner()
```
- Method Detail
  - getModels
```
public Collection<Extension> getModels(DungTheory bbase)
```
    Specified by:
    
    getModels in interface net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>
    
    Specified by:
    
    getModels in class AbstractExtensionReasoner
  - getModel
```
public Extension getModel(DungTheory bbase)
```
    Specified by:
    
    getModel in interface net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>
    
    Specified by:
    
    getModel in class AbstractExtensionReasoner
  - getMaximalConflictFreeSets
```
public Collection<Extension> getMaximalConflictFreeSets(DungTheory bbase,
                                                        Collection<Argument> candidates)
```
    computes all maximal conflict-free sets of bbase
    
    Parameters:
    
    bbase - an argumentation framework
    
    candidates - a set of arguments
    
    Returns:
    
    conflict-free sets in bbase