Class SimpleEAFGroundedReasoner

java.lang.Object

org.tweetyproject.arg.eaf.reasoner.AbstractEAFReasoner

org.tweetyproject.arg.eaf.reasoner.SimpleEAFGroundedReasoner

All Implemented Interfaces:

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

public class SimpleEAFGroundedReasoner
extends AbstractEAFReasoner

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

Method Summary

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

SimpleEAFGroundedReasoner

public SimpleEAFGroundedReasoner()

Method Details

getModels

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

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

Parameters:

bbase - the epistemic argumentation framework

Returns:

A collection of all grounded extensions that satisfy the constraint.

getModel

public Extension<EpistemicArgumentationFramework> getModel(EpistemicArgumentationFramework bbase)

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

Parameters:

bbase - the constrained argumentation framework

Returns:

A grounded extension that satisfies the constraint.