Package org.tweetyproject.logics.cl.reasoner

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

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()

RuleBasedCReasoner

public RuleBasedCReasoner(boolean 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:

if the solver is installed