Package org.tweetyproject.arg.bipolar.reasoner.evidential

Class SelfSupportingReasoner

java.lang.Object

org.tweetyproject.arg.bipolar.reasoner.evidential.SelfSupportingReasoner

public class SelfSupportingReasoner
extends Object

a set of arguments S is self-supporting iff all arguments in S are e-supported by S.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SelfSupportingReasoner()

Method Summary

Modifier and Type	Method	Description
ArgumentSet	getModel(EvidentialArgumentationFramework bbase)	Return a model
Collection<ArgumentSet>	getModels(EvidentialArgumentationFramework bbase)	Computes all self-supporting argument sets from the given evidential argumentation framework.

Methods inherited from class java.lang.Object

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

Constructor Details

SelfSupportingReasoner

public SelfSupportingReasoner()

Method Details

getModels

public Collection<ArgumentSet> getModels(EvidentialArgumentationFramework bbase)

Computes all self-supporting argument sets from the given evidential argumentation framework.

Parameters:

bbase - The evidential argumentation framework containing arguments and support relations.

Returns:

A collection of self-supporting argument sets.

getModel

public ArgumentSet getModel(EvidentialArgumentationFramework bbase)

Return a model

Parameters:

bbase - arg framework

Returns:

a model