IssReasoner (Tweety (Social Abstract Argumentation Library) 1.17 API)

java.lang.Object
- net.sf.tweety.arg.social.reasoner.IssReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<net.sf.tweety.arg.dung.syntax.Argument,SocialAbstractArgumentationFramework,SocialMapping<Double>>, net.sf.tweety.commons.QuantitativeReasoner<SocialAbstractArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>, net.sf.tweety.commons.Reasoner<Double,SocialAbstractArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>
```
public class IssReasoner
extends Object
implements net.sf.tweety.commons.QuantitativeReasoner<SocialAbstractArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>, net.sf.tweety.commons.ModelProvider<net.sf.tweety.arg.dung.syntax.Argument,SocialAbstractArgumentationFramework,SocialMapping<Double>>
```
This reasoner provides is an implementation of the "Iterative Successive Subsitution Algorithm" from [Marco Correia and Jorge Cruz and João Leite. On the Efficient Implementation of Social Abstract Argumentation. ECAI2014] for determining a model of a social abstract argumentation framework according to the simple product semantics.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

IssReasoner(SimpleProductSemantics semantics, double tolerance)
Creates a new reasoner.

Method Summary

Modifier and Type	Method	Description
`SocialMapping<Double>`	`getModel(SocialAbstractArgumentationFramework bbase)`
`Collection<SocialMapping<Double>>`	`getModels(SocialAbstractArgumentationFramework bbase)`
`Double`	`query(SocialAbstractArgumentationFramework beliefbase, net.sf.tweety.arg.dung.syntax.Argument formula)`

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

- Constructor Detail
  - IssReasoner
```
public IssReasoner(SimpleProductSemantics semantics,
                   double tolerance)
```
    Creates a new reasoner.
    
    Parameters:
    
    semantics - the simple product semantics used
    
    tolerance - the tolerance of the ISS algorithm.
- Method Detail
  - query
```
public Double query(SocialAbstractArgumentationFramework beliefbase,
                    net.sf.tweety.arg.dung.syntax.Argument formula)
```
    Specified by:
    
    query in interface net.sf.tweety.commons.Reasoner<Double,SocialAbstractArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>
  - getModels
```
public Collection<SocialMapping<Double>> getModels(SocialAbstractArgumentationFramework bbase)
```
    Specified by:
    
    getModels in interface net.sf.tweety.commons.ModelProvider<net.sf.tweety.arg.dung.syntax.Argument,SocialAbstractArgumentationFramework,SocialMapping<Double>>
  - getModel
```
public SocialMapping<Double> getModel(SocialAbstractArgumentationFramework bbase)
```
    Specified by:
    
    getModel in interface net.sf.tweety.commons.ModelProvider<net.sf.tweety.arg.dung.syntax.Argument,SocialAbstractArgumentationFramework,SocialMapping<Double>>