Package net.sf.tweety.arg.dung.reasoner

Class IaqAcceptabilityReasoner

java.lang.Object

net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner

net.sf.tweety.arg.dung.reasoner.AbstractAcceptabilityReasoner

net.sf.tweety.arg.dung.reasoner.IaqAcceptabilityReasoner

All Implemented Interfaces:

net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>, net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>

public class IaqAcceptabilityReasoner
extends AbstractAcceptabilityReasoner

Implements the IAQ approach ("iterative acceptability queries") to determine the set of acceptable arguments of an AF, cf. [Thimm, Cerutti, Vallati; 2020, in preparation]. It uses another extension-based reasoner to query for each argument separately whether it is accepted.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
IaqAcceptabilityReasoner(AbstractExtensionReasoner reasoner, net.sf.tweety.commons.InferenceMode inferenceMode)	Creates a new IaqAcceptabilityReasoner.

Method Summary

Modifier and Type	Method	Description
Collection<Argument>	getAcceptableArguments(DungTheory aaf)	Returns the set of acceptable arguments of this reasoner.

Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractAcceptabilityReasoner

query

Methods inherited from class java.lang.Object

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

Constructor Detail

IaqAcceptabilityReasoner

public IaqAcceptabilityReasoner(AbstractExtensionReasoner reasoner,
                                net.sf.tweety.commons.InferenceMode inferenceMode)

Creates a new IaqAcceptabilityReasoner.

Parameters:

reasoner - the internal reasoner used.

inferenceMode - the inference mode.

Method Detail

getAcceptableArguments

public Collection<Argument> getAcceptableArguments(DungTheory aaf)

Description copied from class: AbstractAcceptabilityReasoner

Returns the set of acceptable arguments of this reasoner.

Specified by:

getAcceptableArguments in class AbstractAcceptabilityReasoner

Parameters:

aaf - some AAF

Returns:

the set of acceptable arguments of this reasoner.