Package org.tweetyproject.arg.dung.reasoner

Class SimpleClInheritedReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner

org.tweetyproject.arg.dung.reasoner.SimpleClInheritedReasoner

All Implemented Interfaces:

ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>, QualitativeReasoner<ClaimBasedTheory,ClaimArgument>, Reasoner<Boolean,ClaimBasedTheory,ClaimArgument>

public class SimpleClInheritedReasoner
extends AbstractClaimBasedReasoner

calculates claim based inherited extensions

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
SimpleClInheritedReasoner()	empty constructor
SimpleClInheritedReasoner(Semantics semantics)	constructor for direct initialization of semantics

Method Summary

Modifier and Type	Method	Description
ClaimSet	getModel(ClaimBasedTheory bbase)	calculates one claim set for a given framework
Set<ClaimSet>	getModels(ClaimBasedTheory bbase)	calculates all claim sets for a given framework
boolean	isInstalled()	Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use.
static void	setSemantics(Semantics semantics)	manually sets the semantics

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

query

Methods inherited from class java.lang.Object

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

Constructor Details

SimpleClInheritedReasoner

public SimpleClInheritedReasoner(Semantics semantics)

constructor for direct initialization of semantics

Parameters:

semantics - the Dung semantics

SimpleClInheritedReasoner

public SimpleClInheritedReasoner()

empty constructor

Method Details

getModels

public Set<ClaimSet> getModels(ClaimBasedTheory bbase)

calculates all claim sets for a given framework

Specified by:

getModels in interface ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>

Specified by:

getModels in class AbstractClaimBasedReasoner

Parameters:

bbase - the Dung framework to be evaluated

Returns:

the claim sets

getModel

public ClaimSet getModel(ClaimBasedTheory bbase)

calculates one claim set for a given framework

Specified by:

getModel in interface ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>

Specified by:

getModel in class AbstractClaimBasedReasoner

Parameters:

bbase - the Dung framework to be evaluated

Returns:

the claim set

setSemantics

public static void setSemantics(Semantics semantics)

manually sets the semantics

Parameters:

semantics - the Dung semantics

isInstalled

public boolean isInstalled()

Description copied from interface: QualitativeReasoner

Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use. This can be helpful when the reasoner depends on external tools or libraries for performing the reasoning tasks.

Returns:

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