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:

ModelProvider<Conditional,ClBeliefSet,RankingFunction>, QualitativeReasoner<ClBeliefSet,PropositionalFormula>, Reasoner<java.lang.Boolean,ClBeliefSet,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.

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	humanFriendly a flag indicating if a human friend processing shall be used, that means everything is calculated no fast-evaluation, such that a human can better follow the algorithm.
private java.util.List<RuleBasedCReasoner.Rule>	rules A prioritized list of rules, the first rule is applied first and so on.

Constructor Summary

Constructors

Constructor and Description
RuleBasedCReasoner()
RuleBasedCReasoner(boolean humanFriendly)

Method Summary

Modifier and Type	Method and Description
RankingFunction	getModel(ClBeliefSet beliefset) Returns a single (dedicated) model of the given belief base.

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

Field Detail

humanFriendly

private boolean humanFriendly

a flag indicating if a human friend processing shall be used, that means everything is calculated no fast-evaluation, such that a human can better follow the algorithm.

rules

private java.util.List<RuleBasedCReasoner.Rule> rules

A prioritized list of rules, the first rule is applied first and so on. If a progress is caused by applying the rule then the first rule is applied next again.

Constructor Detail

RuleBasedCReasoner

public RuleBasedCReasoner()

RuleBasedCReasoner

public RuleBasedCReasoner(boolean humanFriendly)

Method Detail

getModel

public RankingFunction getModel(ClBeliefSet beliefset)

Description copied from interface: ModelProvider

Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.

Specified by:

getModel in interface ModelProvider<Conditional,ClBeliefSet,RankingFunction>

Specified by:

getModel in class AbstractConditionalLogicReasoner

Returns:

a selected model of the belief base.