net.sf.tweety.logics.cl.reasoner

Class RuleBasedCReasoner

java.lang.Object

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

net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner

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>

public class RuleBasedCReasoner
extends AbstractConditionalLogicReasoner

This is a reasoner using c-representation and rules to solve these c-representations. It contains a list of rules whereby the first rule is the rule with the highest priorization, that means it is applied first.

Author:

Tim Janus, Matthias Thimm

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	RuleBasedCReasoner.Rule A rule that is applicable by the RuleBasedCReasoner to reason a c-representation given a conditional belief base.

Constructor Summary

Constructors

Constructor and Description
RuleBasedCReasoner()
RuleBasedCReasoner(boolean humanFriendly)

Method Summary

Modifier and Type	Method and Description
RankingFunction	getModel(ClBeliefSet beliefset)

Methods inherited from class net.sf.tweety.logics.cl.reasoner.AbstractConditionalLogicReasoner

getModels, query

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleBasedCReasoner

public RuleBasedCReasoner()

RuleBasedCReasoner

public RuleBasedCReasoner(boolean humanFriendly)

Method Detail

getModel

public RankingFunction getModel(ClBeliefSet beliefset)

Specified by:

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

Specified by:

getModel in class AbstractConditionalLogicReasoner