Package org.tweetyproject.arg.social.reasoner

Class IssReasoner

java.lang.Object

org.tweetyproject.arg.social.reasoner.IssReasoner

All Implemented Interfaces:

ModelProvider<Argument,SocialAbstractArgumentationFramework,SocialMapping<Double>>, QuantitativeReasoner<SocialAbstractArgumentationFramework,Argument>, Reasoner<Double,SocialAbstractArgumentationFramework,Argument>

public class IssReasoner
extends Object
implements QuantitativeReasoner<SocialAbstractArgumentationFramework,Argument>, ModelProvider<Argument,SocialAbstractArgumentationFramework,SocialMapping<Double>>

This reasoner provides is an implementation of the "Iterative Successive Substitution Algorithm" from [Marco Correia and Jorge Cruz and Joã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)	Returns a single (dedicated) model of the given belief base.
Collection<SocialMapping<Double>>	getModels(SocialAbstractArgumentationFramework bbase)	Returns a characterizing model of the given belief base
boolean	isInstalled()
Double	query(SocialAbstractArgumentationFramework beliefbase, Argument formula)	Queries the given belief base for the given formula.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

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 Details

query

public Double query(SocialAbstractArgumentationFramework beliefbase,
 Argument formula)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface Reasoner<Double,SocialAbstractArgumentationFramework,Argument>

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query

getModels

public Collection<SocialMapping<Double>> getModels(SocialAbstractArgumentationFramework bbase)

Description copied from interface: ModelProvider

Returns a characterizing model of the given belief base

Specified by:

getModels in interface ModelProvider<Argument,SocialAbstractArgumentationFramework,SocialMapping<Double>>

Parameters:

bbase - some belief base

Returns:

the (selected) models of the belief base

getModel

public SocialMapping<Double> getModel(SocialAbstractArgumentationFramework 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,SocialAbstractArgumentationFramework,SocialMapping<Double>>

Parameters:

bbase - some belief base

Returns:

a selected model of the belief base.

isInstalled

public boolean isInstalled()

Specified by:

isInstalled in interface QuantitativeReasoner<SocialAbstractArgumentationFramework,Argument>

Returns:

if reasoner is installed