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<java.lang.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.
- 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 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
    
    Parameters:
    
    beliefset - some belief base
    
    Returns:
    
    a selected model of the belief base.