net.sf.tweety.logics.pcl.reasoner

Class AbstractPclReasoner

java.lang.Object

net.sf.tweety.logics.pcl.reasoner.AbstractPclReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>, net.sf.tweety.commons.QuantitativeReasoner<PclBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>, net.sf.tweety.commons.Reasoner<Double,PclBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>

Direct Known Subclasses:

DefaultMeReasoner, GeneralizedMeReasoner

public abstract class AbstractPclReasoner
extends Object
implements net.sf.tweety.commons.QuantitativeReasoner<PclBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>, net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>

Abstract class for all PCL reasoners.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractPclReasoner()

Method Summary

Modifier and Type	Method and Description
abstract ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>	getModel(PclBeliefSet beliefbase)
abstract Collection<ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>	getModels(PclBeliefSet bbase)
abstract Double	query(PclBeliefSet beliefbase, net.sf.tweety.logics.pl.syntax.PropositionalFormula formula)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractPclReasoner

public AbstractPclReasoner()

Method Detail

query

public abstract Double query(PclBeliefSet beliefbase,
                             net.sf.tweety.logics.pl.syntax.PropositionalFormula formula)

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Double,PclBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>

getModels

public abstract Collection<ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>> getModels(PclBeliefSet bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>

getModel

public abstract ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld> getModel(PclBeliefSet beliefbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>