Package org.tweetyproject.arg.dung.reasoner

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 Summary

Constructors

Constructor	Description
MaxSatKStableAstReasoner(MaxSatSolver solver)

Method Summary

Modifier and Type	Method	Description
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.
Integer	query(DungTheory aaf, Argument arg)	Queries the given belief base for the given formula.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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