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

Class AbstractAcceptabilityReasoner

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

EeeAcceptabilityReasoner, IaqAcceptabilityReasoner, SeeAcceptabilityReasoner, SeemAcceptabilityReasoner

public abstract class AbstractAcceptabilityReasoner
extends AbstractDungReasoner

Ancestor class for reasoners that are tailored towards computing the set {a | a is credulously/skeptically accepted wrt. semantics x} directly, see [Thimm, Cerutti, Vallati; 2020, in preparation].

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractAcceptabilityReasoner()

Method Summary

Modifier and Type	Method	Description
abstract Collection<Argument>	getAcceptableArguments(DungTheory aaf)	Returns the set of acceptable arguments of this reasoner.
Boolean	query(DungTheory beliefbase, Argument formula)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractAcceptabilityReasoner

public AbstractAcceptabilityReasoner()

Method Detail

getAcceptableArguments

public abstract Collection<Argument> getAcceptableArguments(DungTheory aaf)

Returns the set of acceptable arguments of this reasoner.

Parameters:

aaf - some AAF

Returns:

the set of acceptable arguments of this reasoner.

query

public Boolean query(DungTheory beliefbase,
                     Argument formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>

Specified by:

query in class AbstractDungReasoner