net.sf.tweety.commons

Class Reasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

public abstract class Reasoner
extends Object

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

Author:

Matthias Thimm

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

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.