Class SimpleEAFPreferredReasoner

java.lang.Object

org.tweetyproject.arg.eaf.reasoner.AbstractEAFReasoner

org.tweetyproject.arg.eaf.reasoner.SimpleEAFPreferredReasoner

All Implemented Interfaces:

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

public class SimpleEAFPreferredReasoner
extends AbstractEAFReasoner

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

Method Summary

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

SimpleEAFPreferredReasoner

public SimpleEAFPreferredReasoner()

Method Details

getModels

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

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

Parameters:

bbase - the epistemic argumentation framework

Returns:

A collection of all preferred extensions that satisfy the constraint.

getModel

public Extension<EpistemicArgumentationFramework> getModel(EpistemicArgumentationFramework bbase)

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

Parameters:

bbase - the constrained argumentation framework

Returns:

A preferred extension that satisfies the constraint.