Class 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".
Matthias Thimm