Package org.tweetyproject.arg.extended.reasoner

Class SimpleExtendedConflictFreeReasoner

java.lang.Object

org.tweetyproject.arg.extended.reasoner.AbstractExtendedExtensionReasoner

org.tweetyproject.arg.extended.reasoner.SimpleExtendedConflictFreeReasoner

All Implemented Interfaces:

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

public class SimpleExtendedConflictFreeReasoner
extends AbstractExtendedExtensionReasoner

Simple reasoner for computing conflict-free sets of extended theories. This reasoner iterates through all subsets of the argument set in the extended theory and identifies those that are conflict-free. A conflict-free set is one where no argument within the set attacks another argument in the set.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SimpleExtendedConflictFreeReasoner()	Default constructor for SimpleExtendedConflictFreeReasoner.

Method Summary

Modifier and Type	Method	Description
Extension<ExtendedTheory>	getModel(ExtendedTheory bbase)	Returns one conflict-free extension of the given extended theory.
Collection<Extension<ExtendedTheory>>	getModels(ExtendedTheory bbase)	Returns the collection of conflict-free 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

SimpleExtendedConflictFreeReasoner

public SimpleExtendedConflictFreeReasoner()

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

Method Details

getModels

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

Returns the collection of conflict-free extensions of the given extended theory. This method iterates over all subsets of the arguments in the extended theory and selects those that are conflict-free.

Parameters:

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

Returns:

a collection of conflict-free extensions

getModel

public Extension<ExtendedTheory> getModel(ExtendedTheory bbase)

Returns one conflict-free extension of the given extended theory. In this simple implementation, this method returns an empty extension.

Parameters:

bbase - the extended theory for which a conflict-free extension is to be returned

Returns:

a conflict-free extension (currently an empty extension)