Class SimpleCAFAdmissibleReasoner

java.lang.Object

org.tweetyproject.arg.caf.reasoner.AbstractCAFReasoner

org.tweetyproject.arg.caf.reasoner.SimpleCAFAdmissibleReasoner

All Implemented Interfaces:

ModelProvider<Argument,ConstrainedArgumentationFramework,Extension<ConstrainedArgumentationFramework>>, PostulateEvaluatable<Argument>, QualitativeReasoner<ConstrainedArgumentationFramework,Argument>, Reasoner<Boolean,ConstrainedArgumentationFramework,Argument>

public class SimpleCAFAdmissibleReasoner
extends AbstractCAFReasoner

This reasoner for constrained Dung theories performs inference on the C-admissible extensions. Extensions are determined by checking for all admissible sets whether they satisfy the constraint.

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
SimpleCAFAdmissibleReasoner()

Method Summary

Modifier and Type	Method	Description
Extension<ConstrainedArgumentationFramework>	getModel(ConstrainedArgumentationFramework bbase)	Computes one C-admissible extensions for the given constrained argumentation framework.
Collection<Extension<ConstrainedArgumentationFramework>>	getModels(ConstrainedArgumentationFramework bbase)	Computes all C-admissible extensions for the given constrained argumentation framework.

Methods inherited from class org.tweetyproject.arg.caf.reasoner.AbstractCAFReasoner

getSimpleReasonerForSemantics, isInstalled, query, query

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleCAFAdmissibleReasoner

public SimpleCAFAdmissibleReasoner()

Method Details

getModels

public Collection<Extension<ConstrainedArgumentationFramework>> getModels(ConstrainedArgumentationFramework bbase)

Computes all C-admissible extensions for the given constrained argumentation framework.

Parameters:

bbase - the constrained argumentation framework

Returns:

A collection of all c-admissible extensions.

getModel

public Extension<ConstrainedArgumentationFramework> getModel(ConstrainedArgumentationFramework bbase)

Computes one C-admissible extensions for the given constrained argumentation framework.

Parameters:

bbase - the constrained argumentation framework

Returns:

A c-admissible extension.