SimpleClNaiveReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner

org.tweetyproject.arg.dung.reasoner.SimpleClNaiveReasoner

All Implemented Interfaces:: ModelProvider<ClaimArgument, ClaimBasedTheory, ClaimSet>, QualitativeReasoner<ClaimBasedTheory, ClaimArgument>, Reasoner<Boolean, ClaimBasedTheory, ClaimArgument>

public class SimpleClNaiveReasoner extends AbstractClaimBasedReasoner

calculates claim based naive extensions

Author:: Sebastian Franke

Constructor Summary

Constructors

Constructor

Description

SimpleClNaiveReasoner()
Method Summary

Modifier and Type

Method

Description

ClaimSet

getModel(ClaimBasedTheory bbase)

get one claim sets that fulfill the given semantics

Set<ClaimSet>

getModels(ClaimBasedTheory bbase)

get all claim sets that fulfill the given semantics

boolean

isInstalled()

Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use.

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
- SimpleClNaiveReasoner
  
  public SimpleClNaiveReasoner()
Method Details
- getModels
  
  public Set<ClaimSet> getModels(ClaimBasedTheory bbase)
  
  Description copied from class: AbstractClaimBasedReasoner
  
  get all claim sets that fulfill the given semantics
  
  Specified by:
  
  getModels in interface ModelProvider<ClaimArgument, ClaimBasedTheory, ClaimSet>
  
  Specified by:
  
  getModels in class AbstractClaimBasedReasoner
  
  Parameters:
  
  bbase - the claim based thory
  
  Returns:
  
  all extensions of the semantics
- getModel
  
  public ClaimSet getModel(ClaimBasedTheory bbase)
  
  Description copied from class: AbstractClaimBasedReasoner
  
  get one claim sets that fulfill the given semantics
  
  Specified by:
  
  getModel in interface ModelProvider<ClaimArgument, ClaimBasedTheory, ClaimSet>
  
  Specified by:
  
  getModel in class AbstractClaimBasedReasoner
  
  Parameters:
  
  bbase - the claim based thory
  
  Returns:
  
  an extensions of the 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.