Class SimpleCAFStableReasoner

java.lang.Object

org.tweetyproject.arg.caf.reasoner.AbstractCAFReasoner

org.tweetyproject.arg.caf.reasoner.SimpleCAFStableReasoner

All Implemented Interfaces:

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

public class SimpleCAFStableReasoner
extends AbstractCAFReasoner

This reasoner for constrained Dung theories performs inference on the C-stable extensions. Extensions are determined by checking for all c-admissible sets whether they are stable (e.g. whether each argument not in the extension is attacked by an argument in the extension).

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
SimpleCAFStableReasoner()

Method Summary

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

SimpleCAFStableReasoner

public SimpleCAFStableReasoner()

Method Details

getModels

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

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

Parameters:

bbase - the constrained argumentation framework

Returns:

A collection of all c-stable extensions.

getModel

public Extension<ConstrainedArgumentationFramework> getModel(ConstrainedArgumentationFramework bbase)

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

Parameters:

bbase - the constrained argumentation framework

Returns:

A c-stable extension.