SimplePlReasoner

java.lang.Object

org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner

org.tweetyproject.logics.pl.reasoner.SimplePlReasoner

All Implemented Interfaces:: KernelProvider<PlFormula>, QualitativeReasoner<PlBeliefSet,PlFormula>, Reasoner<Boolean,PlBeliefSet,PlFormula>

public class SimplePlReasoner extends AbstractPlReasoner

Naive classical inference (checks all interpretations for satisfiability).

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

SimplePlReasoner()
Method Summary

Modifier and Type

Method

Description

boolean

isInstalled()

Boolean

query(PlBeliefSet beliefbase, PlFormula formula)

Queries the given belief base for the given formula.

Methods inherited from class org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner
getKernels, isEquivalent, query

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

Constructor Details
- SimplePlReasoner
  
  public SimplePlReasoner()
Method Details
- query
  
  public Boolean query(PlBeliefSet beliefbase, PlFormula formula)
  
  Description copied from interface: Reasoner
  
  Queries the given belief base for the given formula.
  
  Specified by:
  
  query in interface QualitativeReasoner<PlBeliefSet,PlFormula>
  
  Specified by:
  
  query in interface Reasoner<Boolean,PlBeliefSet,PlFormula>
  
  Specified by:
  
  query in class AbstractPlReasoner
  
  Parameters:
  
  beliefbase - a belief base
  
  formula - a formula
  
  Returns:
  
  the answer to the query
- isInstalled
  
  public boolean isInstalled()
  
  Returns:
  
  if the solver is installed