Package net.sf.tweety.arg.saf.reasoner

Class OutputReasoner

  • All Implemented Interfaces:
    net.sf.tweety.commons.QualitativeReasoner<StructuredArgumentationFramework,​net.sf.tweety.logics.pl.syntax.Proposition>, net.sf.tweety.commons.Reasoner<Boolean,​StructuredArgumentationFramework,​net.sf.tweety.logics.pl.syntax.Proposition>
    public class OutputReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<StructuredArgumentationFramework,​net.sf.tweety.logics.pl.syntax.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 Detail

      • OutputReasoner

        public OutputReasoner​(net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner reasoner)
        Creates a new reasoner
        Parameters:
        reasoner - and abstract extension reasoner