Package org.tweetyproject.arg.dung.reasoner

Class SeemAcceptabilityReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner

org.tweetyproject.arg.dung.reasoner.SeemAcceptabilityReasoner

All Implemented Interfaces:

QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>

public class SeemAcceptabilityReasoner
extends AbstractAcceptabilityReasoner

Implements the SEEM approach ("selective extension enumeration with MaxSAT") to determine the set of credulously acceptable arguments of an AF wrt. complete semantics, cf. [Thimm, Cerutti, Vallati; COMMA 2020]. It iteratively calls a MaxSAT solver to discover new acceptable arguments.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
SeemAcceptabilityReasoner(MaxSatSolver maxSatSolver, Semantics semantics, InferenceMode inferenceMode)	Creates a new IaqAcceptabilityReasoner.

Method Summary

Modifier and Type	Method	Description
Collection<Argument>	getAcceptableArguments(DungTheory aaf)	Returns the set of acceptable arguments of this reasoner.
boolean	isInstalled()	the solver is natively installed and is therefore always installed

Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner

query

Methods inherited from class java.lang.Object

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

Constructor Details

SeemAcceptabilityReasoner

public SeemAcceptabilityReasoner(MaxSatSolver maxSatSolver,
 Semantics semantics,
 InferenceMode inferenceMode)

Creates a new IaqAcceptabilityReasoner.

Parameters:

maxSatSolver - some MaxSATSolver.

semantics - either Semantics.CO, Semantics.PR, or Semantics.ST

inferenceMode - either InferenceMode.CREDULOUS or InferenceMode.SKEPTICAL (only stable semantics)

Method Details

getAcceptableArguments

public Collection<Argument> getAcceptableArguments(DungTheory aaf)

Description copied from class: AbstractAcceptabilityReasoner

Returns the set of acceptable arguments of this reasoner.

Specified by:

getAcceptableArguments in class AbstractAcceptabilityReasoner

Parameters:

aaf - some AAF

Returns:

the set of acceptable arguments of this reasoner.

isInstalled

public boolean isInstalled()

the solver is natively installed and is therefore always installed

Returns:

`true` if the solver is installed and available, `false` otherwise.