Class AbstractPafReasoner

    • Field Detail

      • semantics

        private Semantics semantics
        Semantics for plain AAFs.
    • Constructor Detail

      • AbstractPafReasoner

        public AbstractPafReasoner​(Semantics semantics)
        Creates a new reasoner.
        Parameters:
        semantics - Semantics for plain AAFs.
    • Method Detail

      • getSemantics

        protected Semantics getSemantics()
        The semantics of this reasoner.
        Returns:
        The semantics of this reasoner.
      • query

        public abstract java.lang.Double query​(ProbabilisticArgumentationFramework beliefbase,
                                               Argument formula,
                                               InferenceMode inferenceMode)
        Queries the given PAF for the given argument using the given inference type.
        Parameters:
        beliefbase - an PAF
        formula - a single argument
        inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS
        Returns:
        probability of the argument
      • query

        public abstract java.lang.Double query​(ProbabilisticArgumentationFramework paf,
                                               Extension ext)
        Estimates the probability that the given set of arguments is an extension
        Parameters:
        paf - a PAF
        ext - some set of arguments
        Returns:
        the estimated probability of the given set to be an extension