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

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

Queries the given belief base for the given formula.

Specified by:

query in interface QualitativeReasoner<StructuredArgumentationFramework,Proposition>

Specified by:

query in interface Reasoner<Boolean,StructuredArgumentationFramework,Proposition>

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query

isInstalled

public boolean isInstalled()

Specified by:

isInstalled in interface QualitativeReasoner<StructuredArgumentationFramework,Proposition>

Returns:

if the solver is installed