Class SimpleEAFStableReasoner

java.lang.Object

org.tweetyproject.arg.eaf.reasoner.AbstractEAFReasoner

org.tweetyproject.arg.eaf.reasoner.SimpleEAFStableReasoner

All Implemented Interfaces:

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

public class SimpleEAFStableReasoner
extends AbstractEAFReasoner

This reasoner for epistemic Dung theories performs inference on the stable extension. Extensions are determined by checking for all admissible sets which set combinations satisfy the epistemic constraint. Note that this reasoner does not compute epistemic extension sets.

Author:

Sandra Hoffmann

Constructor Summary

Constructors

Constructor	Description
SimpleEAFStableReasoner()

Method Summary

Modifier and Type	Method	Description
Extension<EpistemicArgumentationFramework>	getModel(EpistemicArgumentationFramework bbase)	Computes one stable extension that satisfies the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	getModels(EpistemicArgumentationFramework bbase)	Computes all stable extensions that satisfy the epistemic constraint of the EAF.

Methods inherited from class org.tweetyproject.arg.eaf.reasoner.AbstractEAFReasoner

getModel, getModels, getSimpleReasonerForSemantics, isInstalled, query, query

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleEAFStableReasoner

public SimpleEAFStableReasoner()

Method Details

getModels

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

Computes all stable extensions that satisfy the epistemic constraint of the EAF.

Parameters:

bbase - the epistemic argumentation framework

Returns:

A collection of all stable extensions that satisfy the constraint.

getModel

public Extension<EpistemicArgumentationFramework> getModel(EpistemicArgumentationFramework bbase)

Computes one stable extension that satisfies the epistemic constraint of the EAF.

Parameters:

bbase - the constrained argumentation framework

Returns:

An stable extension that satisfies the constraint.