Class MaxSatKStableAstReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.MaxSatKStableAstReasoner
All Implemented Interfaces:
KOptimisationReasoner, Reasoner<Integer,DungTheory,Argument>
public class MaxSatKStableAstReasoner extends Object implements KOptimisationReasoner
A MaxSAT-based implementation for solving the MaxStable* problem from [Thimm. Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics. IJCAI 2024]
Author:
Matthias Thimm

  • Constructor Details

    • MaxSatKStableAstReasoner

      public MaxSatKStableAstReasoner(MaxSatSolver solver)
      Parameters:
      solver - some MaxSat solver

  • Method Details

    • eval

      public static int eval(DungTheory aaf, Set<Argument> set)
      Returns the maximal k such that the given extension is a k-stable* extension of the given AAF. Returns Integer.MIN_VALUE if the given set is not a k-stable* extension for any k (i.e., iff it does not have full range)
      Parameters:
      aaf - some AAF.
      set - some set of arguments.
      Returns:
      the maximal k such that the given extension is a k-stable* extension of the given AAF.

    • query

      public Integer query(DungTheory aaf, Argument arg)
      Description copied from interface: Reasoner
      Queries the given belief base for the given formula.
      Specified by:
      query in interface KOptimisationReasoner
      Specified by:
      query in interface Reasoner<Integer,DungTheory,Argument>
      Parameters:
      aaf - a belief base
      arg - a formula
      Returns:
      the answer to the query