Backward Chaining
(Reklamlänk)
What Is Backward Chaining The process of making an inference known as "working backward from the goal" is another name for the technique known as "backward chaining." It is implemented in automated theorem provers, inference engines, proof assistants, and other applications that fall under the umbr
