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.

email

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA