Package org.tweetyproject.arg.dung.reasoner

Class ProboI23Reasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner

org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner

org.tweetyproject.arg.dung.reasoner.ProboI23Reasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>

public class ProboI23Reasoner
extends AbstractExtensionReasoner

This reasoner makes use of an external executable for solving reasoning problems in abstract argumentation. That external executable must implement the probo for ICCMA23 interface standard for argumentation solvers (see https://iccma2023.github.io/rules.html).

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
ProboI23Reasoner(String path_to_exec, Semantics semantics)	Constructs a new instance of ProboI23Reasoner
ProboI23Reasoner(String path_to_exec, Semantics semantics, Shell bash)	Constructs a new instance of ProboI23Reasoner

Method Summary

Modifier and Type	Method	Description
Extension<DungTheory>	getModel(DungTheory bbase)	Returns a single (dedicated) model of the given belief base.
Collection<Extension<DungTheory>>	getModels(DungTheory bbase)	Returns a characterizing model of the given belief base
boolean	isInstalled()	the solver is natively installed and is therefore always installed
Boolean	query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.
Pair<Boolean,Extension<DungTheory>>	queryW(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)

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

getSimpleReasonerForSemantics, query

Methods inherited from class java.lang.Object

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

Constructor Details

ProboI23Reasoner

public ProboI23Reasoner(String path_to_exec,
 Semantics semantics)

Constructs a new instance of ProboI23Reasoner

Parameters:

path_to_exec - the path to the probo-compliant solver

semantics - The semantics to be used

ProboI23Reasoner

public ProboI23Reasoner(String path_to_exec,
 Semantics semantics,
 Shell bash)

Constructs a new instance of ProboI23Reasoner

Parameters:

path_to_exec - the path to the probo-compliant solver

semantics - The semantics to be used

bash - the shell which should be used to run the solver

Method Details

query

public Boolean query(DungTheory beliefbase,
 Argument formula,
 InferenceMode inferenceMode)

Description copied from class: AbstractExtensionReasoner

Queries the given AAF for the given argument using the given inference type.

Overrides:

query in class AbstractExtensionReasoner

Parameters:

beliefbase - an AAF

formula - a single argument

inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS

Returns:

"true" if the argument is accepted

queryW

public Pair<Boolean,Extension<DungTheory>> queryW(DungTheory beliefbase,
 Argument formula,
 InferenceMode inferenceMode)

Parameters:

beliefbase - a beliefbase

formula - a formula

inferenceMode - the inference mode

Returns:

the queried W

getModels

public Collection<Extension<DungTheory>> getModels(DungTheory bbase)

Description copied from interface: ModelProvider

Returns a characterizing model of the given belief base

Parameters:

bbase - some belief base

Returns:

the (selected) models of the belief base

getModel

public Extension<DungTheory> getModel(DungTheory bbase)

Description copied from interface: ModelProvider

Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.

Parameters:

bbase - some belief base

Returns:

a selected model of the belief base.

isInstalled

public boolean isInstalled()

Description copied from class: AbstractExtensionReasoner

the solver is natively installed and is therefore always installed

Specified by:

isInstalled in interface QualitativeReasoner<DungTheory,Argument>

Overrides:

isInstalled in class AbstractExtensionReasoner

Returns:

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