Package org.tweetyproject.arg.dung.reasoner

Class AbstractAcceptabilityReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner

All Implemented Interfaces:

QualitativeReasoner<DungTheory,Argument>, 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)	Queries the given belief base for the given formula.

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractAcceptabilityReasoner

public AbstractAcceptabilityReasoner()

Method Details

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)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface QualitativeReasoner<DungTheory,Argument>

Specified by:

query in interface Reasoner<Boolean,DungTheory,Argument>

Specified by:

query in class AbstractDungReasoner

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query