“…For this, the inference machine makes the variable appear with the main screen, which has these three options associated with it. Later, the following rule is evaluated: 2,3,20,21,22,23,24,25, 26} SL This is a Reevaluation rule and has the function of making non-monotonic reasoning possible. Then, whenever the system executes the Div1 task, options 1, 2, 3 will be able to be evaluated again.…”