net.sf.tweety.logics.cl.reasoner

Class AbstractConditionalLogicReasoner

java.lang.Object

net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Conditional,ClBeliefSet,RankingFunction>, net.sf.tweety.commons.QualitativeReasoner<ClBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>, net.sf.tweety.commons.Reasoner<Boolean,ClBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>

Direct Known Subclasses:

CReasoner, RuleBasedCReasoner, SimpleCReasoner, ZReasoner

public abstract class AbstractConditionalLogicReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<ClBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>, net.sf.tweety.commons.ModelProvider<Conditional,ClBeliefSet,RankingFunction>

Abstract ancestor for all reasoner for conditional logic.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractConditionalLogicReasoner()

Method Summary

Modifier and Type	Method and Description
abstract RankingFunction	getModel(ClBeliefSet bbase)
Collection<RankingFunction>	getModels(ClBeliefSet bbase)
Boolean	query(ClBeliefSet 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

AbstractConditionalLogicReasoner

public AbstractConditionalLogicReasoner()

Method Detail

query

public Boolean query(ClBeliefSet beliefbase,
                     net.sf.tweety.logics.pl.syntax.PropositionalFormula formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<ClBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>

Specified by:

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

getModels

public Collection<RankingFunction> getModels(ClBeliefSet bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<Conditional,ClBeliefSet,RankingFunction>

getModel

public abstract RankingFunction getModel(ClBeliefSet bbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<Conditional,ClBeliefSet,RankingFunction>