net.sf.tweety.logics.pl

Class SatReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.pl.SatReasoner

public class SatReasoner
extends Reasoner

Uses the default SAT reasoner to perform reasoning in propositional logic

Author:

Matthias Thimm

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Answer	query(Formula query) This method determines the answer of the given query wrt.

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

SatReasoner

public SatReasoner(BeliefBase beliefBase)

Creates a new reasoner for the given belief base.

Parameters:

beliefBase -

Method Detail

query

public Answer query(Formula query)

Description copied from class: Reasoner

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

Specified by:

query in class Reasoner

Parameters:

query - a query.

Returns:

the answer to the query.