“Backward” is one of the possible values for direction that an assertion or rule may have. If an assertion has the direction “backward”, it may participate in backward inference only (not forward inference). Cf. forward assertion.
“Backward” is one of the possible values for direction that an assertion or rule may have. If an assertion has the direction “backward”, it may participate in backward inference only (not forward inference). Cf. forward assertion.