net.sf.tweety.logics.pl.reasoner

Class AbstractPropositionalLogicReasoner

java.lang.Object

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

All Implemented Interfaces:

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

Direct Known Subclasses:

SatReasoner, SimpleReasoner

public abstract class AbstractPropositionalLogicReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<PlBeliefSet,PropositionalFormula>, net.sf.tweety.commons.KernelProvider<PropositionalFormula>

Abstract class for propositional logic reasoners.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractPropositionalLogicReasoner()

Method Summary

Modifier and Type	Method and Description
Collection<Collection<PropositionalFormula>>	getKernels(Collection<PropositionalFormula> formulas, PropositionalFormula formula)
boolean	isEquivalent(PropositionalFormula p1, PropositionalFormula p2) Checks whether the two formulas are equivalent
abstract Boolean	query(PlBeliefSet beliefbase, PropositionalFormula formula)
boolean	query(PropositionalFormula formula, PropositionalFormula formula2) Checks whether the first formula entails the second.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractPropositionalLogicReasoner

public AbstractPropositionalLogicReasoner()

Method Detail

query

public abstract 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>

query

public boolean query(PropositionalFormula formula,
                     PropositionalFormula formula2)

Checks whether the first formula entails the second.

Parameters:

formula - some formula

formula - a formula

Returns:

true if the second formula is entailed be the first formula.

isEquivalent

public boolean isEquivalent(PropositionalFormula p1,
                            PropositionalFormula p2)

Checks whether the two formulas are equivalent

Parameters:

p1 -

p2 -

Returns:

getKernels

public Collection<Collection<PropositionalFormula>> getKernels(Collection<PropositionalFormula> formulas,
                                                               PropositionalFormula formula)

Specified by:

getKernels in interface net.sf.tweety.commons.KernelProvider<PropositionalFormula>