Package org.tweetyproject.arg.extended.reasoner

Class SimpleExtendedAdmissibleReasoner

java.lang.Object

org.tweetyproject.arg.extended.reasoner.AbstractExtendedExtensionReasoner

org.tweetyproject.arg.extended.reasoner.SimpleExtendedAdmissibleReasoner

All Implemented Interfaces:

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

public class SimpleExtendedAdmissibleReasoner
extends AbstractExtendedExtensionReasoner

Simple reasoner for computing admissible sets of extended theories. This reasoner extends the abstract extended reasoner and provides a method for finding admissible extensions of an ExtendedTheory. The admissibility of an extension is determined by checking whether it is conflict-free and defends all its arguments.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SimpleExtendedAdmissibleReasoner()	Default constructor for SimpleExtendedAdmissibleReasoner.

Method Summary

Modifier and Type	Method	Description
Extension<ExtendedTheory>	getModel(ExtendedTheory bbase)	Returns one admissible extension of the given extended theory.
Collection<Extension<ExtendedTheory>>	getModels(ExtendedTheory bbase)	Returns the collection of admissible extensions of the given extended theory.

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

getSimpleReasonerForSemantics, isInstalled, query, query

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleExtendedAdmissibleReasoner

public SimpleExtendedAdmissibleReasoner()

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

Method Details

getModels

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

Returns the collection of admissible extensions of the given extended theory. This method first retrieves all conflict-free extensions using the SimpleExtendedConflictFreeReasoner, and then filters them based on whether they are admissible according to the theory.

Parameters:

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

Returns:

a collection of admissible extensions

getModel

public Extension<ExtendedTheory> getModel(ExtendedTheory bbase)

Returns one admissible extension of the given extended theory. This method provides a single admissible extension of the theory, but in this simple implementation, it returns an empty extension.

Parameters:

bbase - the extended theory for which an admissible extension is to be returned

Returns:

an admissible extension (currently an empty extension)