net.sf.tweety.logics.cl

Class RuleBasedCReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.cl.RuleBasedCReasoner

public class RuleBasedCReasoner
extends net.sf.tweety.commons.Reasoner

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

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(ClBeliefSet beliefBase)
RuleBasedCReasoner(ClBeliefSet beliefBase, boolean humanFriendly)
RuleBasedCReasoner(Collection<Conditional> conditionals)
RuleBasedCReasoner(Collection<Conditional> conditionals, boolean humanFriendly)

Method Summary

Modifier and Type	Method and Description
ConditionalStructure	getConditionalStructure()
Collection<KappaValue>	getKappas()
RankingFunction	getSemantic()
boolean	isComplete() Checks every kappa value.
void	prepare() Prepares the data structures: ConditionalStructure and the list of KappaValue, such that the rules can be applied on them.
boolean	process() Processes the kappa values using the rules stored in the prioritzed rule list.
net.sf.tweety.commons.Answer	query(net.sf.tweety.commons.Formula query)

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleBasedCReasoner

public RuleBasedCReasoner(Collection<Conditional> conditionals)

RuleBasedCReasoner

public RuleBasedCReasoner(Collection<Conditional> conditionals,
                          boolean humanFriendly)

RuleBasedCReasoner

public RuleBasedCReasoner(ClBeliefSet beliefBase)

RuleBasedCReasoner

public RuleBasedCReasoner(ClBeliefSet beliefBase,
                          boolean humanFriendly)

Method Detail

getSemantic

public RankingFunction getSemantic()

Returns:

the c-representation of the belief base as a ranking function

process

public boolean process()

Processes the kappa values using the rules stored in the prioritzed rule list. It applies the rules by their priority until no changes occurred after every rule is applied.

Returns:

true if the processing of the kappa values is complete, false if it is not complete.

isComplete

public boolean isComplete()

Checks every kappa value.

Returns:

true if every kappa value is evaluated, false otherwise

prepare

public void prepare()

Prepares the data structures: ConditionalStructure and the list of KappaValue, such that the rules can be applied on them.

getKappas

public Collection<KappaValue> getKappas()

Returns:

An unmodifiable list containing the kappa values used by the reasoner or null if the reasoner is not prepared yet

getConditionalStructure

public ConditionalStructure getConditionalStructure()

Returns:

The conditional structure used by the reasoner or null if the reasoner is not prepared yet

query

public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Specified by:

query in class net.sf.tweety.commons.Reasoner