Regression
Regression is a mechanism for proving consequences in the situation calculus. It is based on expressing a formula containing the situation in terms of a formula containing the action and the situation, but not the situation . By iterating this procedure, one can end up with an equivalent formula containing only the initial situation . Proving consequences is supposedly simpler from this formula than from the original one.
Read more about this topic: Situation Calculus
Main Site Subjects