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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

CAdmissibleReasoner

public CAdmissibleReasoner()

Method Details

getModels

public Collection<ArgumentSet> getModels(DeductiveArgumentationFramework bbase)

Parameters:

bbase - argumentation framework

Returns:

models