net.sf.tweety.commons

Class Reasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

Direct Known Subclasses:

AbstractDeductiveArgumentationReasoner, AbstractExtensionReasoner, AbstractMlnReasoner, ArgumentationReasoner, AspicReasoner, BruteForceCReasoner, ClassicalInference, ClassicalInference, CReasoner, DeductiveArgMeReasoner, DefaultMeReasoner, DelpReasoner, FlatABAReasoner, GeneralABAReasoner, GeneralizedMeReasoner, GrossiModgilRankingReasoner, IssReasoner, MonteCarloPafReasoner, NaiveDefaultReasoner, OutputReasoner, RelationalBruteForceCReasoner, RelevanceReasoner, RpclMeReasoner, RuleBasedCReasoner, SatReasoner, StratifiedLabelingReasoner, ZReasoner

public abstract class Reasoner
extends java.lang.Object

A reasoner specifies a specific inference operation for a given language.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private BeliefBase	beliefBase The knowledge base on which reasoning is performed.

Constructor Summary

Constructors

Constructor and Description
Reasoner(BeliefBase beliefBase) Creates a new reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
BeliefBase	getKnowledgeBase() Returns the knowledge base of this reasoner.
abstract Answer	query(Formula query) This method determines the answer of the given query wrt.

Methods inherited from class java.lang.Object

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

Field Detail

beliefBase

private BeliefBase beliefBase

The knowledge base on which reasoning is performed.

Constructor Detail

Reasoner

public Reasoner(BeliefBase beliefBase)

Creates a new reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

Method Detail

query

public abstract Answer query(Formula query)

This method determines the answer of the given query wrt. to the given knowledge base.

Parameters:

query - a query.

Returns:

the answer to the query.

getKnowledgeBase

public BeliefBase getKnowledgeBase()

Returns the knowledge base of this reasoner.

Returns:

the knowledge base of this reasoner.