Common Sense Reasoning in Diagnostic Systems - Efficient Decision Support Systems: Practice and Challenges from Current to Future - page 104

Fig. 4. The fragments of the SNs that represent Situations 2-4
Step 4. Construct possible analogies for R using the sets VC and VO . Add new analogy
A = 〈 O , C , R , p 〉 to VA if and only if there exists an analogy A '= 〈 O ', C , R , p 〉 , O  O' . In the case of
success ( VA  ), go to step 5; otherwise, the search for a solution fails.
Step 5. The analogies obtained in step 4 ( VA ) (which could be previously compared with
each other taking into account the context) are given to the decision making person (DMP),
which means successful termination of the algorithm.