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,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.

Field Summary

Fields
Modifier and Type	Field	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 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 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
    
    Parameters:
    
    beliefset - some belief base
    
    Returns:
    
    a selected model of the belief base.