Package org.tweetyproject.arg.extended.reasoner

Class SimpleRecursiveExtendedConflictFreeReasoner

java.lang.Object

org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner

org.tweetyproject.arg.extended.reasoner.SimpleRecursiveExtendedConflictFreeReasoner

public class SimpleRecursiveExtendedConflictFreeReasoner
extends AbstractRecursiveExtendedExtensionReasoner

Simple reasoner for computing conflict-free sets of recursive extended theories. This reasoner identifies conflict-free sets within a RecursiveExtendedTheory. A set is considered conflict-free if no argument or attack within the set conflicts with another argument or attack in the set. The reasoner generates all subsets of the arguments and extended attacks in the theory, and then filters out those that are conflict-free.

Author:

Lars Bengel

See Also:

• RecursiveExtendedTheory
• AbstractRecursiveExtendedExtensionReasoner
• DungEntity
• ExtendedAttack

Constructor Summary

Constructors

Constructor	Description
SimpleRecursiveExtendedConflictFreeReasoner()	Default constructor for SimpleRecursiveExtendedConflictFreeReasoner.

Method Summary

Modifier and Type	Method	Description
Collection<Collection<DungEntity>>	getModels(RecursiveExtendedTheory bbase)	Returns the collection of conflict-free sets of Dung entities for 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

SimpleRecursiveExtendedConflictFreeReasoner

public SimpleRecursiveExtendedConflictFreeReasoner()

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

Method Details

getModels

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

Returns the collection of conflict-free sets of Dung entities for the given recursive extended theory. This method generates all subsets of the arguments and extended attacks within the theory, and filters them to include only those that are conflict-free.

Specified by:

getModels in class AbstractRecursiveExtendedExtensionReasoner

Parameters:

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

Returns:

a collection of conflict-free sets of Dung entities