Class RuleBasedCReasoner

java.lang.Object

org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner

org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner

All Implemented Interfaces:

ModelProvider<Conditional,ClBeliefSet,RankingFunction>, QualitativeReasoner<ClBeliefSet,PlFormula>, Reasoner<Boolean,ClBeliefSet,PlFormula>

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	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	Description
RuleBasedCReasoner()	Constructor
RuleBasedCReasoner(boolean humanFriendly)	Constructor

Method Summary

Modifier and Type	Method	Description
RankingFunction	getModel(ClBeliefSet beliefset)	Returns a single (dedicated) model of the given belief base.
boolean	isInstalled()	the solver is natively installed and is therefore always installed

Methods inherited from class org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner

getModels, query

Methods inherited from class java.lang.Object

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

Constructor Details

RuleBasedCReasoner

public RuleBasedCReasoner()

Constructor

RuleBasedCReasoner

public RuleBasedCReasoner(boolean humanFriendly)

Constructor

Parameters:

humanFriendly - is humanFriendly

Method Details

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

Parameters:

beliefset - some belief base

Returns:

a selected model of the belief base.

isInstalled

public boolean isInstalled()

the solver is natively installed and is therefore always installed

Returns:

`true` if the solver is installed and available, `false` otherwise.