Backward assertion

Home / Glossary / Backward 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.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA