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

Field Summary

Fields

Modifier and Type	Field and Description
private SimpleProductSemantics	semantics The semantics used by this reasoner.
private double	tolerance The tolerance of the ISS algorithm.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
private double	dist(SocialMapping<java.lang.Double> sm1, SocialMapping<java.lang.Double> sm2, java.util.Collection<Argument> args) Returns the maximum-norm distance between the two social mappings
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

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

Field Detail

semantics

private SimpleProductSemantics semantics

The semantics used by this reasoner.

tolerance

private double tolerance

The tolerance of the ISS algorithm.

Constructor Detail

IssReasoner

public IssReasoner(SimpleProductSemantics semantics,
                   double tolerance)

Creates a new reasoner.

Parameters:

the - simple product semantics used

the - tolerance of the ISS algorithm.

Method Detail

dist

private double dist(SocialMapping<java.lang.Double> sm1,
                    SocialMapping<java.lang.Double> sm2,
                    java.util.Collection<Argument> args)

Returns the maximum-norm distance between the two social mappings

Parameters:

sm1 - some social mapping

sm2 - some social mapping

args - some arguments

Returns:

the maximum-norm distance between the two social mappings

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>>

Returns:

a selected model of the belief base.