Class SimpleEAFAdmissibleReasoner

java.lang.Object

org.tweetyproject.arg.eaf.reasoner.AbstractEAFReasoner

org.tweetyproject.arg.eaf.reasoner.SimpleEAFAdmissibleReasoner

All Implemented Interfaces:

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

public class SimpleEAFAdmissibleReasoner
extends AbstractEAFReasoner

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

Method Summary

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

SimpleEAFAdmissibleReasoner

public SimpleEAFAdmissibleReasoner()

Method Details

getModels

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

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

Parameters:

bbase - the epistemic argumentation framework

Returns:

A collection of all admissible extensions that satisfy the constraint.

getModel

public Extension<EpistemicArgumentationFramework> getModel(EpistemicArgumentationFramework bbase)

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

Parameters:

bbase - the constrained argumentation framework

Returns:

An admissible extension that satisfies the constraint.