Class SimpleRecursiveExtendedCompleteReasoner

java.lang.Object

org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner

org.tweetyproject.arg.extended.reasoner.SimpleRecursiveExtendedCompleteReasoner

public class SimpleRecursiveExtendedCompleteReasoner
extends AbstractRecursiveExtendedExtensionReasoner

Simple reasoner for computing complete extensions of recursive extended theories. This reasoner extends the abstract reasoner and provides methods for finding complete extensions of a RecursiveExtendedTheory. A complete extension is an admissible extension that includes all arguments it defends. The reasoner utilizes admissible extensions as a base and checks if they are complete.

Author:

Lars Bengel

See Also:

• RecursiveExtendedTheory
• SimpleRecursiveExtendedAdmissibleReasoner
• AbstractRecursiveExtendedExtensionReasoner
• DungEntity

Constructor Summary

Constructors

Constructor	Description
SimpleRecursiveExtendedCompleteReasoner()	Default constructor for SimpleRecursiveExtendedCompleteReasoner.

Method Summary

Modifier and Type	Method	Description
Collection<Collection<DungEntity>>	getModels(RecursiveExtendedTheory bbase)	Returns the collection of complete extensions of the given recursive extended theory.

Methods inherited from class org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner

getSimpleReasonerForSemantics, isInstalled, query, query

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleRecursiveExtendedCompleteReasoner

public SimpleRecursiveExtendedCompleteReasoner()

Default constructor for SimpleRecursiveExtendedCompleteReasoner. This constructor initializes the reasoner without any specific parameters.

Method Details

getModels

public Collection<Collection<DungEntity>> getModels(RecursiveExtendedTheory bbase)

Returns the collection of complete extensions of the given recursive extended theory. This method retrieves all admissible extensions from the SimpleRecursiveExtendedAdmissibleReasoner, and then filters them to include only those that are complete.

Specified by:

getModels in class AbstractRecursiveExtendedExtensionReasoner

Parameters:

bbase - the recursive extended theory for which complete extensions are to be computed

Returns:

a collection of complete extensions