heart.uncertainty

Class CertaintyFactorsAmbiguityResolver

java.lang.Object

heart.uncertainty.CertaintyFactorsAmbiguityResolver

All Implemented Interfaces:

AmbiguityResolver

public class CertaintyFactorsAmbiguityResolver
extends java.lang.Object
implements AmbiguityResolver

The resolver that takes certainty factors of values into consideration while picking the most suitable value from ambiguous set.

Constructor Summary

Constructors

Constructor and Description
CertaintyFactorsAmbiguityResolver()

Method Summary

Modifier and Type	Method and Description
Value	resolveCumulativeConclusions(java.util.LinkedList<Value> ambiguousValues) The method evaluates the ambiguous values according tot the cumulative rules formulae from he certainty factors algebra.
java.util.LinkedList<java.util.AbstractMap.SimpleEntry<Rule,UncertainTrue>>	resolveDisjunctiveConclusions(ConflictSet ambiguousRules, WorkingMemory wm, ConflictSetResolution csr) The method follows the rules of certainty factors algebra in selecting rules to be executed.

Methods inherited from class java.lang.Object

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

Constructor Detail

CertaintyFactorsAmbiguityResolver

public CertaintyFactorsAmbiguityResolver()

Method Detail

resolveCumulativeConclusions

public Value resolveCumulativeConclusions(java.util.LinkedList<Value> ambiguousValues)

The method evaluates the ambiguous values according tot the cumulative rules formulae from he certainty factors algebra. The timestamp of newly created value is set to the oldest timestamp of all ambiguous values. Null value has always current timestamp.

Specified by:

resolveCumulativeConclusions in interface AmbiguityResolver

Parameters:

ambiguousValues - set of ambiguous values from which the true value has to be extracted, or calculated

Returns:

the resulting value that still may not be certain, yet is is less ambiguous then the set

resolveDisjunctiveConclusions

public java.util.LinkedList<java.util.AbstractMap.SimpleEntry<Rule,UncertainTrue>> resolveDisjunctiveConclusions(ConflictSet ambiguousRules,
                                                                                                                 WorkingMemory wm,
                                                                                                                 ConflictSetResolution csr)
                                                                                                          throws NotInTheDomainException

The method follows the rules of certainty factors algebra in selecting rules to be executed. By the convention every rule in the single XTT2 table is considered as disjunctive. This means that the algorithm has to select choose rules that produces the same conclusions and choose which of them should be fired. If rules within a single uncertainty conflict set has different certainty level, the most certain rule is selected. If there are two or more rules that has the same highest value of certainty, the standard conflict set resolution mechanisms is used. Note, that in case of ConflictSetFireAll this violates the property of XTT2 table which says that the rules within a single table should be disjunctive. This happens, because values saved in the memory are later resolved by the resolveCumulativeConclusions(LinkedList) method. In case when rules have multiple decisions, all decisions that are not entirely the same, are considered different.

Specified by:

resolveDisjunctiveConclusions in interface AmbiguityResolver

Parameters:

ambiguousRules - set of rules that satisfy minimal satisfiability threshold, yet there is still uncertain which of them should actually be fired

wm - working memory component that should be used to evaluate rules decisions

csr - conflict set resolution mechanism that should be applied in case when to or more rules have the same certainty level

Returns:

the list of rules to be executed

Throws:

NotInTheDomainException