net.sf.tweety.arg.saf.reasoner

Class OutputReasoner

java.lang.Object

net.sf.tweety.arg.saf.reasoner.OutputReasoner

All Implemented Interfaces:

QualitativeReasoner<StructuredArgumentationFramework,Proposition>, Reasoner<java.lang.Boolean,StructuredArgumentationFramework,Proposition>

public class OutputReasoner
extends java.lang.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

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<Proposition>	output The output of this reasoner.
private AbstractExtensionReasoner	reasoner The reasoner used for computing the extensions of the induced Dung theory.

Constructor Summary

Constructors

Constructor and Description
OutputReasoner(AbstractExtensionReasoner reasoner) Creates a new reasoner

Method Summary

Modifier and Type	Method and Description
java.util.Set<Proposition>	getOutput(StructuredArgumentationFramework saf) Returns the output this reasoner bases upon.
java.lang.Boolean	query(StructuredArgumentationFramework beliefbase, Proposition formula) Queries the given belief base for the given formula.

Methods inherited from class java.lang.Object

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

Field Detail

output

private java.util.Set<Proposition> output

The output of this reasoner.

reasoner

private AbstractExtensionReasoner reasoner

The reasoner used for computing the extensions of the induced Dung theory.

Constructor Detail

OutputReasoner

public OutputReasoner(AbstractExtensionReasoner reasoner)

Creates a new reasoner

Parameters:

reasoner - and abstract extension reasoner

Method Detail

getOutput

public java.util.Set<Proposition> getOutput(StructuredArgumentationFramework saf)

Returns the output this reasoner bases upon.

Returns:

the output this reasoner bases upon.

query

public java.lang.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<java.lang.Boolean,StructuredArgumentationFramework,Proposition>

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query