Package org.tweetyproject.arg.dung.reasoner

Interface KOptimisationReasoner

All Superinterfaces:

Reasoner<Integer,DungTheory,Argument>

All Known Implementing Classes:

GCF_GreedyKApproximationReasoner, GFR_GreedyKApproximationReasoner, 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.

Method Details

query

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 Reasoner<Integer,DungTheory,Argument>

Parameters:

aaf - a belief base

arg - a formula

Returns:

the answer to the query