Package org.tweetyproject.web.services.sequenceexplanation

Class SequenceExplanationService

java.lang.Object

org.tweetyproject.web.services.sequenceexplanation.SequenceExplanationService

@Service
public final class SequenceExplanationService
extends Object

Service for building sequence explanations from a Dung argumentation theory.

This service uses the dialectical sequence explanation reasoner to compute explanations for individual arguments.

Author:

Oleksandr Dzhychko

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	SequenceExplanationService.SequenceExplanations	Container for sequence explanations grouped by argument.

Constructor Summary

Constructors

Constructor	Description
SequenceExplanationService()	Creates a sequence explanation service.

Method Summary

Modifier and Type	Method	Description
SequenceExplanationService.SequenceExplanations	querySequenceExplanations(DungTheory theory, Set<Argument> argumentFilter)	Computes sequence explanations for the given theory.

Methods inherited from class java.lang.Object

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

Constructor Details

SequenceExplanationService

public SequenceExplanationService()

Creates a sequence explanation service.

Method Details

querySequenceExplanations

public SequenceExplanationService.SequenceExplanations querySequenceExplanations(DungTheory theory,
 Set<Argument> argumentFilter)

Computes sequence explanations for the given theory.

Parameters:

theory - the Dung theory to explain

argumentFilter - optional set of arguments to restrict the results to

Returns:

sequence explanations grouped by argument