Class SimpleCAFPreferredReasoner

java.lang.Object

org.tweetyproject.arg.caf.reasoner.AbstractCAFReasoner

org.tweetyproject.arg.caf.reasoner.SimpleCAFPreferredReasoner

All Implemented Interfaces:

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

public class SimpleCAFPreferredReasoner
extends AbstractCAFReasoner

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

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
SimpleCAFPreferredReasoner()

Method Summary

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

SimpleCAFPreferredReasoner

public SimpleCAFPreferredReasoner()

Method Details

getModels

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

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

Parameters:

bbase - the constrained argumentation framework

Returns:

A collection of all c-preferred extensions.

getModel

public Extension<ConstrainedArgumentationFramework> getModel(ConstrainedArgumentationFramework bbase)

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

Parameters:

bbase - the constrained argumentation framework

Returns:

A c-preferred extension.