net.sf.tweety.logics.pl.reasoner

Class NaiveReasoner

java.lang.Object

net.sf.tweety.logics.pl.reasoner.AbstractPropositionalLogicReasoner

net.sf.tweety.logics.pl.reasoner.NaiveReasoner

All Implemented Interfaces:

KernelProvider<PropositionalFormula>, QualitativeReasoner<PlBeliefSet,PropositionalFormula>, Reasoner<java.lang.Boolean,PlBeliefSet,PropositionalFormula>

public class NaiveReasoner
extends AbstractPropositionalLogicReasoner

Naive classical inference (checks all interpretations for satisfiability).

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
NaiveReasoner()

Method Summary

Modifier and Type	Method and Description
java.lang.Boolean	query(PlBeliefSet beliefbase, PropositionalFormula formula) Queries the given belief base for the given formula.

Methods inherited from class net.sf.tweety.logics.pl.reasoner.AbstractPropositionalLogicReasoner

getKernels, isEquivalent, query

Methods inherited from class java.lang.Object

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

Constructor Detail

NaiveReasoner

public NaiveReasoner()

Method Detail

query

public java.lang.Boolean query(PlBeliefSet beliefbase,
                               PropositionalFormula formula)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface QualitativeReasoner<PlBeliefSet,PropositionalFormula>

Specified by:

query in interface Reasoner<java.lang.Boolean,PlBeliefSet,PropositionalFormula>

Specified by:

query in class AbstractPropositionalLogicReasoner

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query