Interface KOptimisationReasoner

All Superinterfaces:
Reasoner<Integer,DungTheory,Argument>
All Known Implementing Classes:
GCF_GreedyKApproximationReasoner, GFR_GreedyKApproximationReasoner, GgAdmissibleApproximationReasoner, GgAdmissibleAstApproximationReasoner, GsAdmissibleApproximationReasoner, GsAdmissibleAstApproximationReasoner, MaxSatKAdmissibleAstReasoner, MaxSatKAdmissibleReasoner, MaxSatKStableAstReasoner, MaxSatKStableReasoner, SCF_GreedyKApproximationReasoner, SFR_GreedyKApproximationReasoner
public interface KOptimisationReasoner extends Reasoner<Integer,DungTheory,Argument>
Interface for reasoner capable of optimising k extensions. [Thimm. Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics. IJCAI 2024]
Author:
Matthias Thimm

  • Method Summary

    Modifier and Type
    Method
    Description
    Integer
    query(DungTheory aaf, Argument arg)
    Queries the given belief base for the given formula.