Package net.sf.tweety.arg.social.reasoner

Class IssReasoner

java.lang.Object

net.sf.tweety.arg.social.reasoner.IssReasoner

All Implemented Interfaces:

ModelProvider<Argument,SocialAbstractArgumentationFramework,SocialMapping<java.lang.Double>>, QuantitativeReasoner<SocialAbstractArgumentationFramework,Argument>, Reasoner<java.lang.Double,SocialAbstractArgumentationFramework,Argument>

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

This reasoner provides is an implementation of the "Iterative Successive Subsitution 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<java.lang.Double>	getModel(SocialAbstractArgumentationFramework bbase)	Returns a single (dedicated) model of the given belief base.
java.util.Collection<SocialMapping<java.lang.Double>>	getModels(SocialAbstractArgumentationFramework bbase)	Returns a characterizing model of the given belief base
java.lang.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 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 java.lang.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<java.lang.Double,SocialAbstractArgumentationFramework,Argument>

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query

getModels

public java.util.Collection<SocialMapping<java.lang.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<java.lang.Double>>

Parameters:

bbase - some belief base

Returns:

the (selected) models of the belief base

getModel

public SocialMapping<java.lang.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<java.lang.Double>>

Parameters:

bbase - some belief base

Returns:

a selected model of the belief base.