Package org.tweetyproject.arg.saf.reasoner

Class OutputReasoner

java.lang.Object

org.tweetyproject.arg.saf.reasoner.OutputReasoner

All Implemented Interfaces:

QualitativeReasoner<StructuredArgumentationFramework,Proposition>, Reasoner<Boolean,StructuredArgumentationFramework,Proposition>

public class OutputReasoner
extends Object
implements QualitativeReasoner<StructuredArgumentationFramework,Proposition>

This class models an abstract reasoner for structured argumentation frameworks. Given a specific semantics "Sem" for Dung theories, inferences drawn using this reasoner bases on a set "output" of propositions defined by:
Output = { a |(forall i there is an AS in E_i: claim(AS)=A)}
where E_1,...,E_n are the extensions of the induced Dung theory wrt. semantics "Sem".

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
OutputReasoner(AbstractExtensionReasoner reasoner)	Creates a new reasoner

Method Summary

Modifier and Type	Method	Description
Set<Proposition>	getOutput(StructuredArgumentationFramework saf)	Returns the output this reasoner bases upon.
boolean	isInstalled()	Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use.
Boolean	query(StructuredArgumentationFramework beliefbase, Proposition 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

Constructor Details

OutputReasoner

public OutputReasoner(AbstractExtensionReasoner reasoner)

Creates a new reasoner

Parameters:

reasoner - and abstract extension reasoner

Method Details

getOutput

public Set<Proposition> getOutput(StructuredArgumentationFramework saf)

Returns the output this reasoner bases upon.

Parameters:

saf - an SAF

Returns:

the output this reasoner bases upon.

query

public Boolean query(StructuredArgumentationFramework beliefbase,
 Proposition 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<StructuredArgumentationFramework,Proposition>

Specified by:

query in interface Reasoner<Boolean,StructuredArgumentationFramework,Proposition>

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.

isInstalled

public boolean isInstalled()

Description copied from interface: QualitativeReasoner

Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use. This can be helpful when the reasoner depends on external tools or libraries for performing the reasoning tasks.

Specified by:

isInstalled in interface QualitativeReasoner<StructuredArgumentationFramework,Proposition>

Returns:

`true` if the solver is installed and available, `false` otherwise.