Class SimpleEAFCompleteReasoner

java.lang.Object

org.tweetyproject.arg.eaf.reasoner.AbstractEAFReasoner

org.tweetyproject.arg.eaf.reasoner.SimpleEAFCompleteReasoner

All Implemented Interfaces:

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

public class SimpleEAFCompleteReasoner
extends AbstractEAFReasoner

This reasoner for epistemic Dung theories performs inference on the complete 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
SimpleEAFCompleteReasoner()

Method Summary

Modifier and Type	Method	Description
Extension<EpistemicArgumentationFramework>	getModel(EpistemicArgumentationFramework bbase)	Computes one complete extension that satisfies the epistemic constraint of the EAF.
Collection<Extension<EpistemicArgumentationFramework>>	getModels(EpistemicArgumentationFramework bbase)	Computes all complete 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

SimpleEAFCompleteReasoner

public SimpleEAFCompleteReasoner()

Method Details

getModels

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

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

Parameters:

bbase - the epistemic argumentation framework

Returns:

A collection of all complete extensions that satisfy the constraint.

getModel

public Extension<EpistemicArgumentationFramework> getModel(EpistemicArgumentationFramework bbase)

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

Parameters:

bbase - the constrained argumentation framework

Returns:

A complete extension that satisfies the constraint.