AbstractClaimBasedReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.AbstractClaimBasedReasoner

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

Direct Known Subclasses:: SimpleClInheritedReasoner, SimpleClNaiveReasoner, SimpleClPreferredReaonser, SimpleClSemistableReasoner, SimpleClStableReasoner, SimpleClStagedReasoner

public abstract class AbstractClaimBasedReasoner extends Object implements QualitativeReasoner<ClaimBasedTheory,ClaimArgument>, ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>

Ancestor class for all claim based reasoner.

Author:: Sebastian Franke

Constructor Summary

Constructors

Constructor

Description

AbstractClaimBasedReasoner()

Default constructor
Method Summary

Modifier and Type

Method

Description

abstract ClaimSet

getModel(ClaimBasedTheory bbase)

get one claim sets that fulfill the given semantics

abstract Set<ClaimSet>

getModels(ClaimBasedTheory bbase)

get all claim sets that fulfill the given semantics

Boolean

query(ClaimBasedTheory beliefbase, ClaimArgument formula)

Queries the given belief base for the given formula.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.tweetyproject.commons.QualitativeReasoner
isInstalled

Constructor Details
- AbstractClaimBasedReasoner
  
  public AbstractClaimBasedReasoner()
  
  Default constructor
Method Details
- getModels
  
  public abstract Set<ClaimSet> getModels(ClaimBasedTheory bbase)
  
  get all claim sets that fulfill the given semantics
  
  Specified by:
  
  getModels in interface ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>
  
  Parameters:
  
  bbase - some belief base
  
  Returns:
  
  the (selected) models of the belief base
- getModel
  
  public abstract ClaimSet getModel(ClaimBasedTheory bbase)
  
  get one claim sets that fulfill the given semantics
  
  Specified by:
  
  getModel in interface ModelProvider<ClaimArgument,ClaimBasedTheory,ClaimSet>
  
  Parameters:
  
  bbase - some belief base
  
  Returns:
  
  a selected model of the belief base.
- query
  
  public Boolean query(ClaimBasedTheory beliefbase, ClaimArgument formula)
  
  Description copied from interface: Reasoner
  
  Queries the given belief base for the given formula.
  
  Specified by:
  
  query in interface QualitativeReasoner<ClaimBasedTheory,ClaimArgument>
  
  Specified by:
  
  query in interface Reasoner<Boolean,ClaimBasedTheory,ClaimArgument>
  
  Parameters:
  
  beliefbase - a belief base
  
  formula - a formula
  
  Returns:
  
  the answer to the query