[comp.ai] Converting between FC and BC

rapaport@acsu.buffalo.edu (William J. Rapaport) (10/23/90)

In article <9284@helios.TAMU.EDU> terry@cs.tamu.edu (Terry Escamilla) writes:
>Does anyone have any references on problems, issues, etc., 
>on converting between forward and backward chaining in
>reasoning systems?

Try this:

Shapiro, Stuart C.; Martins, Joao P.; & McKay, Donald P. (1982),
``Bi-Directional Inference,'' Proceedings of the Fourth Annual
Conference of the Cognitive Science Society (Ann Arbor, Michigan)
(Hillsdale, NJ:  Lawrence Erlbaum Associates):  90-93.