Class AbstractDungReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

All Implemented Interfaces:

QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>

Direct Known Subclasses:

AbstractAcceptabilityReasoner, AbstractExtensionReasoner, StratifiedLabelingReasoner

public abstract class AbstractDungReasoner
extends Object
implements QualitativeReasoner<DungTheory,Argument>

Ancestor class for all AAF reasoners.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractDungReasoner()	Default constructor

Method Summary

Modifier and Type	Method	Description
abstract 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

AbstractDungReasoner

public AbstractDungReasoner()

Default constructor

Method Details

query

public abstract 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>

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.