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 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)