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, FudgeAcceptabilityReasoner, 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()	Default constructor

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 with the provided formula and returns a boolean result.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.tweetyproject.commons.QualitativeReasoner

isInstalled

Constructor Details

AbstractAcceptabilityReasoner

public AbstractAcceptabilityReasoner()

Default constructor

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: QualitativeReasoner

Queries the given belief base with the provided formula and returns a boolean result. The result indicates whether the formula is entailed or satisfied by the belief base according to the qualitative reasoning method implemented by the reasoner.

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 - The belief base to be queried.

formula - The formula for which the query is made.

Returns:

`TRUE` if the formula is entailed or satisfied by the belief base, `FALSE` otherwise.