net.sf.tweety.arg.social

Class IssReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.social.IssReasoner

public class IssReasoner
extends Reasoner

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 SocialMapping<java.lang.Double>	mapping The mapping to be computed by this reasoner.
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(BeliefBase beliefBase, SimpleProductSemantics semantics, double tolerance) Creates a new reasoner for the given social abstract argumentation framework

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>	getSocialModel() Returns the social model computed by the ISS algorithm.
Answer	query(Formula query) This method determines the answer of the given query wrt.

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

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.

mapping

private SocialMapping<java.lang.Double> mapping

The mapping to be computed by this reasoner.

tolerance

private double tolerance

The tolerance of the ISS algorithm.

Constructor Detail

IssReasoner

public IssReasoner(BeliefBase beliefBase,
                   SimpleProductSemantics semantics,
                   double tolerance)

Creates a new reasoner for the given social abstract argumentation framework

Parameters:

beliefBase - a social abstract argumentation framework

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

getSocialModel

public SocialMapping<java.lang.Double> getSocialModel()

Returns the social model computed by the ISS algorithm.

Returns:

the social model computed by the ISS algorithm.

query

public Answer query(Formula query)

Description copied from class: Reasoner

This method determines the answer of the given query wrt. to the given knowledge base.

Specified by:

query in class Reasoner

Parameters:

query - a query.

Returns:

the answer to the query.