Package org.tweetyproject.arg.bipolar.reasoner.deductive

Class CAdmissibleReasoner

java.lang.Object

org.tweetyproject.arg.bipolar.reasoner.deductive.CAdmissibleReasoner

public class CAdmissibleReasoner
extends Object

reasoner for admissibility in bipolar argumentation frameworks with deductive support interpretation a set of arguments is c-admissible iff it is admissible wrt. the complex attacks in the framework and closed wrt. the support relation

Constructor Summary

Constructors

Constructor	Description
CAdmissibleReasoner()	Default Constructor

Method Summary

Modifier and Type	Method	Description
Collection<ArgumentSet>	getModels(DeductiveArgumentationFramework bbase)	Return models

Methods inherited from class java.lang.Object

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

Constructor Details

CAdmissibleReasoner

public CAdmissibleReasoner()

Default Constructor

Method Details

getModels

public Collection<ArgumentSet> getModels(DeductiveArgumentationFramework bbase)

Return models

Parameters:

bbase - argumentation framework

Returns:

models