Package net.sf.tweety.logics.qbf.reasoner

Class NaiveQbfReasoner

java.lang.Object

net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner

net.sf.tweety.logics.qbf.reasoner.NaiveQbfReasoner

All Implemented Interfaces:

net.sf.tweety.commons.KernelProvider<net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.commons.QualitativeReasoner<net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.commons.Reasoner<Boolean,net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>

public class NaiveQbfReasoner
extends net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner

Naive classical inference for quantified boolean formulas (checks all interpretations for satisfiability).

Author:

Anna Gessler, Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
NaiveQbfReasoner()

Method Summary

Modifier and Type	Method	Description
Boolean	query(net.sf.tweety.logics.pl.syntax.PlBeliefSet beliefbase, net.sf.tweety.logics.pl.syntax.PlFormula formula)

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

getKernels, isEquivalent, query

Methods inherited from class java.lang.Object

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

Constructor Detail

NaiveQbfReasoner

public NaiveQbfReasoner()

Method Detail

query

public Boolean query(net.sf.tweety.logics.pl.syntax.PlBeliefSet beliefbase,
                     net.sf.tweety.logics.pl.syntax.PlFormula formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>

Specified by:

query in class net.sf.tweety.logics.pl.reasoner.AbstractPlReasoner