net.sf.tweety.logics.pl.reasoner

Class SimpleReasoner

java.lang.Object

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

net.sf.tweety.logics.pl.reasoner.SimpleReasoner

All Implemented Interfaces:

net.sf.tweety.commons.KernelProvider<PropositionalFormula>, net.sf.tweety.commons.QualitativeReasoner<PlBeliefSet,PropositionalFormula>, net.sf.tweety.commons.Reasoner<Boolean,PlBeliefSet,PropositionalFormula>

public class SimpleReasoner
extends AbstractPropositionalLogicReasoner

Naive classical inference (checks all interpretations for satisfiability).

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
SimpleReasoner()

Method Summary

Modifier and Type	Method and Description
Boolean	query(PlBeliefSet beliefbase, PropositionalFormula 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

SimpleReasoner

public SimpleReasoner()

Method Detail

query

public Boolean query(PlBeliefSet beliefbase,
                     PropositionalFormula formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<PlBeliefSet,PropositionalFormula>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,PlBeliefSet,PropositionalFormula>

Specified by:

query in class AbstractPropositionalLogicReasoner